DesignTests

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

tests
0

failures
1

ignored
0.430s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.069s passed
testHashCodeImplemented() 0.361s passed
xtestTermSubclassVisibility() - ignored

Standard output

789555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789556     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789557     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789558     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789560     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789561     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789562     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789572     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789578     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789580     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789587     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789587     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789595     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789596     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789596     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789597     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789601     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789602     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789602     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789610     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789615     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789616     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789616     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789617     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789617     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789617     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789671     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789676     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789676     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789676     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789677     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789678     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789678     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789679     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789680     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789680     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789681     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789681     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789682     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789685     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789686     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789686     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789687     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789730     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789730     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789731     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789746     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789916     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789916     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789917     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789918     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789918     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789918     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789920     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789925     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789926     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789927     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789929     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789930     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789930     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789930     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789933     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789934     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789936     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789941     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789944     INFO  Test worker     d.u.i.k.u.DesignTests     . 
789944     INFO  Test worker     d.u.i.k.u.DesignTests     .