TestClashFreeSubst

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

tests
0

failures
2

ignored
11.747s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.069s passed
testClashInSubstTerm() 0.937s passed
testMultiShareBound() 1.048s passed
testMultiSubst() 0.969s passed
testShare() 1.015s passed
testShareWary() 0.905s passed
testSubst() 0.878s passed
testSubstInSubstTerm() 0.997s passed
testSubstWary() 0.920s passed
testWary0() 0.933s passed
testWary1() 1.024s passed
testWary2() 1.052s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

55598      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55598      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55598      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56636      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56636      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59789      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59789      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59789      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59789      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60852      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64279      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64279      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64279      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65285      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65285      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65285      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68380      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68380      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68380      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68380      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69255      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69255      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69255      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69255      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72459      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72459      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72459      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73393      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73393      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73393      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73393      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76457      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76457      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76457      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76457      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77473      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77473      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77473      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80531      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80531      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80531      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81578      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81578      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81578      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81578      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84873      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84873      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84873      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84873      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85799      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85799      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85799      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85799      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88705      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88705      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88705      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88705      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89606      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89606      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89606      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89606      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92970      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92970      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92970      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92970      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93929      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93929      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93929      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93929      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99830      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99830      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99830      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99830      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0