TestClashFreeSubst

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

tests
0

failures
2

ignored
14.361s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.211s passed
testClashInSubstTerm() 1.180s passed
testMultiShareBound() 1.252s passed
testMultiSubst() 1.172s passed
testShare() 1.231s passed
testShareWary() 1.189s passed
testSubst() 1.233s passed
testSubstInSubstTerm() 1.188s passed
testSubstWary() 1.159s passed
testWary0() 1.220s passed
testWary1() 1.154s passed
testWary2() 1.171s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

50574      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50574      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50574      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50574      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51810      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51810      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51810      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51810      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55875      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55875      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55875      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57079      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57079      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57079      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57079      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61080      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61080      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61080      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61080      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62300      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62300      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62300      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62300      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66303      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67538      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67538      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67538      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67538      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71447      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71447      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71447      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71462      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72666      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72666      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72666      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72666      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76544      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76544      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76544      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76544      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77700      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77700      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77700      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 
82735      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82735      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82735      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82735      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86613      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86613      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86613      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86613      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87785      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87785      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87785      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87785      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91725      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91725      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92914      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92914      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92914      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96837      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96837      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96837      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96837      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97994      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97994      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97994      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97994      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0