DesignTests

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

tests
0

failures
1

ignored
0.303s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.062s passed
testHashCodeImplemented() 0.241s passed
xtestTermSubclassVisibility() - ignored

Standard output

708902     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708903     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708904     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708907     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708907     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708908     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708908     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708912     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708945     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708945     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708945     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708948     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708948     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708948     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708953     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708954     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708955     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708955     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708955     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708959     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708959     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708959     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708966     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708974     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708974     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708995     INFO  Test worker     d.u.i.k.u.DesignTests     . 
708995     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709013     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709025     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709026     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709027     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709027     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709031     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709032     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709041     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709048     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709048     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709048     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709050     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709056     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709057     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709059     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709063     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709064     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709148     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709151     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709160     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709163     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709163     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709164     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
709169     INFO  Test worker     d.u.i.k.u.DesignTests     .