TestClashFreeSubst

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

tests
0

failures
2

ignored
17.520s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.476s passed
testClashInSubstTerm() 1.500s passed
testMultiShareBound() 1.494s passed
testMultiSubst() 1.579s passed
testShare() 1.469s passed
testShareWary() 1.484s passed
testSubst() 1.423s passed
testSubstInSubstTerm() 1.423s passed
testSubstWary() 1.376s passed
testWary0() 1.463s passed
testWary1() 1.431s passed
testWary2() 1.402s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

58800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58800      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58800      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60286      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60286      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60286      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65241      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65241      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65241      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65241      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66711      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66711      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71495      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71495      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71495      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71495      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72949      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72949      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72949      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72949      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77749      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77749      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77749      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77749      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83908      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83908      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83908      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83908      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85346      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85346      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85346      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85346      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90023      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90038      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90038      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90038      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91461      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91461      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91461      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91461      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96088      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96088      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96088      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96088      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97495      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97495      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97495      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97495      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
127295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
131845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
131845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
131845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
131860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
133220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
133220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
133220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
133220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0