TestClashFreeSubst

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

tests

failures

ignored

10.264s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	0.916s	passed
testClashInSubstTerm()	0.909s	passed
testMultiShareBound()	0.866s	passed
testMultiSubst()	0.839s	passed
testShare()	0.915s	passed
testShareWary()	0.827s	passed
testSubst()	0.864s	passed
testSubstInSubstTerm()	0.824s	passed
testSubstWary()	0.838s	passed
testWary0()	0.825s	passed
testWary1()	0.821s	passed
testWary2()	0.820s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

33916      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33916      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34778      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
34778      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37777      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37778      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
38687      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38688      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41567      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41567      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42480      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42481      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45270      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45270      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46132      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46133      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48964      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48965      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49785      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49786      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53336      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56101      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56102      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56915      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56918      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59641      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59641      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60548      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60548      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63226      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63226      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64051      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
64051      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66830      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66830      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67666      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73063      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73065      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
73882      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73883      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76557      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76557      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77391      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms