TestClashFreeSubst

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

tests
0

failures
2

ignored
13.052s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.068s passed
testClashInSubstTerm() 1.136s passed
testMultiShareBound() 1.184s passed
testMultiSubst() 1.052s passed
testShare() 1.044s passed
testShareWary() 1.109s passed
testSubst() 1.111s passed
testSubstInSubstTerm() 1.032s passed
testSubstWary() 1.033s passed
testWary0() 1.087s passed
testWary1() 1.108s passed
testWary2() 1.088s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

48401      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48401      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48401      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48401      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49574      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49574      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49574      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49574      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53201      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53201      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54264      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54264      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54264      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54264      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57875      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57875      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57875      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58923      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58923      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58923      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58923      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62440      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62440      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62440      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62440      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63535      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63535      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63535      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67146      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67146      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67146      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67146      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68209      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68209      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68209      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68209      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71758      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71758      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71758      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71758      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72867      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72867      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76307      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76323      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76323      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76323      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77401      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77401      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77401      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77401      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80872      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80872      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80872      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80872      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81998      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81998      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81998      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81998      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85531      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85531      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85531      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86625      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86625      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86625      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86625      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90195      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90195      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90195      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90195      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91242      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91242      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91242      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91242      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98029      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98029      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
98045      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99061      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99061      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99061      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99061      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0