DesignTests

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

tests
0

failures
1

ignored
0.323s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.066s passed
testHashCodeImplemented() 0.257s passed
xtestTermSubclassVisibility() - ignored

Standard output

801067     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801068     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801071     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801073     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801074     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801075     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801078     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801098     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801101     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801103     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801104     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801104     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801104     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801107     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801107     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801107     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801127     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801127     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801129     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801185     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801185     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801188     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801188     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801218     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801227     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801227     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801228     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801230     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801234     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801236     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801326     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801327     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801329     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801329     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801329     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801339     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801339     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
801352     INFO  Test worker     d.u.i.k.u.DesignTests     .