TestClashFreeSubst

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

tests
0

failures
2

ignored
11.767s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.102s passed
testClashInSubstTerm() 0.989s passed
testMultiShareBound() 1.025s passed
testMultiSubst() 0.955s passed
testShare() 1.018s passed
testShareWary() 0.958s passed
testSubst() 0.939s passed
testSubstInSubstTerm() 0.943s passed
testSubstWary() 0.972s passed
testWary0() 0.956s passed
testWary1() 0.958s passed
testWary2() 0.952s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38311      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38311      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39332      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39333      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42750      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42750      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43847      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43847      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47077      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47078      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48090      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48091      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51262      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52199      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52199      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55328      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55329      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56281      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56282      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59404      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59405      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60359      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60359      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64400      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
64400      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67532      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67532      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68516      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71650      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71650      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72605      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72605      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75745      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76697      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76697      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82894      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83833      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83834      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86984      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
87954      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87955      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms