TestClashFreeSubst

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

tests
0

failures
2

ignored
12.636s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.076s passed
testClashInSubstTerm() 1.036s passed
testMultiShareBound() 1.114s passed
testMultiSubst() 1.033s passed
testShare() 1.084s passed
testShareWary() 0.999s passed
testSubst() 1.058s passed
testSubstInSubstTerm() 1.053s passed
testSubstWary() 1.082s passed
testWary0() 1.031s passed
testWary1() 1.029s passed
testWary2() 1.041s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

48683      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48683      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48683      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48683      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49784      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49784      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49784      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49784      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53419      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53419      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53419      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54487      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54487      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54487      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58034      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58034      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58034      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58034      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59108      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59108      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59108      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59108      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62598      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62598      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62598      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63650      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63650      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63650      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63650      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67046      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67046      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67046      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68067      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68067      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68067      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68067      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71398      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71398      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71398      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71398      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72420      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72420      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72420      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72420      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75706      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75706      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75706      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75706      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76746      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76746      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76746      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80089      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80089      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80089      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80089      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81115      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81115      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81115      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81115      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84431      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84447      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84447      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84447      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85425      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85425      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85425      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85425      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88867      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88867      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89899      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89899      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89899      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89899      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96687      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96687      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96687      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96687      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97719      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97719      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97735      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
97735      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0