TestClashFreeSubst

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

tests
0

failures
2

ignored
19.330s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.569s passed
testClashInSubstTerm() 1.612s passed
testMultiShareBound() 1.687s passed
testMultiSubst() 1.678s passed
testShare() 1.581s passed
testShareWary() 1.598s passed
testSubst() 1.565s passed
testSubstInSubstTerm() 1.600s passed
testSubstWary() 1.630s passed
testWary0() 1.620s passed
testWary1() 1.640s passed
testWary2() 1.550s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

64846      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64846      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64846      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64846      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66522      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66522      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66522      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66537      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71939      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71939      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71939      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71939      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73497      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73497      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73497      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73497      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78731      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78731      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78731      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78731      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80298      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80298      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80314      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85452      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85452      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85452      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87010      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87010      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87010      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87010      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92325      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92325      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92325      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92325      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93934      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93950      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
105895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
119541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
138594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
138594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
138594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
138594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
145329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
145329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
145329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
145329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
146940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
146940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
146940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
146940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0