DesignTests

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

tests
0

failures
1

ignored
0.384s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.090s passed
testHashCodeImplemented() 0.293s passed
xtestTermSubclassVisibility() - ignored

Standard output

762336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762336     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762339     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762341     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762342     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762347     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762348     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762376     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762381     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762382     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762388     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762404     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762405     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762406     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762406     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762406     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762407     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762407     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762408     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762408     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762413     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762413     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762414     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762416     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762419     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762419     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762426     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762427     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762428     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762430     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762437     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762440     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762440     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762441     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762443     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762446     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762446     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762448     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762452     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762453     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762454     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762455     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762458     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762459     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762460     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762461     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762461     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762467     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762467     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762469     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762475     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762488     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762490     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762491     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762495     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762498     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762630     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762631     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762632     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762633     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762636     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762637     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762640     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762643     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762646     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762647     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762648     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762649     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762651     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762653     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762654     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762654     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762656     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762657     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762658     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762659     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762659     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762660     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762660     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762661     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762661     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762661     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762662     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762662     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762663     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762663     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762663     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762664     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762664     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762665     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762665     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762666     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762666     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762666     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762666     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762667     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762667     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762667     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762667     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762668     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762668     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762668     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762668     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762669     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762670     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762671     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762672     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762672     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762672     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762672     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762673     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762674     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762674     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762674     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762680     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762681     INFO  Test worker     d.u.i.k.u.DesignTests     . 
762681     INFO  Test worker     d.u.i.k.u.DesignTests     .