TestClashFreeSubst

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

tests
0

failures
2

ignored
9.705s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.861s passed
testClashInSubstTerm() 0.802s passed
testMultiShareBound() 0.843s passed
testMultiSubst() 0.798s passed
testShare() 0.820s passed
testShareWary() 0.782s passed
testSubst() 0.810s passed
testSubstInSubstTerm() 0.772s passed
testSubstWary() 0.810s passed
testWary0() 0.811s passed
testWary1() 0.794s passed
testWary2() 0.801s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

32464      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
32465      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36038      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36038      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36891      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36893      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39659      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39668      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40475      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43165      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43969      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43970      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46637      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47443      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47444      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50084      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50085      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50875      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50876      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53508      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54301      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56932      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56933      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
57728      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57729      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60363      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60364      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
61139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63753      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63754      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64546      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64547      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69754      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69754      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70524      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73144      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73145      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73950      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73951      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms