DesignTests

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

tests
0

failures
1

ignored
0.418s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.108s passed
testHashCodeImplemented() 0.310s passed
xtestTermSubclassVisibility() - ignored

Standard output

838107     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838108     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838110     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838110     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838110     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838111     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838113     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838124     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838131     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838131     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838135     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838137     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838137     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838137     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838184     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838184     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838188     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838214     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838222     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838228     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838228     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838229     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838231     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838235     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838236     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838419     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838419     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838420     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838421     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838421     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838422     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838422     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838424     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838424     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838425     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838425     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838425     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838425     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838427     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838427     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838427     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838428     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838429     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838429     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838429     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838430     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838430     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838430     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838430     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838431     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838431     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838431     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838432     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838435     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838435     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838436     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838437     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838440     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838440     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838440     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838442     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838446     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838450     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838450     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838457     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838457     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838458     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838458     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838459     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838461     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838461     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838462     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838463     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838463     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838463     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838464     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838464     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838464     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838464     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838464     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838466     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838475     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838476     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
838483     INFO  Test worker     d.u.i.k.u.DesignTests     .