TestClashFreeSubst

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

tests
0

failures
2

ignored
10.959s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.931s passed
testClashInSubstTerm() 0.900s passed
testMultiShareBound() 0.962s passed
testMultiSubst() 0.895s passed
testShare() 0.910s passed
testShareWary() 0.914s passed
testSubst() 0.902s passed
testSubstInSubstTerm() 0.910s passed
testSubstWary() 0.912s passed
testWary0() 0.928s passed
testWary1() 0.897s passed
testWary2() 0.898s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

34955      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
35912      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
38894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38895      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39822      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39822      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42771      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43679      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43679      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46621      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46621      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47520      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51353      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51354      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54288      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54289      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55183      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55183      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58117      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58117      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59012      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59012      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61921      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61922      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62816      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62817      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65736      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66648      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66649      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
69558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69559      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76344      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76344      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77250      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77250      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80178      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80178      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81087      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81087      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms