TestClashFreeSubst

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

tests
0

failures
2

ignored
15.911s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.364s passed
testClashInSubstTerm() 1.327s passed
testMultiShareBound() 1.368s passed
testMultiSubst() 1.306s passed
testShare() 1.347s passed
testShareWary() 1.310s passed
testSubst() 1.323s passed
testSubstInSubstTerm() 1.329s passed
testSubstWary() 1.281s passed
testWary0() 1.325s passed
testWary1() 1.307s passed
testWary2() 1.324s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

53120      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53120      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53120      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53120      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54481      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54481      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54481      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54481      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58996      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58996      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58996      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58996      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60351      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60351      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60351      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60351      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64783      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64799      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64799      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64799      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66139      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66139      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66139      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70459      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70459      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70459      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71778      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71778      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71778      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71778      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76066      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76066      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76066      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76066      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77379      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77379      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77379      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77379      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81713      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81713      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81713      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81713      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83027      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83027      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83027      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83027      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87342      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87342      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87342      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87342      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88655      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88670      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88670      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88670      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92973      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92973      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92973      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92973      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94295      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94295      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94295      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94295      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98592      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98592      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98592      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98592      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99897      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99897      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99897      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
105495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
114129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0