TestClashFreeSubst

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

tests
0

failures
2

ignored
11.715s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.979s passed
testClashInSubstTerm() 0.930s passed
testMultiShareBound() 0.954s passed
testMultiSubst() 1.029s passed
testShare() 0.962s passed
testShareWary() 0.996s passed
testSubst() 0.958s passed
testSubstInSubstTerm() 1.032s passed
testSubstWary() 0.992s passed
testWary0() 0.962s passed
testWary1() 0.974s passed
testWary2() 0.947s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37340      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37340      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38289      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38290      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41503      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41504      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42465      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42469      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45628      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
46585      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46586      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49795      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
49795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50748      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50749      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53849      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54805      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54806      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57948      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
57950      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
58911      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58912      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62055      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62056      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62996      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62998      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66153      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66154      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67078      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67079      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70128      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71118      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71118      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74252      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74252      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
81601      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81602      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82631      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85859      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
86849      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86849      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms