TestClashFreeSubst

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

tests
0

failures
2

ignored
19.332s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.628s passed
testClashInSubstTerm() 1.602s passed
testMultiShareBound() 1.693s passed
testMultiSubst() 1.608s passed
testShare() 1.589s passed
testShareWary() 1.611s passed
testSubst() 1.599s passed
testSubstInSubstTerm() 1.607s passed
testSubstWary() 1.609s passed
testWary0() 1.608s passed
testWary1() 1.589s passed
testWary2() 1.589s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

65082      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65082      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65082      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65082      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66769      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66769      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66769      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66769      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72117      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72117      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72117      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72117      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73725      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73725      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78949      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78949      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78949      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78949      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80528      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80528      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80528      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80528      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85619      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85619      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85619      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85619      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87210      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87210      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87210      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87210      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92276      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92276      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92276      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92276      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93875      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93875      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93875      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99103      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99103      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99103      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99103      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119510     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 
119526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
139113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
139113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
139129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
139129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
145859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
145859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
145859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
145859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
147475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
147475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
147475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
147475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0