TestClashFreeSubst

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

tests

failures

ignored

10.342s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	0.898s	passed
testClashInSubstTerm()	0.848s	passed
testMultiShareBound()	0.909s	passed
testMultiSubst()	0.841s	passed
testShare()	0.831s	passed
testShareWary()	0.849s	passed
testSubst()	0.874s	passed
testSubstInSubstTerm()	0.860s	passed
testSubstWary()	0.842s	passed
testWary0()	0.850s	passed
testWary1()	0.862s	passed
testWary2()	0.878s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

38359      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38359      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39256      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42196      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42196      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43080      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43080      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45918      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45918      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46738      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46738      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49550      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49550      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50419      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53213      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54063      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54063      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56789      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56789      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57656      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57656      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60425      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60425      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61291      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64066      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64066      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64913      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64913      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67632      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67632      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68479      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68479      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71205      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71205      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72044      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78356      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78356      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81091      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81095      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms 
81914      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms