DesignTests

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

tests
0

failures
1

ignored
0.450s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.104s passed
testHashCodeImplemented() 0.346s passed
xtestTermSubclassVisibility() - ignored

Standard output

908980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908981     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
908999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909035     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909035     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909043     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909044     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909044     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909054     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909055     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909056     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909062     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909063     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909063     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909077     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909078     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909078     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909080     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909084     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909085     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909093     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909093     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909094     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909094     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909095     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909095     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909096     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909096     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909104     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909105     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909105     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909106     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909109     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909111     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909121     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909123     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909127     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909127     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909135     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909176     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909187     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909187     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909188     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909204     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909328     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909330     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909331     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909332     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909333     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909334     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909334     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909335     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909337     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909337     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909354     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909354     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909354     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909357     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909357     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909357     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909367     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909367     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909367     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909371     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909372     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909372     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909372     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909373     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909373     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909373     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909373     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909374     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909374     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909374     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909375     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909375     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909376     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909377     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909377     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909377     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909378     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909378     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909378     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909379     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909379     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909379     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909380     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909380     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
909383     INFO  Test worker     d.u.i.k.u.DesignTests     .