TestClashFreeSubst

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

tests

failures

ignored

11.960s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	1.012s	passed
testClashInSubstTerm()	1.033s	passed
testMultiShareBound()	1.045s	passed
testMultiSubst()	0.948s	passed
testShare()	0.990s	passed
testShareWary()	0.954s	passed
testSubst()	0.987s	passed
testSubstInSubstTerm()	1.028s	passed
testSubstWary()	0.988s	passed
testWary0()	0.977s	passed
testWary1()	1.004s	passed
testWary2()	0.993s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

40025      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40028      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41065      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41065      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44513      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48849      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48849      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49830      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49830      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53088      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53088      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54072      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54073      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57319      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57320      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58293      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58294      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61537      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62525      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65807      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65807      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66797      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
66797      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70074      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70082      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71098      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71101      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
74376      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74377      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75325      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75327      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
78582      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78583      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79526      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
79527      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86999      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87000      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90299      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91284      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms