DesignTests

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

tests
0

failures
1

ignored
0.494s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.120s passed
testHashCodeImplemented() 0.374s passed
xtestTermSubclassVisibility() - ignored

Standard output

956141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956182     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956184     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956185     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956185     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956185     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956204     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956204     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956222     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956222     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956223     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956223     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956224     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956230     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956235     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956236     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956239     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956239     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956251     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956258     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956275     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956276     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956276     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956276     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956278     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956279     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956281     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956281     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956282     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956283     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956283     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956285     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956291     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956295     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956301     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956517     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956518     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956519     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956519     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956519     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956521     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956525     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956525     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956526     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956526     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956529     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956529     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956532     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956532     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956533     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956533     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956534     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956535     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956535     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956535     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956538     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956538     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956538     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956539     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956539     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956546     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956546     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956552     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956553     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956568     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956568     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956568     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956568     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956573     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956580     INFO  Test worker     d.u.i.k.u.DesignTests     . 
956581     INFO  Test worker     d.u.i.k.u.DesignTests     .