TestClashFreeSubst

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

tests
0

failures
2

ignored
12.654s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.092s passed
testClashInSubstTerm() 1.043s passed
testMultiShareBound() 1.106s passed
testMultiSubst() 1.022s passed
testShare() 1.038s passed
testShareWary() 1.062s passed
testSubst() 1.046s passed
testSubstInSubstTerm() 1.065s passed
testSubstWary() 1.017s passed
testWary0() 1.058s passed
testWary1() 1.046s passed
testWary2() 1.059s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

46026      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46026      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46026      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46042      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
47120      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47120      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47136      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
47136      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50622      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50622      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
50638      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51717      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51717      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51717      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55204      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55204      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55204      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55204      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56235      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56235      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56235      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56235      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59629      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59645      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59645      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60667      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64075      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64075      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64075      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64075      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65122      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65122      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65122      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65122      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68547      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68547      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68547      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68547      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69579      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69579      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69579      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69595      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
73018      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73018      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73018      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73018      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74066      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74066      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74066      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74066      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77427      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77427      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77427      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77427      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78458      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78458      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78458      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78458      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81836      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81836      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81836      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81836      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82867      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82867      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86214      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86214      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86214      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86214      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87215      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87215      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87215      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87215      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93939      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93939      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93939      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93939      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95002      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95002      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95002      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95002      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98318      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98318      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98318      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98318      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99318      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99318      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99318      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99318      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0