TestClashFreeSubst

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

tests
0

failures
2

ignored
16.209s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.391s passed
testClashInSubstTerm() 1.333s passed
testMultiShareBound() 1.442s passed
testMultiSubst() 1.323s passed
testShare() 1.349s passed
testShareWary() 1.327s passed
testSubst() 1.342s passed
testSubstInSubstTerm() 1.344s passed
testSubstWary() 1.339s passed
testWary0() 1.347s passed
testWary1() 1.343s passed
testWary2() 1.329s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

55268      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55268      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55268      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55268      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56701      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56701      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56701      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56701      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61250      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61250      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61250      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61250      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62623      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62623      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62623      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62623      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67076      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67092      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67092      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67092      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68424      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68424      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68424      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68424      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72925      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72925      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72925      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74263      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74263      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74263      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74263      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78737      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78737      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78737      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80075      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80075      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80075      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80080      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84508      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84508      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84508      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84508      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85843      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85843      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85843      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85843      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90225      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90225      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90225      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90225      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91547      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91547      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91547      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91547      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95967      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95967      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95967      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95967      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97279      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97279      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97295      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
97295      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0