TestClashFreeSubst

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

tests
0

failures
2

ignored
12.603s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.061s passed
testClashInSubstTerm() 1.055s passed
testMultiShareBound() 1.097s passed
testMultiSubst() 1.027s passed
testShare() 1.032s passed
testShareWary() 1.014s passed
testSubst() 1.081s passed
testSubstInSubstTerm() 1.008s passed
testSubstWary() 1.012s passed
testWary0() 1.084s passed
testWary1() 1.061s passed
testWary2() 1.071s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44921      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44921      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44921      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44921      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46015      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46015      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46015      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46015      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49516      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49516      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49516      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49516      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50563      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50563      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50563      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50563      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54018      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54018      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54018      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54018      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55034      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55034      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55034      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55034      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58475      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58475      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58475      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58475      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59554      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59554      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59554      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59554      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62930      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62930      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62946      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
62946      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64010      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64010      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64010      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64010      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67386      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67386      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67386      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68450      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68450      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68450      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68450      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71795      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71795      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71795      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72859      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72859      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72859      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72859      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76237      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76237      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76237      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76237      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77283      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77283      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77283      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77283      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80723      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80723      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80723      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80723      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81724      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81724      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81724      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81724      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85069      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85069      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85069      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85069      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86085      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86085      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86085      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86085      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92869      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92869      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92869      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93870      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93870      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93870      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93870      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97262      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97262      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97262      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98263      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98263      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98263      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98263      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0