TestClashFreeSubst

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

tests
0

failures
2

ignored
12.786s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.148s passed
testClashInSubstTerm() 1.094s passed
testMultiShareBound() 1.162s passed
testMultiSubst() 1.030s passed
testShare() 1.014s passed
testShareWary() 0.999s passed
testSubst() 1.084s passed
testSubstInSubstTerm() 1.037s passed
testSubstWary() 1.053s passed
testWary0() 1.051s passed
testWary1() 1.043s passed
testWary2() 1.071s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42712      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42712      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43869      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47512      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47543      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 31 ms 
48637      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48637      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52313      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52313      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53313      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53313      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56863      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56863      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61460      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61460      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62492      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62507      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65916      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65916      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66948      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66948      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70325      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70340      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71388      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71404      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74828      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74828      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75907      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75907      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79316      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79316      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80301      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80301      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83709      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83709      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91353      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91353      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95699      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95699      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96747      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96747      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms