DesignTests

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

tests
0

failures
1

ignored
0.387s

duration
100%

successful

Tests

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

Standard output

848802     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848803     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848812     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848813     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848813     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848814     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848814     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848815     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848816     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848817     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848821     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848838     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848839     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848839     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848839     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848842     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848844     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848845     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848845     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848846     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848857     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848859     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848860     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848862     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848862     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848863     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848863     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848864     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848864     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848866     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848867     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848868     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848869     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848869     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848869     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848873     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848874     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848874     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848882     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848887     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848888     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848888     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848889     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848890     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848893     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848894     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848907     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848908     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848908     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848909     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848910     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848910     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848918     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848919     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848919     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848920     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848921     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848922     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848923     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848944     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848944     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848949     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848953     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848954     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848955     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848958     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848958     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848966     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848967     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848968     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848969     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848973     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
848994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849009     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849111     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849111     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849112     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849113     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849113     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849113     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849114     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849115     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849116     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849116     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849116     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849116     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849117     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849118     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849119     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849120     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849122     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849123     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849125     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849127     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849129     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849129     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849129     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849130     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849130     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849131     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849131     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849131     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849131     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849143     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849143     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849143     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849144     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849146     INFO  Test worker     d.u.i.k.u.DesignTests     . 
849147     INFO  Test worker     d.u.i.k.u.DesignTests     .