TestClashFreeSubst

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

tests
0

failures
2

ignored
12.473s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.087s passed
testClashInSubstTerm() 0.991s passed
testMultiShareBound() 1.113s passed
testMultiSubst() 0.988s passed
testShare() 1.041s passed
testShareWary() 1.012s passed
testSubst() 1.019s passed
testSubstInSubstTerm() 1.056s passed
testSubstWary() 1.077s passed
testWary0() 1.004s passed
testWary1() 1.032s passed
testWary2() 1.053s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42656      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42658      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42659      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42659      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43762      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43763      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43763      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43763      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47235      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47236      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47243      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 7 ms 
47243      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48312      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48313      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48314      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48316      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
51778      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51778      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51778      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51778      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52817      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52817      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52818      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52818      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56184      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56184      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56184      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56184      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57200      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57201      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60540      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60540      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60540      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60540      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61541      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61541      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61541      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61541      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64865      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64865      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65888      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
65888      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65888      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65888      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69187      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69187      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69187      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69188      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70236      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70236      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70237      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
70237      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73627      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73627      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73628      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
73628      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74616      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74616      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74616      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74616      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77940      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77940      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
77941      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78946      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78947      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78948      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
78949      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
82307      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82309      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
82310      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83289      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
83290      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
83291      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89960      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89960      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89961      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
89961      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91010      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91010      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91011      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
91012      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94423      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94423      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94423      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94426      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 2 
95495      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95496      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95497      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
95497      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0