TestClashFreeSubst

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

tests

failures

ignored

10.923s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	0.947s	passed
testClashInSubstTerm()	0.905s	passed
testMultiShareBound()	0.919s	passed
testMultiSubst()	0.913s	passed
testShare()	0.921s	passed
testShareWary()	0.909s	passed
testSubst()	0.887s	passed
testSubstInSubstTerm()	0.867s	passed
testSubstWary()	0.894s	passed
testWary0()	0.941s	passed
testWary1()	0.907s	passed
testWary2()	0.913s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

35517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36428      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39433      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39434      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40374      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40375      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43362      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43363      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44281      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44281      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47160      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47161      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50989      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50989      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51926      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54873      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54874      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55777      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58714      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58714      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59620      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59621      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62520      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63421      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63422      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66319      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
66319      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67224      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67225      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70144      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71054      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71054      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76845      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76846      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77709      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77709      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80582      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80582      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81474      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
81474      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms