DesignTests

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

tests
0

failures
1

ignored
0.312s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.080s passed
testHashCodeImplemented() 0.232s passed
xtestTermSubclassVisibility() - ignored

Standard output

680495     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680496     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680497     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680510     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680510     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680511     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680516     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680524     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680540     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680545     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680586     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680597     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680598     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680599     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680599     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680599     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680599     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680601     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680602     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680602     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680602     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680603     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680603     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680604     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680606     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680607     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680607     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680608     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680612     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680612     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680612     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680612     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680618     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680618     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680619     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680625     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680625     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680625     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680634     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680731     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680731     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680732     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680732     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680737     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680737     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680740     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680743     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680743     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680746     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680746     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680746     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680749     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680749     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680749     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680749     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680749     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680751     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680751     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680752     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680752     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680752     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680752     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680757     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680757     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680763     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680764     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680764     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680764     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680768     INFO  Test worker     d.u.i.k.u.DesignTests     . 
680769     INFO  Test worker     d.u.i.k.u.DesignTests     .