TestClashFreeSubst

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

tests

failures

ignored

10.902s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	0.931s	passed
testClashInSubstTerm()	0.920s	passed
testMultiShareBound()	0.965s	passed
testMultiSubst()	0.894s	passed
testShare()	0.921s	passed
testShareWary()	0.889s	passed
testSubst()	0.903s	passed
testSubstInSubstTerm()	0.890s	passed
testSubstWary()	0.889s	passed
testWary0()	0.898s	passed
testWary1()	0.901s	passed
testWary2()	0.901s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

35375      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35376      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
36334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39355      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39356      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40281      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43283      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43284      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44199      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44200      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47161      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47162      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48060      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48061      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51024      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51025      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51918      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54868      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55764      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55765      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58689      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59586      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
59586      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62569      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62571      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63484      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66421      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66422      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67307      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70222      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71111      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76932      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76932      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77819      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77819      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80739      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80740      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81625      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81626      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms