TestClashFreeSubst

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

tests
0

failures
2

ignored
9.590s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.817s passed
testClashInSubstTerm() 0.799s passed
testMultiShareBound() 0.812s passed
testMultiSubst() 0.783s passed
testShare() 0.769s passed
testShareWary() 0.795s passed
testSubst() 0.809s passed
testSubstInSubstTerm() 0.765s passed
testSubstWary() 0.822s passed
testWary0() 0.842s passed
testWary1() 0.765s passed
testWary2() 0.812s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

30879      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
30879      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
31685      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31686      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34326      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34327      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35136      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35137      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37740      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37741      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38504      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38506      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41102      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41102      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41906      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41907      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44469      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44470      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45304      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45305      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47886      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48646      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48647      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51225      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51228      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52033      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54591      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54592      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55384      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57930      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57931      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58721      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
58722      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
61269      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61270      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62046      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62047      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67140      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67141      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67902      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67902      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70456      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70458      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71274      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71275      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms