DesignTests

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

tests
0

failures
1

ignored
0.393s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.102s passed
testHashCodeImplemented() 0.291s passed
xtestTermSubclassVisibility() - ignored

Standard output

691386     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691386     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691389     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691389     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691391     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691392     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691393     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691393     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691395     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691396     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691400     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691410     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691411     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691416     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691418     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691419     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691419     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691419     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691422     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691423     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691429     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691429     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691435     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691442     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691446     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691446     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691446     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691450     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691453     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691454     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691470     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691481     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691482     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691483     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691483     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691486     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691487     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691497     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691497     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691504     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691505     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691506     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691507     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691508     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691509     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691513     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691513     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691515     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691515     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691516     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691520     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691520     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691524     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691526     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691526     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691527     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691533     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691533     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691534     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691534     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691535     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691537     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691539     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691540     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691541     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691542     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691546     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691548     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691555     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691563     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691564     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691565     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691573     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691573     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691574     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691582     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691584     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691585     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691591     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691678     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691679     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691680     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691680     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691680     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691681     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691683     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691684     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691685     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691685     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691685     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691685     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691686     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691686     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691687     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691687     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691687     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691688     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691688     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691689     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691689     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691689     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691690     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691690     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691690     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691690     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691691     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691692     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691692     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691692     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691693     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691693     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691694     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691696     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691698     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691713     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691715     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691716     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691717     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691717     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691717     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691718     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691718     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691718     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691718     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691719     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691719     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691720     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691720     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691723     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691724     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691724     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691724     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691726     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691732     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691732     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691735     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691737     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691737     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691737     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691739     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691740     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691740     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691740     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691740     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691741     INFO  Test worker     d.u.i.k.u.DesignTests     . 
691742     INFO  Test worker     d.u.i.k.u.DesignTests     .