TestClashFreeSubst

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

tests

failures

ignored

14.440s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	1.063s	passed
testClashInSubstTerm()	1.132s	passed
testMultiShareBound()	2.086s	passed
testMultiSubst()	1.288s	passed
testShare()	1.051s	passed
testShareWary()	1.536s	passed
testSubst()	1.024s	passed
testSubstInSubstTerm()	1.027s	passed
testSubstWary()	1.070s	passed
testWary0()	1.017s	passed
testWary1()	1.103s	passed
testWary2()	1.043s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

42207      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42207      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44291      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48408      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49446      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49461      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53039      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53039      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54091      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54091      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57278      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58287      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58287      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61919      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62918      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62918      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66475      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66475      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67577      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67577      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71842      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
71842      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75296      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75296      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76409      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76409      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82305      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82305      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87652      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95342      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95342      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96358      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96373      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms