TestClashFreeSubst

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

tests
0

failures
2

ignored
14.613s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.234s passed
testClashInSubstTerm() 1.214s passed
testMultiShareBound() 1.297s passed
testMultiSubst() 1.199s passed
testShare() 1.218s passed
testShareWary() 1.207s passed
testSubst() 1.207s passed
testSubstInSubstTerm() 1.211s passed
testSubstWary() 1.194s passed
testWary0() 1.221s passed
testWary1() 1.209s passed
testWary2() 1.202s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

51922      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51922      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51922      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51937      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53219      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53219      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53219      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53219      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57300      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57300      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57300      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57300      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58519      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58519      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58519      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62568      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62568      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62584      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
62584      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63789      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63789      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63789      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63789      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67791      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67791      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67791      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67791      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68994      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68994      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68994      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68994      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72966      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72966      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72966      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72966      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74171      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74171      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74171      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74171      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78158      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78158      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78158      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78158      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79361      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79361      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79361      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79361      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83333      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83333      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83333      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84537      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84537      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84537      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84537      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88492      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88492      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88492      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88492      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89696      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89696      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89696      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89696      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93683      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93683      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93683      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94871      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94871      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94871      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94871      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98825      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98825      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98825      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98825      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
107959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0