TestClashFreeSubst

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

tests
0

failures
2

ignored
12.959s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.107s passed
testClashInSubstTerm() 1.066s passed
testMultiShareBound() 1.177s passed
testMultiSubst() 1.066s passed
testShare() 1.106s passed
testShareWary() 1.054s passed
testSubst() 1.068s passed
testSubstInSubstTerm() 1.068s passed
testSubstWary() 1.046s passed
testWary0() 1.058s passed
testWary1() 1.083s passed
testWary2() 1.060s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

48318      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48318      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48318      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48318      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49481      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49481      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49481      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49496      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53194      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53194      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53194      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53194      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54299      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54299      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54299      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57859      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57859      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57859      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57859      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58969      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58970      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58970      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58971      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
62527      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62527      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62527      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62527      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63601      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63602      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63602      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63602      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67107      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67107      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67107      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67107      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68160      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68160      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68160      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68160      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71737      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71737      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71737      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72815      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72815      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76197      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76197      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76197      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76197      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77253      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77253      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80724      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80724      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80724      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80724      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81781      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81781      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81781      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81781      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85259      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85259      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85259      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85259      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86294      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86294      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86294      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86310      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
89844      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89844      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89844      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89844      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90885      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90885      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90885      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90885      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97785      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97800      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97800      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98852      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
102314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
103353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0