TestClashFreeSubst

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

tests
0

failures
2

ignored
12.188s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.051s passed
testClashInSubstTerm() 1.008s passed
testMultiShareBound() 1.018s passed
testMultiSubst() 0.997s passed
testShare() 1.064s passed
testShareWary() 0.999s passed
testSubst() 1.072s passed
testSubstInSubstTerm() 0.951s passed
testSubstWary() 0.977s passed
testWary0() 0.999s passed
testWary1() 1.025s passed
testWary2() 1.027s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

39767      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39767      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39768      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39768      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40780      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40780      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40781      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40781      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44223      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44224      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44225      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45266      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45267      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45268      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45268      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48669      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48674      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48675      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48679      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49724      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49725      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49726      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
49728      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52978      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52979      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52980      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52980      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
54044      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57657      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57658      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57658      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57658      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58650      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58651      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58651      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58651      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62016      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62016      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62017      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62017      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63038      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63038      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63038      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63039      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66346      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
66346      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66346      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66346      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67369      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67369      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67370      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67370      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70669      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70669      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70669      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70669      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71672      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71672      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71673      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71673      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75003      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75005      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75006      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75998      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75998      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75999      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75999      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79309      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79309      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79309      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80301      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80302      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
86792      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86792      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86792      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86792      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87739      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87740      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87740      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87740      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91074      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91075      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91075      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91076      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92046      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92047      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92047      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92048      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0