TestClashFreeSubst

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

tests
0

failures
2

ignored
18.738s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.579s passed
testClashInSubstTerm() 1.557s passed
testMultiShareBound() 1.616s passed
testMultiSubst() 1.554s passed
testShare() 1.597s passed
testShareWary() 1.556s passed
testSubst() 1.565s passed
testSubstInSubstTerm() 1.542s passed
testSubstWary() 1.533s passed
testWary0() 1.548s passed
testWary1() 1.540s passed
testWary2() 1.551s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

62556      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62556      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62557      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62557      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64164      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64165      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64166      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69474      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69474      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69474      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69474      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71045      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
76276      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76276      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76276      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76277      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77864      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77865      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77870      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 5 ms 
77870      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82969      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82969      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82970      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
82970      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84530      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84531      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84531      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84531      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89601      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89601      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89601      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89603      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
91144      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91144      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91144      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91144      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96260      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96260      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96260      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96260      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97797      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
97797      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97797      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97797      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
109603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
116246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
117799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
124442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
134619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
134620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
134620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
134620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
136158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
136159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
136159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
136159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
141180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
141180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
141180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
141180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
142710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
142710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
142711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
142711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0