DesignTests

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

tests
0

failures
1

ignored
0.352s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.074s passed
testHashCodeImplemented() 0.278s passed
xtestTermSubclassVisibility() - ignored

Standard output

792494     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792495     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792503     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792503     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792510     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792511     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792512     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792513     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792521     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792521     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792529     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792534     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792534     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792535     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792540     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792540     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792580     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792580     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792580     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792593     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792595     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792596     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792596     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792597     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792599     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792599     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792602     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792617     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792623     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792626     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792626     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792659     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792659     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792659     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792663     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792664     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792665     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792773     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792773     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792778     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792778     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792778     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792778     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792778     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792780     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792780     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792780     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792783     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792783     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792783     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792785     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792785     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792793     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792793     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792797     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792800     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792804     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792804     INFO  Test worker     d.u.i.k.u.DesignTests     . 
792804     INFO  Test worker     d.u.i.k.u.DesignTests     .