TestClashFreeSubst

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

tests
0

failures
2

ignored
12.329s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.054s passed
testClashInSubstTerm() 1.027s passed
testMultiShareBound() 1.062s passed
testMultiSubst() 0.993s passed
testShare() 1.064s passed
testShareWary() 0.989s passed
testSubst() 1.032s passed
testSubstInSubstTerm() 0.993s passed
testSubstWary() 1.050s passed
testWary0() 1.042s passed
testWary1() 1.023s passed
testWary2() 1.000s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41311      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41311      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42368      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42368      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45820      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45820      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50272      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50272      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54744      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54745      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55772      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59119      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59120      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60158      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60158      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63536      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64555      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64556      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67872      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67872      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
68869      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72146      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72146      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73170      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73170      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76510      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76510      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77497      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77497      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80861      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80862      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81851      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88513      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89503      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89503      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92831      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92832      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
93874      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms