TestClashFreeSubst

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

tests
0

failures
2

ignored
19.758s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.605s passed
testClashInSubstTerm() 1.695s passed
testMultiShareBound() 1.632s passed
testMultiSubst() 1.602s passed
testShare() 1.626s passed
testShareWary() 1.552s passed
testSubst() 2.056s passed
testSubstInSubstTerm() 1.644s passed
testSubstWary() 1.633s passed
testWary0() 1.555s passed
testWary1() 1.583s passed
testWary2() 1.575s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

65536      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65536      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65536      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72571      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72571      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72571      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72571      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74171      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74171      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74171      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74171      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79383      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79383      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 76 ms 
79459      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81002      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81002      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81002      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81002      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86205      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86205      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86205      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86205      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88264      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88264      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88264      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88264      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94349      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94349      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94349      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94349      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95897      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95897      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95897      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
130060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
142366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
142366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
142366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
142366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
147855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
147855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
147855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
147855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
149494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
149495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
149495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
149495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0