DesignTests

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

tests
0

failures
1

ignored
0.334s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.068s passed
testHashCodeImplemented() 0.266s passed
xtestTermSubclassVisibility() - ignored

Standard output

675487     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675488     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675493     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675494     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675494     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675494     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675495     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675495     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675517     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675518     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675519     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675520     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675521     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675521     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675522     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675533     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675534     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675545     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675588     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675593     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675597     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675597     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675598     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675598     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675599     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675606     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675606     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675606     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675606     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675613     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675619     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675626     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675626     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675662     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675662     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675662     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675763     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675763     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675763     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675764     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675770     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675770     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675770     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675770     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675771     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675771     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675771     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675771     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675771     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675773     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675773     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675773     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675773     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675775     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675776     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675776     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675776     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675776     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675776     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675776     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675778     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675780     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675780     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
675781     INFO  Test worker     d.u.i.k.u.DesignTests     .