TestClashFreeSubst

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

tests
0

failures
2

ignored
12.661s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.063s passed
testClashInSubstTerm() 1.047s passed
testMultiShareBound() 1.107s passed
testMultiSubst() 1.040s passed
testShare() 1.098s passed
testShareWary() 1.037s passed
testSubst() 1.016s passed
testSubstInSubstTerm() 1.050s passed
testSubstWary() 1.070s passed
testWary0() 1.071s passed
testWary1() 1.017s passed
testWary2() 1.045s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42172      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42172      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42172      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42172      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43266      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43266      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43266      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43266      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46706      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46706      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46706      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46706      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47767      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47767      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47767      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47767      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51277      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51277      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51277      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52360      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52360      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55775      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55775      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55775      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55775      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56791      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56791      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56791      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56791      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60081      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60081      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60097      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
60097      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61147      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61147      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61147      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64510      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64510      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64510      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64510      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65523      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65523      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65523      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65523      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68957      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68957      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69995      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69995      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69995      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69995      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73298      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73298      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73298      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74342      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74342      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74342      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74342      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77711      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77711      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78748      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78748      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78748      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78748      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82097      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82097      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82097      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82097      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83134      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83134      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83134      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83134      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89884      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89884      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89899      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
89899      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90933      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90933      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90933      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90933      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94218      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94218      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94218      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94234      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
95286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95286      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95286      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95286      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0