DesignTests

all > de.uka.ilkd.key.util > DesignTests
3

tests
0

failures
1

ignored
0.442s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.079s passed
testHashCodeImplemented() 0.363s passed
xtestTermSubclassVisibility() - ignored

Standard output

810111     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810111     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810113     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810116     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810116     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810130     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810137     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810163     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810214     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810214     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810218     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810222     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810226     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810226     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810230     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810232     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810232     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810233     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810233     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810233     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810235     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810235     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810236     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810237     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810237     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810238     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810238     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810239     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810244     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810280     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810280     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810281     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810283     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810289     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810290     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810291     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810298     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810299     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810475     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810483     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810485     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810485     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810486     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810486     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810487     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810487     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810490     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810493     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810494     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810494     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810503     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810503     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810503     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
810509     INFO  Test worker     d.u.i.k.u.DesignTests     .