DesignTests

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

tests
0

failures
1

ignored
0.350s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.083s passed
testHashCodeImplemented() 0.267s passed
xtestTermSubclassVisibility() - ignored

Standard output

686600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686603     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686603     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686604     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686605     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686606     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686607     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686608     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686608     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686610     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686610     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686610     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686613     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686614     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686616     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686674     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686674     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686676     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686682     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686696     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686697     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686699     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686703     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686704     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686710     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686710     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686710     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686710     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686718     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686723     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686731     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686751     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686752     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686869     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686870     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686871     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686871     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686871     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686872     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686875     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686875     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686875     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686876     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686876     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686876     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686876     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686877     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686877     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686877     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686877     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686878     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686878     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686879     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686879     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686879     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686880     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686880     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686881     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686881     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686881     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686882     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686882     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686883     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686883     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686883     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686885     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686885     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686885     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686886     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686886     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686886     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686887     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686887     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686887     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686888     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686888     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686888     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686890     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686890     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686890     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686891     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686891     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686891     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686891     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686891     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686893     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686893     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686894     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686896     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686896     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686896     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686897     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686897     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686899     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686899     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686899     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686899     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686900     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686900     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686901     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686901     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686901     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686901     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686902     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686902     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686902     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686902     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686903     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686903     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686903     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686903     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686904     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686904     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686904     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686907     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686907     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686908     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686908     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686908     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686910     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686910     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686912     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686912     INFO  Test worker     d.u.i.k.u.DesignTests     . 
686912     INFO  Test worker     d.u.i.k.u.DesignTests     .