TestClashFreeSubst

all > de.uka.ilkd.key.logic > TestClashFreeSubst

tests

failures

ignored

14.166s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	1.096s	passed
testClashInSubstTerm()	1.067s	passed
testMultiShareBound()	1.194s	passed
testMultiSubst()	1.085s	passed
testShare()	1.175s	passed
testShareWary()	1.022s	passed
testSubst()	2.272s	passed
testSubstInSubstTerm()	1.097s	passed
testSubstWary()	0.988s	passed
testWary0()	1.070s	passed
testWary1()	1.030s	passed
testWary2()	1.070s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

44394      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44394      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45580      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45580      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49159      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49159      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54411      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54411      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55581      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55581      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59818      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59818      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62072      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62087      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
66170      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66170      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67224      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70949      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70949      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71975      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75344      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75344      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76407      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76407      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79770      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80831      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80831      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84266      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84266      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85277      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88665      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89748      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89748      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96508      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96508      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97594      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97594      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms