TestClashFreeSubst

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

tests
0

failures
2

ignored
18.940s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.625s passed
testClashInSubstTerm() 1.606s passed
testMultiShareBound() 1.679s passed
testMultiSubst() 1.544s passed
testShare() 1.573s passed
testShareWary() 1.540s passed
testSubst() 1.509s passed
testSubstInSubstTerm() 1.629s passed
testSubstWary() 1.607s passed
testWary0() 1.520s passed
testWary1() 1.465s passed
testWary2() 1.642s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

62379      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62380      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62380      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62380      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64052      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64052      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64053      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64053      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69438      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69438      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69439      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
69439      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71058      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71058      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71058      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71059      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76172      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76172      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76172      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76173      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77740      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77741      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77741      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77741      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82722      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82723      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82723      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82723      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84228      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84228      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
84229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89323      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89323      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89323      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89323      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90836      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90838      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90839      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95797      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95797      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95797      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95798      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97259      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97259      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97259      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97259      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
102579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
104214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
109670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
111269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
123099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
124640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
135043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
135043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
135044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
135044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
136666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
136667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
136667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
136668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
141752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
141752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
141752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
141752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
143355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
143355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
143356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
143356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0