TestClashFreeSubst

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

tests
0

failures
2

ignored
18.063s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.529s passed
testClashInSubstTerm() 1.494s passed
testMultiShareBound() 1.640s passed
testMultiSubst() 1.479s passed
testShare() 1.505s passed
testShareWary() 1.455s passed
testSubst() 1.583s passed
testSubstInSubstTerm() 1.479s passed
testSubstWary() 1.460s passed
testWary0() 1.493s passed
testWary1() 1.485s passed
testWary2() 1.461s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

63796      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63796      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63797      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63797      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65428      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65428      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
65429      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70454      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70455      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70455      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70455      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71976      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77028      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77029      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77029      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77030      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78529      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78530      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78530      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78530      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83743      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83744      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83744      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83745      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
85322      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85323      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85323      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85323      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90167      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90168      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90168      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90168      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91654      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91655      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91656      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
91656      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96497      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96498      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96498      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96498      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97977      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97978      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97979      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
97979      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
102776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
104231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
109099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
109102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
115357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
123171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
132876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
132876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
132876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
132876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
134352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
134352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
134352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
134352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
139228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
139230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
139231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
139232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0