TestClashFreeSubst

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

tests
0

failures
2

ignored
11.509s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.986s passed
testClashInSubstTerm() 0.924s passed
testMultiShareBound() 1.028s passed
testMultiSubst() 0.956s passed
testShare() 0.999s passed
testShareWary() 0.920s passed
testSubst() 0.977s passed
testSubstInSubstTerm() 0.921s passed
testSubstWary() 0.911s passed
testWary0() 0.942s passed
testWary1() 0.964s passed
testWary2() 0.981s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37894      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37895      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
37895      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38916      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38916      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38917      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
38917      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42116      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42116      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42118      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
42118      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43091      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
43091      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43091      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43091      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46227      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46227      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
46230      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
47222      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47223      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47224      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50476      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50476      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50476      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50476      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
51451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54584      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54584      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54584      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55523      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55523      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55523      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55523      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58627      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58627      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58627      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58627      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59588      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59588      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59588      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59588      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62802      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62803      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62804      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62805      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63773      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63774      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
66850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66850      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66850      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67766      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67767      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67767      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67768      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70842      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70842      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70842      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70842      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71760      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71760      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71760      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71760      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74837      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74837      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74837      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74837      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75790      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75790      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75790      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75790      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81976      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81976      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82895      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82895      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82895      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82895      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85958      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
85958      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85958      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85958      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86865      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0