DesignTests

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

tests
0

failures
1

ignored
0.445s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.091s passed
testHashCodeImplemented() 0.354s passed
xtestTermSubclassVisibility() - ignored

Standard output

807195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807203     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807215     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807215     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807222     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807235     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807237     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807237     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807237     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807253     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807253     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807258     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807261     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807280     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807286     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807286     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807287     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807287     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807287     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807287     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807292     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807301     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807301     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807301     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807303     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807303     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807311     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807322     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807339     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807385     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807550     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807552     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807552     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807553     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807553     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807553     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807553     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807553     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807553     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807568     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807569     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807570     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807571     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807573     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807573     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807577     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807579     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807580     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
807585     INFO  Test worker     d.u.i.k.u.DesignTests     .