DesignTests

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

tests
0

failures
1

ignored
0.412s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.097s passed
testHashCodeImplemented() 0.315s passed
xtestTermSubclassVisibility() - ignored

Standard output

813970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813974     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813974     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813974     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813977     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813977     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813978     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813978     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813978     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
813999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814007     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814022     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814022     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814022     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814062     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814064     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814073     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814076     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814076     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814076     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814077     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814078     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814080     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814081     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814082     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814082     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814082     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814087     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814087     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814088     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814088     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814090     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814098     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814098     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814104     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814104     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814105     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814105     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814105     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814107     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814113     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814123     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814124     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814129     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814137     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814286     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814287     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814288     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814289     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814292     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814292     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814293     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814294     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814294     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814294     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814295     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814295     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814295     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814296     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814296     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814297     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814297     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814298     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814299     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814299     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814299     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814300     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814301     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814302     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814304     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814304     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814305     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814305     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814305     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814306     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814307     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814307     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814307     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814307     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814308     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814309     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814310     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814311     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814311     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814311     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814311     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814312     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814312     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814312     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814312     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814315     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814315     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814322     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814323     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814323     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814323     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814323     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814324     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814324     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814324     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814329     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814329     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814329     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814334     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
814337     INFO  Test worker     d.u.i.k.u.DesignTests     .