TestClashFreeSubst

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

tests
0

failures
2

ignored
9.762s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.804s passed
testClashInSubstTerm() 0.820s passed
testMultiShareBound() 0.879s passed
testMultiSubst() 0.770s passed
testShare() 0.819s passed
testShareWary() 0.831s passed
testSubst() 0.833s passed
testSubstInSubstTerm() 0.788s passed
testSubstWary() 0.763s passed
testWary0() 0.803s passed
testWary1() 0.818s passed
testWary2() 0.833s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

31769      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
32643      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
32644      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36108      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36108      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38774      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38775      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39591      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39592      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42226      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42227      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43056      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43056      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45719      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45719      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49141      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49142      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52629      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52629      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53459      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56150      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56151      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56968      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56969      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59552      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59552      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60381      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60381      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63034      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63034      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63802      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
63802      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68854      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68854      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69640      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 
72137      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72138      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72898      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms