TestClashFreeSubst

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

tests
0

failures
2

ignored
11.802s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.002s passed
testClashInSubstTerm() 1.005s passed
testMultiShareBound() 1.034s passed
testMultiSubst() 0.989s passed
testShare() 0.964s passed
testShareWary() 0.964s passed
testSubst() 0.983s passed
testSubstInSubstTerm() 0.998s passed
testSubstWary() 0.953s passed
testWary0() 0.956s passed
testWary1() 0.968s passed
testWary2() 0.986s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

39223      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39223      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40244      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40246      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43557      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43558      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44554      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44554      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47794      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48756      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48756      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52005      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52984      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52984      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56167      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57120      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57120      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60312      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60313      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61278      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64436      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64436      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65417      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65418      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68573      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
68573      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69575      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69576      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72764      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72764      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73723      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77005      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77990      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
77990      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84394      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84394      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85388      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85389      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88599      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88600      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89550      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89550      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms