TestClashFreeSubst

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

tests
0

failures
2

ignored
12.225s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.029s passed
testClashInSubstTerm() 0.988s passed
testMultiShareBound() 1.068s passed
testMultiSubst() 0.979s passed
testShare() 1.098s passed
testShareWary() 1.031s passed
testSubst() 0.989s passed
testSubstInSubstTerm() 0.995s passed
testSubstWary() 0.999s passed
testWary0() 1.027s passed
testWary1() 1.033s passed
testWary2() 0.988s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

40781      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40781      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 0 ms 
40781      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41838      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41838      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41838      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45229      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46245      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46245      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46245      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46245      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49640      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49640      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49640      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49656      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50730      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50730      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50730      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50730      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54056      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54056      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54056      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54056      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55033      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55033      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55033      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55033      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58378      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58378      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58378      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58378      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59399      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59399      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59399      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59399      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62676      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62676      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62676      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62676      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63696      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63696      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63696      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63696      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66865      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66865      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66865      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66865      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67850      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67850      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71139      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71139      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71139      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72129      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72129      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72129      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75402      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75402      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75402      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75402      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76419      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76419      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76419      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79618      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79618      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79618      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79618      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80592      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80593      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80593      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80593      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86841      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86841      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86856      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
86856      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87828      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87828      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87828      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87828      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91011      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91011      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91011      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91011      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92001      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92001      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92001      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92001      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0