TestClashFreeSubst

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

tests

failures

ignored

10.939s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	0.945s	passed
testClashInSubstTerm()	0.902s	passed
testMultiShareBound()	0.959s	passed
testMultiSubst()	0.892s	passed
testShare()	0.902s	passed
testShareWary()	0.925s	passed
testSubst()	0.916s	passed
testSubstInSubstTerm()	0.880s	passed
testSubstWary()	0.891s	passed
testWary0()	0.897s	passed
testWary1()	0.921s	passed
testWary2()	0.909s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

36358      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36358      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37313      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
37313      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40488      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41424      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41425      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44458      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45356      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45358      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48320      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48321      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49232      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52254      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52255      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
53148      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56111      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56112      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57030      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57031      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60100      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60100      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61006      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61006      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63956      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63956      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
64854      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67881      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67882      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68801      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68802      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71775      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72662      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72663      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78568      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78569      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79444      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79445      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82431      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
82432      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83315      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83316      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms