DesignTests

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

tests
0

failures
1

ignored
0.358s

duration
100%

successful

Tests

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

Standard output

806113     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806123     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806123     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806123     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806123     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806143     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806170     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806170     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806170     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806170     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806184     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806203     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806204     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806218     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806225     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806226     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806226     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806227     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806227     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806229     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806233     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806234     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806234     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806238     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806238     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806240     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806240     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806241     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806245     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806251     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806269     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806271     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806272     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806273     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806277     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806279     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806279     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806283     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806283     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806283     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806386     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806387     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806390     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806393     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806393     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806393     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806393     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806394     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806396     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806396     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806396     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806398     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806399     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806399     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806399     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806399     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806401     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806402     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806403     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806403     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806404     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806404     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806404     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806404     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806407     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806407     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806407     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806408     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806408     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806408     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806412     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806412     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806412     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806413     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806413     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806413     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806413     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806416     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806416     INFO  Test worker     d.u.i.k.u.DesignTests     . 
806416     INFO  Test worker     d.u.i.k.u.DesignTests     .