DesignTests

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

tests
0

failures
1

ignored
0.417s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.084s passed
testHashCodeImplemented() 0.333s passed
xtestTermSubclassVisibility() - ignored

Standard output

899284     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899284     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899289     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899291     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899292     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899292     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899294     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899294     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899294     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899295     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899297     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899298     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899301     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899315     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899315     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899324     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899324     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899383     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899383     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899384     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899389     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899389     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899394     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899396     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899396     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899404     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899415     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899415     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899415     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899422     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899422     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899424     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899435     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899436     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899436     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899438     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899438     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899447     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899450     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899466     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899466     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899467     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899467     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899483     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899497     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899502     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899512     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899512     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899513     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899617     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899618     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899619     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899619     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899619     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899619     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899623     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899623     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899626     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899634     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899634     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
899650     INFO  Test worker     d.u.i.k.u.DesignTests     .