TestClashFreeSubst

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

tests
0

failures
2

ignored
10.281s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.878s passed
testClashInSubstTerm() 0.833s passed
testMultiShareBound() 0.866s passed
testMultiSubst() 0.838s passed
testShare() 0.849s passed
testShareWary() 0.846s passed
testSubst() 0.836s passed
testSubstInSubstTerm() 0.878s passed
testSubstWary() 0.940s passed
testWary0() 0.843s passed
testWary1() 0.829s passed
testWary2() 0.845s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37287      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37287      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37287      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37287      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38152      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38152      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38152      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38152      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40926      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40926      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40926      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40926      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41798      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41798      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41798      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41798      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44537      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44537      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44537      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44537      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45386      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45386      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45386      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48092      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48092      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48092      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48092      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48922      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48922      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48922      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48922      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51626      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51626      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51626      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51626      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52470      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52470      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52470      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52470      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55220      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55220      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56049      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56049      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56049      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56049      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58832      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58832      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58832      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58832      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59661      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59677      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59677      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59677      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62365      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62365      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62365      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62365      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63194      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63194      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63194      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63194      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65914      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65914      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65914      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66758      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66758      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66758      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66758      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69462      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69462      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69462      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69462      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70290      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70290      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70290      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70290      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76044      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76044      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76044      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76919      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76919      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76919      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80141      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80141      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80141      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80141      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81079      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81079      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81079      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81079      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0