DesignTests

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

tests
0

failures
1

ignored
0.361s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.072s passed
testHashCodeImplemented() 0.289s passed
xtestTermSubclassVisibility() - ignored

Standard output

881695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881699     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881699     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881700     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881704     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881705     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881708     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881711     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881712     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881712     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881712     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881719     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881726     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881731     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881743     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881743     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881745     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881745     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881745     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881754     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881771     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881771     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881772     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881772     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881772     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881772     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881772     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881783     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881798     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881807     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881808     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881809     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881810     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881811     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881814     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881820     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881821     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881821     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881821     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881821     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881823     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881823     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881825     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881826     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881827     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881827     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881829     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881832     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881834     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881834     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881835     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881839     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881841     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881841     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881841     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881841     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881848     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881848     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881851     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881860     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881860     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881860     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881863     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881871     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881872     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881873     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881875     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881881     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881882     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881993     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881993     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881993     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881995     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881995     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881995     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881996     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
881999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882007     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882007     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882013     INFO  Test worker     d.u.i.k.u.DesignTests     . 
882013     INFO  Test worker     d.u.i.k.u.DesignTests     .