DesignTests

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

tests
0

failures
1

ignored
0.568s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.078s passed
testHashCodeImplemented() 0.489s passed
xtestTermSubclassVisibility() - ignored

Standard output

897753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897772     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897773     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897785     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897800     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897800     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897800     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897805     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897805     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897805     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897809     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897809     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897810     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897819     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897825     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897825     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897827     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897837     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897844     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897868     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897868     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897873     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897873     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897873     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897874     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897874     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897874     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897875     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897894     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897896     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897897     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897899     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897899     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897912     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897913     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897920     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897929     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897929     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897953     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897954     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897954     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897954     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897955     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897958     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897959     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897961     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897962     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897966     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897967     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897967     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897969     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897973     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
897980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898024     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898035     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898036     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898044     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898047     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898244     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898244     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898244     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898244     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898247     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898247     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898247     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898253     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898258     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898258     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898258     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898269     INFO  Test worker     d.u.i.k.u.DesignTests     . 
898269     INFO  Test worker     d.u.i.k.u.DesignTests     .