TestClashFreeSubst

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

tests
0

failures
2

ignored
13.848s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.157s passed
testClashInSubstTerm() 1.133s passed
testMultiShareBound() 1.206s passed
testMultiSubst() 1.124s passed
testShare() 1.213s passed
testShareWary() 1.103s passed
testSubst() 1.149s passed
testSubstInSubstTerm() 1.137s passed
testSubstWary() 1.133s passed
testWary0() 1.156s passed
testWary1() 1.151s passed
testWary2() 1.186s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

49955      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49955      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49955      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49955      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51143      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51143      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51143      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55051      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55051      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55051      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55051      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56192      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56192      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56192      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56192      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60101      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60101      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60101      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60101      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61305      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61305      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61305      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61305      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65042      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65042      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65042      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65042      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66183      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66183      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66183      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66183      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69935      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69935      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69935      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69935      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71092      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71092      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71092      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71092      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74800      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74800      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75939      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75939      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75939      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75939      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79630      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79630      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80802      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80802      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80802      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80802      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84569      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84569      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84569      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84569      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85694      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85694      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85694      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85694      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89385      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89385      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90479      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90479      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90479      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90479      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94146      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94146      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94146      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94146      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95255      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95255      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95255      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95255      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102562     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 
107347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0