TestClashFreeSubst

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

tests
0

failures
2

ignored
19.724s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.655s passed
testClashInSubstTerm() 1.603s passed
testMultiShareBound() 1.690s passed
testMultiSubst() 1.751s passed
testShare() 1.664s passed
testShareWary() 1.652s passed
testSubst() 1.599s passed
testSubstInSubstTerm() 1.634s passed
testSubstWary() 1.633s passed
testWary0() 1.582s passed
testWary1() 1.640s passed
testWary2() 1.621s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

64305      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64305      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64306      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64306      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65987      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65988      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65988      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65989      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71288      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71288      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71288      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71288      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72936      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72936      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72937      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72937      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78341      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78341      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78342      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
78343      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79998      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79998      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79999      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79999      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85348      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85348      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85349      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
85349      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86942      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86942      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86943      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
86943      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92299      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92299      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92299      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93876      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93876      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93877      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
93877      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99202      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99202      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99202      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99202      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
106096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
106097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
107712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
114498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
119753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
121402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
128478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
128479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
139041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
139041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
139041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
139041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
140672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
145886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
145887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
145888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
145888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
147514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
147514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
147515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
147515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0