DesignTests

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

tests
0

failures
1

ignored
0.435s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.086s passed
testHashCodeImplemented() 0.349s passed
xtestTermSubclassVisibility() - ignored

Standard output

786813     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786813     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786816     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786817     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786817     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786817     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786819     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786820     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786821     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786823     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786824     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786825     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786825     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786825     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786828     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786829     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786830     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786831     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786831     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786833     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786835     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786836     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786837     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786837     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786840     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786840     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786841     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786842     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786842     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786842     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786845     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786845     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786846     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786852     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786856     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786856     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786860     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786861     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786879     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786879     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786880     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786880     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786881     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786881     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786881     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786882     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786882     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786896     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786896     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786897     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786897     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786898     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786900     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786900     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786904     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786904     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786911     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786945     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786948     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786949     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786949     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786964     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786965     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786996     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786996     INFO  Test worker     d.u.i.k.u.DesignTests     . 
786999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787007     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787170     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787170     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787170     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787176     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787176     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787176     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787178     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787182     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787184     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787186     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787187     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787187     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787188     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787188     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787189     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787203     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787203     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787203     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787204     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787204     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787208     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787208     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787208     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
787210     INFO  Test worker     d.u.i.k.u.DesignTests     .