DesignTests

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

tests
0

failures
1

ignored
0.330s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.065s passed
testHashCodeImplemented() 0.265s passed
xtestTermSubclassVisibility() - ignored

Standard output

655725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655725     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655726     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655728     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655730     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655730     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655736     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655737     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655740     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655742     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655743     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655743     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655744     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655745     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655746     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655746     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655747     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655760     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655761     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655763     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655763     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655769     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655770     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655770     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655770     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655776     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655777     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655778     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655779     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655789     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655790     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655791     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655793     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655795     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655796     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655799     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655801     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655805     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655820     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655822     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655823     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655824     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655824     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655828     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655829     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655829     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655829     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655829     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655834     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655834     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655836     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655840     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655840     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655841     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655843     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655848     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655848     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655849     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655850     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655853     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655855     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
655999     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656013     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656013     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656013     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656013     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656019     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
656021     INFO  Test worker     d.u.i.k.u.DesignTests     .