TestClashFreeSubst

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

tests
0

failures
2

ignored
20.654s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.987s passed
testClashInSubstTerm() 1.528s passed
testMultiShareBound() 2.113s passed
testMultiSubst() 1.620s passed
testShare() 1.892s passed
testShareWary() 1.589s passed
testSubst() 2.126s passed
testSubstInSubstTerm() 1.515s passed
testSubstWary() 1.545s passed
testWary0() 1.572s passed
testWary1() 1.583s passed
testWary2() 1.584s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

71315      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71315      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71315      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71315      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73410      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73410      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73410      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73410      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80886      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80886      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80886      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82856      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82872      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82872      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82872      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89078      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89078      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89078      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89078      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90954      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90954      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90970      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
90970      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97145      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97145      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97145      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97145      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99256      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99256      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99256      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
131668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
131668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
131668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
131668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
133249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
133249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
133249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
133249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
138376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
138376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
138376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
138376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
139986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
139986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
139986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
139986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
150274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
150274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
150274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
150274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
151775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
151791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
151791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
151791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
156841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
156841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
156841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
156841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
158373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
158373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
158389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
158389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0