TestClashFreeSubst

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

tests

failures

ignored

14.665s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	1.173s	passed
testClashInSubstTerm()	1.147s	passed
testMultiShareBound()	1.603s	passed
testMultiSubst()	1.234s	passed
testShare()	1.179s	passed
testShareWary()	1.125s	passed
testSubst()	1.362s	passed
testSubstInSubstTerm()	0.981s	passed
testSubstWary()	0.997s	passed
testWary0()	1.392s	passed
testWary1()	1.361s	passed
testWary2()	1.111s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

45803      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45803      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47393      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47393      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51282      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51282      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52439      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52439      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56372      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56387      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57500      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57500      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61512      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62851      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62851      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67327      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67327      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68713      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68713      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72788      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72788      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74137      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74137      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78147      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79246      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79246      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82929      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82929      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84066      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84066      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88029      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88029      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89155      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89155      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93246      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93246      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94473      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms