TestClashFreeSubst

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

tests
0

failures
2

ignored
19.431s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.631s passed
testClashInSubstTerm() 1.684s passed
testMultiShareBound() 1.679s passed
testMultiSubst() 1.560s passed
testShare() 1.809s passed
testShareWary() 1.552s passed
testSubst() 1.578s passed
testSubstInSubstTerm() 1.684s passed
testSubstWary() 1.536s passed
testWary0() 1.544s passed
testWary1() 1.577s passed
testWary2() 1.597s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

68197      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68197      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68197      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68197      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75093      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75093      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75093      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75093      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76713      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76713      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76713      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76713      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82095      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82095      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82095      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82095      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83889      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83889      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83889      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83889      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89348      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89348      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89348      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89348      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90917      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90917      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90917      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90917      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95991      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95991      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95991      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95991      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97521      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97521      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
102823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
130606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
132159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
132159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
132159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
132159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
142442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
142442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
142442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
142442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
144119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
144119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
144119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
144119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
149228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
149228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
149228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
149228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
150761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
150761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
150762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
150762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0