TestClashFreeSubst

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

tests
0

failures
2

ignored
20.164s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.684s passed
testClashInSubstTerm() 1.617s passed
testMultiShareBound() 1.800s passed
testMultiSubst() 1.628s passed
testShare() 1.685s passed
testShareWary() 1.648s passed
testSubst() 1.705s passed
testSubstInSubstTerm() 1.626s passed
testSubstWary() 1.685s passed
testWary0() 1.669s passed
testWary1() 1.686s passed
testWary2() 1.731s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

64095      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64096      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64097      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64098      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65885      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
65885      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
65887      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71679      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71679      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71679      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71680      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73354      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
73355      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73355      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73356      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79069      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
79069      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79070      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
79070      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80747      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80748      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80749      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
80749      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86331      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86331      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86331      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86332      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88032      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88033      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88033      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93633      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93633      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93633      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93633      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95296      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95297      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95297      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95298      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
100816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
102498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
107953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
109679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
115181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
116793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
122263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
123907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
129279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
129279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
129279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
129280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
130902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
130903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
130904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
141622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
141622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
141623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
141623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
143242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
143243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
143243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
143244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
148737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
148737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
148737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
148737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
150417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
150417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
150418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
150418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0