TestClashFreeSubst

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

tests
0

failures
2

ignored
9.199s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.780s passed
testClashInSubstTerm() 0.756s passed
testMultiShareBound() 0.818s passed
testMultiSubst() 0.752s passed
testShare() 0.772s passed
testShareWary() 0.757s passed
testSubst() 0.760s passed
testSubstInSubstTerm() 0.763s passed
testSubstWary() 0.759s passed
testWary0() 0.760s passed
testWary1() 0.757s passed
testWary2() 0.757s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

30531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
30533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
31346      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31346      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33952      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33952      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34726      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37234      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37234      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38003      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38003      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41275      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41275      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43756      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43756      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44512      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47027      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47027      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47781      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47782      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50249      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50249      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51002      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51003      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53494      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53494      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54247      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54247      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56719      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56719      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57474      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59943      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59943      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60692      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60693      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65654      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65654      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66414      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
66414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68883      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68884      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69639      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69640      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms