TestClashFreeSubst

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

tests
0

failures
2

ignored
18.212s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.511s passed
testClashInSubstTerm() 1.527s passed
testMultiShareBound() 1.545s passed
testMultiSubst() 1.513s passed
testShare() 1.501s passed
testShareWary() 1.463s passed
testSubst() 1.531s passed
testSubstInSubstTerm() 1.711s passed
testSubstWary() 1.453s passed
testWary0() 1.477s passed
testWary1() 1.516s passed
testWary2() 1.464s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

64241      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64241      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64241      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64241      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65770      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65770      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65770      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70806      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70821      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70821      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70821      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77239      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77239      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77239      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77239      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78739      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78739      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78739      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78739      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83747      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83747      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83747      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83747      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85279      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85279      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85279      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90209      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90209      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90209      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90209      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91673      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91673      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91673      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91673      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96622      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96622      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96622      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96622      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98132      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98132      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98132      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98132      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
102929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
133244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
133244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
133244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
133244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
134952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
134952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
134952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
134952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
139895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
139895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
139895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
139895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
141345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
141345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
141345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
141345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0