TestClashFreeSubst

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

tests
0

failures
2

ignored
10.426s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.986s passed
testClashInSubstTerm() 0.838s passed
testMultiShareBound() 0.914s passed
testMultiSubst() 0.849s passed
testShare() 0.855s passed
testShareWary() 0.851s passed
testSubst() 0.887s passed
testSubstInSubstTerm() 0.864s passed
testSubstWary() 0.838s passed
testWary0() 0.833s passed
testWary1() 0.867s passed
testWary2() 0.843s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37161      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37161      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37161      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37161      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38067      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38067      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38067      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38067      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40897      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40897      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40897      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41882      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41882      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41882      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41882      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44774      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44774      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44774      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44774      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45618      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45618      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45618      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45618      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48417      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48417      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48417      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48417      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52106      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52106      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52106      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52106      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52934      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52934      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55718      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55718      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55718      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56578      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56578      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56578      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56578      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59313      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59313      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59313      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59313      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60142      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60142      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60142      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60142      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62909      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62909      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62909      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62909      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63737      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63737      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63737      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66474      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66474      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66489      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
66489      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67318      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67318      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67318      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67318      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70070      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70070      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70070      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70070      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70898      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70898      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
70914      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76354      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76354      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76354      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76370      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77214      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77214      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77214      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77214      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79959      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79965      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79965      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79965      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80794      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80794      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80794      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80794      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0