TestClashFreeSubst

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

tests
0

failures
2

ignored
11.336s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.989s passed
testClashInSubstTerm() 0.969s passed
testMultiShareBound() 1.058s passed
testMultiSubst() 0.915s passed
testShare() 0.965s passed
testShareWary() 0.896s passed
testSubst() 0.919s passed
testSubstInSubstTerm() 0.908s passed
testSubstWary() 0.911s passed
testWary0() 0.925s passed
testWary1() 0.924s passed
testWary2() 0.957s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38769      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38769      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39816      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39816      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43021      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43021      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44005      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44005      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47085      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47085      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48039      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48039      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51106      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51106      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52012      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52012      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55044      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55966      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55966      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59047      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59047      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59969      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59969      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62970      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62970      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63908      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63908      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66956      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66972      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67910      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67910      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70896      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70896      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71787      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71787      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74788      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74788      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75694      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75694      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82558      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85512      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86419      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms