TestClashFreeSubst

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

tests
0

failures
2

ignored
9.021s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.786s passed
testClashInSubstTerm() 0.744s passed
testMultiShareBound() 0.811s passed
testMultiSubst() 0.735s passed
testShare() 0.748s passed
testShareWary() 0.739s passed
testSubst() 0.740s passed
testSubstInSubstTerm() 0.750s passed
testSubstWary() 0.732s passed
testWary0() 0.762s passed
testWary1() 0.736s passed
testWary2() 0.738s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

29324      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
29325      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
30125      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
30126      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
32626      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
32626      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33407      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33408      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35893      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35893      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36637      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39118      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39119      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39855      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39856      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42268      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42269      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43012      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43014      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45470      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45470      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46203      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46204      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48607      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48607      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49342      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
49342      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51743      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51743      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52483      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52483      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54878      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54878      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55611      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55611      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58012      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58012      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58743      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58744      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63532      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66660      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66660      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67391      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67391      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms