TestClashFreeSubst

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

tests
0

failures
2

ignored
12.651s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.113s passed
testClashInSubstTerm() 1.056s passed
testMultiShareBound() 1.169s passed
testMultiSubst() 0.993s passed
testShare() 1.168s passed
testShareWary() 1.052s passed
testSubst() 1.043s passed
testSubstInSubstTerm() 0.979s passed
testSubstWary() 1.049s passed
testWary0() 0.988s passed
testWary1() 1.024s passed
testWary2() 1.017s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

53161      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53161      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53161      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53161      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54318      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54318      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54318      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54318      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58008      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58008      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58008      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58008      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59102      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59102      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59102      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59102      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62698      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62698      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62698      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62698      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63855      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63855      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63855      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63855      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67248      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67248      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67248      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67248      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68279      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68279      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68279      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71718      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71718      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71718      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72688      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72704      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72704      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72704      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75925      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75925      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75925      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76941      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76941      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80130      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80130      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80130      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80130      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81146      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81146      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81146      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81146      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84444      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84444      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84444      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84444      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85477      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85477      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85492      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
85492      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88776      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88776      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89823      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89823      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89823      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93169      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93169      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93169      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93169      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94154      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94154      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94154      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94154      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0