TestClashFreeSubst

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

tests

failures

ignored

12.888s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	1.090s	passed
testClashInSubstTerm()	1.073s	passed
testMultiShareBound()	1.084s	passed
testMultiSubst()	1.018s	passed
testShare()	1.096s	passed
testShareWary()	1.080s	passed
testSubst()	1.063s	passed
testSubstInSubstTerm()	1.074s	passed
testSubstWary()	1.067s	passed
testWary0()	1.056s	passed
testWary1()	1.054s	passed
testWary2()	1.133s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

41836      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42915      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42916      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46464      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46466      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47547      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47548      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51048      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51049      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52138      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55675      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55676      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56734      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56735      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60186      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60187      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61238      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61239      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64757      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64758      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
65805      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65809      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
69385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70514      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74040      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74040      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75109      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75110      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78581      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
78581      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79656      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79657      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83131      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83132      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84147      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91043      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91044      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92113      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92114      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
95646      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95647      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96709      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96710      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms