TestClashFreeSubst

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

tests

failures

ignored

10.502s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	0.916s	passed
testClashInSubstTerm()	0.864s	passed
testMultiShareBound()	0.933s	passed
testMultiSubst()	0.835s	passed
testShare()	0.876s	passed
testShareWary()	0.859s	passed
testSubst()	0.901s	passed
testSubstInSubstTerm()	0.864s	passed
testSubstWary()	0.842s	passed
testWary0()	0.890s	passed
testWary1()	0.870s	passed
testWary2()	0.852s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

33597      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
34521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37482      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
37483      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
38394      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38394      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41234      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41235      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42108      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42108      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44855      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44855      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45754      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45754      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48486      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48487      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49371      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49372      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52225      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52226      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53092      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
53093      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55851      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56700      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59475      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59476      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60335      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63120      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63121      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66701      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66702      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67532      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72988      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72989      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73849      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
73849      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76573      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76574      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
77413      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77413      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms