DesignTests

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

tests
0

failures
1

ignored
0.439s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.105s passed
testHashCodeImplemented() 0.334s passed
xtestTermSubclassVisibility() - ignored

Standard output

835688     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835689     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835692     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835692     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835693     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835696     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835697     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835706     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835708     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835708     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835709     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835726     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835753     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835757     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835780     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835780     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835781     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835804     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835804     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835805     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835805     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835812     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835813     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835814     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835814     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835817     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835819     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835824     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835824     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835827     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835828     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835832     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835832     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835836     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835839     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835842     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835843     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835843     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835845     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835846     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835848     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835849     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835850     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835850     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835851     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835853     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835859     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835860     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835861     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835867     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835869     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835869     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835870     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835870     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835878     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835878     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835880     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835891     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835891     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835904     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835915     INFO  Test worker     d.u.i.k.u.DesignTests     . 
835917     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836024     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836025     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836026     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836026     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836026     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836027     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836029     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836029     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836029     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836030     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836030     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836031     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836031     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836031     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836032     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836034     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836035     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836035     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836036     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836036     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836036     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836038     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836038     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836038     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836042     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836043     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836044     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836044     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836045     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836047     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836047     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836048     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836048     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836048     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836049     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836049     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836050     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836051     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836053     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836053     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836053     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836054     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836054     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836055     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836056     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836057     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836057     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836059     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836059     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836061     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836061     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836061     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836062     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836062     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836063     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836063     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836064     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836064     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836065     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836065     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836066     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836066     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836066     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836067     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836067     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836067     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836068     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836068     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836069     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836069     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836069     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836071     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836073     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836073     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836073     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836074     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836074     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836075     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836075     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836075     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836076     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836077     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836080     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836080     INFO  Test worker     d.u.i.k.u.DesignTests     . 
836081     INFO  Test worker     d.u.i.k.u.DesignTests     .