TestClashFreeSubst

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

tests
0

failures
2

ignored
11.397s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.946s passed
testClashInSubstTerm() 0.902s passed
testMultiShareBound() 1.051s passed
testMultiSubst() 0.964s passed
testShare() 0.977s passed
testShareWary() 0.882s passed
testSubst() 1.047s passed
testSubstInSubstTerm() 0.881s passed
testSubstWary() 0.903s passed
testWary0() 0.988s passed
testWary1() 0.971s passed
testWary2() 0.885s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37223      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38269      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38269      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41425      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41425      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42366      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42367      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45456      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45456      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46431      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
46431      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49740      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50784      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50785      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54135      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54136      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55121      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55121      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58267      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58267      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59234      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59235      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62287      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63167      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63168      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67062      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67063      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69886      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69887      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70761      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70761      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73914      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73915      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74874      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80799      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81674      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81675      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84675      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84676      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
85573      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
85574      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms