TestClashFreeSubst

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

tests
0

failures
2

ignored
12.763s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.157s passed
testClashInSubstTerm() 1.017s passed
testMultiShareBound() 1.066s passed
testMultiSubst() 0.988s passed
testShare() 1.033s passed
testShareWary() 1.000s passed
testSubst() 1.153s passed
testSubstInSubstTerm() 0.948s passed
testSubstWary() 0.977s passed
testWary0() 1.015s passed
testWary1() 1.432s passed
testWary2() 0.976s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

64725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65788      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69311      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69311      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70468      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70468      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74032      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75048      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75064      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78331      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78331      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79472      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79472      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82788      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82788      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83803      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83803      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87274      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87289      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88712      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88712      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91917      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91917      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92887      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92887      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96109      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96125      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97125      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97125      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms