TestClashFreeSubst

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

tests
0

failures
2

ignored
10.196s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.863s passed
testClashInSubstTerm() 0.834s passed
testMultiShareBound() 0.908s passed
testMultiSubst() 0.833s passed
testShare() 0.847s passed
testShareWary() 0.847s passed
testSubst() 0.841s passed
testSubstInSubstTerm() 0.839s passed
testSubstWary() 0.857s passed
testWary0() 0.845s passed
testWary1() 0.843s passed
testWary2() 0.838s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36258      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36258      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36258      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36258      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37166      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37166      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39991      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39991      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39991      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39991      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40845      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40845      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40845      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40845      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43633      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43633      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43634      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43634      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44472      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44472      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44472      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44472      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47205      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47205      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47205      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47205      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48045      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48045      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50819      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
50819      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50819      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50819      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51654      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51654      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51654      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51654      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54395      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54395      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54395      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54395      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55239      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55239      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55239      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55239      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57953      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57953      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57953      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57953      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58783      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58783      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58783      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58783      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61547      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61547      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61547      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61547      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62369      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62369      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62369      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62369      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65090      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65090      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65106      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
65106      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65937      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65937      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65937      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65937      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68700      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68700      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68700      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69529      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69529      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69529      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69529      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74967      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74967      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74967      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74967      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75795      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75795      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75795      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78692      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78692      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78692      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78692      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79541      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79542      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79542      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79542      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0