DesignTests

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

tests
0

failures
1

ignored
0.442s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.174s passed
testHashCodeImplemented() 0.267s passed
xtestTermSubclassVisibility() - ignored

Standard output

723308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723311     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723312     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723312     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723312     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723314     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723314     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723329     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723337     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723337     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723339     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723380     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723380     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723383     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723383     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723387     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723389     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723390     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723390     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723408     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723408     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723421     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723425     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723427     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723428     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723429     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723430     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723430     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723431     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723431     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723437     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723438     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723438     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723442     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723450     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723451     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723452     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723459     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723459     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723462     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723468     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723469     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723470     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723471     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723475     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723596     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723596     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723597     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723597     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723598     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723598     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723598     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723600     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723601     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723601     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723601     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723602     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723607     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723608     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723608     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723609     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723610     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723610     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723611     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723613     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723613     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723613     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723614     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723619     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723623     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723625     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723626     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723626     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723634     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723649     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723654     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723654     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723654     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723659     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723659     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723660     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723660     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723660     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723661     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723661     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723666     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723666     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723666     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723667     INFO  Test worker     d.u.i.k.u.DesignTests     . 
723667     INFO  Test worker     d.u.i.k.u.DesignTests     .