TestClashFreeSubst

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

tests
0

failures
2

ignored
12.638s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.337s passed
testClashInSubstTerm() 0.992s passed
testMultiShareBound() 1.069s passed
testMultiSubst() 1.095s passed
testShare() 1.022s passed
testShareWary() 1.048s passed
testSubst() 0.991s passed
testSubstInSubstTerm() 1.045s passed
testSubstWary() 1.010s passed
testWary0() 1.018s passed
testWary1() 0.988s passed
testWary2() 1.023s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

43004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43004      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43004      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44055      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44055      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44055      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44070      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47482      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47482      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47482      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47482      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48813      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48813      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48813      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48813      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52317      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52333      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52333      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52333      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53341      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53341      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53341      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53341      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56685      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56685      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56685      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56685      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57661      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57661      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57661      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57661      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60925      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60925      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60925      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61937      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61937      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61937      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61937      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65314      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
65314      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65314      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65314      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66286      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66286      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66286      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69545      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69545      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69545      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69545      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70561      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70561      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70561      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70561      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75020      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75020      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75020      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75020      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76004      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76004      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79282      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79282      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79282      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79282      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80320      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80320      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80320      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80320      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83807      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83807      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83807      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83807      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84894      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84894      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84894      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91799      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91799      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
91815      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92848      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92848      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92848      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92848      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96115      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96115      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96115      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96115      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97116      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97116      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97116      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97116      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0