TestClashFreeSubst

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

tests
0

failures
2

ignored
11.256s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.964s passed
testClashInSubstTerm() 0.926s passed
testMultiShareBound() 1.014s passed
testMultiSubst() 0.921s passed
testShare() 0.931s passed
testShareWary() 0.935s passed
testSubst() 0.929s passed
testSubstInSubstTerm() 0.923s passed
testSubstWary() 0.945s passed
testWary0() 0.937s passed
testWary1() 0.920s passed
testWary2() 0.911s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36571      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36577      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37578      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37580      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40621      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40622      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41579      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41581      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44719      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44719      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45646      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45647      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48666      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49591      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49592      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52545      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52545      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53480      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53480      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56526      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56528      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57443      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57443      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60390      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60391      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61299      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
61299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64288      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
65203      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65204      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68175      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68175      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69109      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
69109      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72111      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
73028      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73029      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79198      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79199      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80119      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80119      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83109      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83110      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84051      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84052      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms