DesignTests

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

tests
0

failures
1

ignored
0.314s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.063s passed
testHashCodeImplemented() 0.251s passed
xtestTermSubclassVisibility() - ignored

Standard output

722669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722671     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722671     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722671     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722672     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722674     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722676     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722680     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722685     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722687     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722689     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722690     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722690     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722690     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722693     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722693     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722693     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722696     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722696     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722696     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722699     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722699     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722700     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722700     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722703     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722703     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722703     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722710     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722718     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722719     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722726     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722726     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722726     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722732     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722745     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722745     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722762     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722784     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722785     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722786     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722788     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722800     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722807     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722807     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722809     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722816     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722824     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722825     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722827     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722831     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722833     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722919     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722919     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722920     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722920     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722920     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722927     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722927     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722927     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722929     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
722944     INFO  Test worker     d.u.i.k.u.DesignTests     .