DesignTests

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

tests
0

failures
1

ignored
0.513s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.121s passed
testHashCodeImplemented() 0.392s passed
xtestTermSubclassVisibility() - ignored

Standard output

850136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850163     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850182     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850184     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850215     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850224     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850226     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850269     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850271     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850275     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850278     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850279     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850280     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850280     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850281     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850290     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850290     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850290     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850291     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850296     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850296     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850297     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850297     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850298     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850306     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850307     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850307     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850307     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850314     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850322     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850334     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850334     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850375     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850376     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850377     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850529     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850532     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850535     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850536     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850538     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850538     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850539     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850539     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850540     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850540     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850540     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850545     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850568     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850586     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850586     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850586     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850587     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850587     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850588     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850588     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850588     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850593     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850593     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850595     INFO  Test worker     d.u.i.k.u.DesignTests     . 
850595     INFO  Test worker     d.u.i.k.u.DesignTests     .