TestClashFreeSubst

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

tests
0

failures
2

ignored
16.602s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.353s passed
testClashInSubstTerm() 1.372s passed
testMultiShareBound() 1.420s passed
testMultiSubst() 1.346s passed
testShare() 1.456s passed
testShareWary() 1.359s passed
testSubst() 1.398s passed
testSubstInSubstTerm() 1.360s passed
testSubstWary() 1.372s passed
testWary0() 1.441s passed
testWary1() 1.409s passed
testWary2() 1.316s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

55735      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55735      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55735      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55735      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57142      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57142      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57142      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57142      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61739      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61739      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61739      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61739      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63083      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63083      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63083      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63083      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67524      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67524      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67524      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68978      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68978      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68978      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68978      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73545      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73545      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73545      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73545      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74936      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74936      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74936      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74936      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79518      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79518      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80945      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80945      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80945      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80945      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85522      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85522      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85522      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85522      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86929      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86929      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86929      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86929      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91307      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91307      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91307      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91307      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92620      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92620      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92620      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92620      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96935      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96935      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96935      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96935      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98296      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98296      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98296      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98296      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0