TestClashFreeSubst

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

tests
0

failures
2

ignored
20.513s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.744s passed
testClashInSubstTerm() 1.682s passed
testMultiShareBound() 1.754s passed
testMultiSubst() 1.706s passed
testShare() 1.720s passed
testShareWary() 1.668s passed
testSubst() 1.669s passed
testSubstInSubstTerm() 1.867s passed
testSubstWary() 1.646s passed
testWary0() 1.674s passed
testWary1() 1.700s passed
testWary2() 1.683s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

70852      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72596      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72596      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72596      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72596      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78263      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78263      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
78279      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 
79998      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79998      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85670      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85685      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85685      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85685      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87387      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87387      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87387      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87387      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92857      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92857      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92857      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92857      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94519      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94519      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94519      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
129017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
129017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
129017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
129017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
130687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
136192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
136192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
136208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
136208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
137899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
137899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
137899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
137899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
148783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
148783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
148783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
148783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
150629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
150629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
150629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
150629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
156169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
156169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
156169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
156169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
157812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
157812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
157812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
157812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0