DesignTests

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

tests
0

failures
1

ignored
0.438s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.107s passed
testHashCodeImplemented() 0.331s passed
xtestTermSubclassVisibility() - ignored

Standard output

858135     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858182     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858182     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858218     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858222     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858228     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858230     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858231     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858231     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858231     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858232     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858244     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858277     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858286     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858292     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858304     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858337     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858337     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858467     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858467     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858468     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858468     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858469     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858470     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858470     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858471     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858471     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858471     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858472     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858472     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858473     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858473     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858473     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858475     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858475     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858483     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858483     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858484     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858484     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858484     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858485     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858485     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858486     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858486     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858487     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858488     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858488     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858488     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858488     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858490     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858490     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858490     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858493     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858493     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858493     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858494     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858495     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858497     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858503     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858503     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858510     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858510     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858511     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858511     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858512     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858512     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858512     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858513     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858514     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858514     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858515     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858517     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858517     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858518     INFO  Test worker     d.u.i.k.u.DesignTests     .