DesignTests

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

tests
0

failures
1

ignored
0.350s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.077s passed
testHashCodeImplemented() 0.273s passed
xtestTermSubclassVisibility() - ignored

Standard output

870267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870269     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870271     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870274     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870275     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870279     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870290     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870290     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870291     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870291     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870294     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870303     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870314     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870314     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870322     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870323     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870323     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870323     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870354     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870372     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870376     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870376     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870379     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870384     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870384     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870385     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870386     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870386     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870387     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870387     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870389     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870396     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870399     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870403     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870412     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870412     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870421     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870422     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870422     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870424     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870431     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870440     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870543     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870545     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870545     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870545     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870546     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870546     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870546     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870547     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870549     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870551     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870552     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870559     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870566     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870567     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870568     INFO  Test worker     d.u.i.k.u.DesignTests     . 
870568     INFO  Test worker     d.u.i.k.u.DesignTests     .