TestClashFreeSubst

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

tests
0

failures
2

ignored
19.632s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.711s passed
testClashInSubstTerm() 1.618s passed
testMultiShareBound() 1.672s passed
testMultiSubst() 1.663s passed
testShare() 1.629s passed
testShareWary() 1.662s passed
testSubst() 1.605s passed
testSubstInSubstTerm() 1.586s passed
testSubstWary() 1.622s passed
testWary0() 1.602s passed
testWary1() 1.623s passed
testWary2() 1.639s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

66832      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66832      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66832      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66832      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68489      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68489      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68489      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68489      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73867      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73882      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
73882      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75571      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75571      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75571      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75571      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80933      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80933      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80933      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80933      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82559      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82559      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82559      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82559      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87906      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
87906      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87906      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87906      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89500      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89500      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89500      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89500      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94849      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94849      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94849      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94849      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96442      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96442      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96442      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96442      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
129387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
129387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
129387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
129387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
131029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
131029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
131029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
131045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
141550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
141550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
141550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
141550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
143129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
143129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
143129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
143129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
148241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
148241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
148241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
148241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
149836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
149836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
149851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
149851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0