TestClashFreeSubst

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

tests
0

failures
2

ignored
10.174s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.872s passed
testClashInSubstTerm() 0.841s passed
testMultiShareBound() 0.868s passed
testMultiSubst() 0.829s passed
testShare() 0.853s passed
testShareWary() 0.852s passed
testSubst() 0.851s passed
testSubstInSubstTerm() 0.841s passed
testSubstWary() 0.822s passed
testWary0() 0.857s passed
testWary1() 0.856s passed
testWary2() 0.832s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35521      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35521      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
36381      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36381      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36397      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
36397      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39210      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39210      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39210      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39210      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40070      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40070      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40070      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40070      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42807      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42822      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42822      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42822      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43667      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46434      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46434      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46434      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46434      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47278      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47278      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47278      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49982      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49982      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49982      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49982      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50828      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50828      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50828      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50828      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53532      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53532      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53548      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
53548      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54376      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54376      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
54392      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57096      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57096      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57096      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57096      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57924      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57924      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57924      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57924      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60645      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60645      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60645      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61473      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61473      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61473      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64194      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64194      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64194      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64194      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65022      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65022      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65022      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65022      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67712      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67712      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67712      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67712      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68539      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68539      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68539      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68539      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73886      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73886      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73886      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74715      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74715      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74715      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74715      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77419      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77419      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77419      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78232      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78232      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78232      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78232      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0