TestClashFreeSubst

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

tests
0

failures
2

ignored
11.270s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.925s passed
testClashInSubstTerm() 0.927s passed
testMultiShareBound() 1.002s passed
testMultiSubst() 0.948s passed
testShare() 0.968s passed
testShareWary() 0.926s passed
testSubst() 0.947s passed
testSubstInSubstTerm() 0.918s passed
testSubstWary() 0.957s passed
testWary0() 0.904s passed
testWary1() 0.945s passed
testWary2() 0.903s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37532      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38528      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
38529      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41728      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41728      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42648      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42649      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45840      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45841      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46804      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46805      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49916      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49916      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53909      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53910      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54808      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54809      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57891      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57892      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58833      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58834      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61900      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61900      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65891      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65891      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69893      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69893      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70814      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73876      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73877      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74816      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74817      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80883      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80884      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
81800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84843      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84843      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85796      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85797      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms