DesignTests

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

tests
0

failures
1

ignored
0.383s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.075s passed
testHashCodeImplemented() 0.308s passed
xtestTermSubclassVisibility() - ignored

Standard output

731313     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731314     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731316     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731317     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731318     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731319     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731320     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731321     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731322     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731325     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731372     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731373     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731373     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731375     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731379     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731380     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731390     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731409     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731415     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731415     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731415     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731415     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731416     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731420     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731420     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731435     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731435     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731435     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731436     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731442     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731442     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731450     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731450     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731452     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731452     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731453     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731467     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731468     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731468     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731468     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731468     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731471     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731471     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731472     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731473     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731473     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731475     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731478     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731501     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731511     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731511     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731512     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731514     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731521     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731521     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731523     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731524     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731529     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731623     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731623     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731624     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731625     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731625     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731625     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731628     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731629     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731634     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731634     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731634     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731649     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731649     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731650     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731654     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731654     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
731658     INFO  Test worker     d.u.i.k.u.DesignTests     .