DesignTests

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

tests
0

failures
1

ignored
0.402s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.080s passed
testHashCodeImplemented() 0.322s passed
xtestTermSubclassVisibility() - ignored

Standard output

857915     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857916     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857919     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857919     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857919     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857927     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857927     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857930     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857953     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857955     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857958     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857964     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857965     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857966     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857977     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857977     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
857999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858024     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858025     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858026     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858027     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858029     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858031     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858031     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858032     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858032     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858033     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858039     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858045     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858045     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858045     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858046     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858046     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858048     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858053     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858053     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858053     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858053     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858055     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858056     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858056     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858059     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858060     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858061     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858062     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858066     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858069     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858071     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858078     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858088     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858089     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858090     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858092     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858092     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858093     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858098     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858099     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858102     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858102     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858103     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858238     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858239     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858240     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858240     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858240     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858240     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858241     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858241     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858241     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858241     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858242     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858243     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858244     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858246     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858247     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858247     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858248     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858249     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858250     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858251     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858251     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858252     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858253     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858253     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858253     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858253     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858254     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858255     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858256     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858257     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858258     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858258     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858259     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858260     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858262     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858263     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858264     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858265     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858266     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858267     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858268     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858269     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858269     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858270     INFO  Test worker     d.u.i.k.u.DesignTests     . 
858271     INFO  Test worker     d.u.i.k.u.DesignTests     .