TestClashFreeSubst

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

tests
0

failures
2

ignored
13.007s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.156s passed
testClashInSubstTerm() 1.048s passed
testMultiShareBound() 1.147s passed
testMultiSubst() 1.078s passed
testShare() 1.091s passed
testShareWary() 1.124s passed
testSubst() 1.043s passed
testSubstInSubstTerm() 1.060s passed
testSubstWary() 1.090s passed
testWary0() 1.040s passed
testWary1() 1.049s passed
testWary2() 1.081s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

43002      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43002      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43003      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43003      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44144      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
44144      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44144      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44144      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47846      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47847      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47848      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47848      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48992      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48993      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48993      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48994      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52611      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52612      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52613      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52613      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53698      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
53698      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53699      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53700      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
57282      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57282      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57282      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57282      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58322      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58322      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58323      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
58323      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61785      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61785      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61785      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61785      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62822      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62822      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62822      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62823      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
66351      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66355      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66357      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
66358      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67393      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67394      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67394      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70861      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70861      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70862      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71935      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71936      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71936      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75473      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75474      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75474      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76517      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
76518      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80083      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
80084      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80084      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80085      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81202      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81203      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81204      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
81204      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84760      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
84760      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84761      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
84761      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85832      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85833      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85834      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85834      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92882      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92882      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92883      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
92883      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93938      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93939      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93940      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
93940      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97473      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97474      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
97474      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98560      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
98561      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98561      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98561      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0