TestClashFreeSubst

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

tests
0

failures
2

ignored
14.991s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.279s passed
testClashInSubstTerm() 1.289s passed
testMultiShareBound() 1.185s passed
testMultiSubst() 1.396s passed
testShare() 1.310s passed
testShareWary() 1.251s passed
testSubst() 1.171s passed
testSubstInSubstTerm() 1.262s passed
testSubstWary() 1.292s passed
testWary0() 1.195s passed
testWary1() 1.226s passed
testWary2() 1.135s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

47298      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47298      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47298      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48471      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48471      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48471      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48471      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52521      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52521      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53803      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
53803      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53803      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53803      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57900      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57900      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57900      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57900      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59197      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59197      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59197      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59197      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63215      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63215      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63215      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63215      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64372      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64372      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64372      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64388      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
68265      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68265      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68265      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68265      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69453      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69453      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69453      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69453      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73377      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73377      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73377      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73377      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74597      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74597      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74597      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74597      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78585      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78585      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78585      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78585      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79711      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79711      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79727      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
79727      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83573      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83573      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83573      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83573      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84854      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84854      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84854      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84854      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88887      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88887      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88887      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88887      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90123      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90123      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90123      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90123      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94344      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94344      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94344      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94344      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95737      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95737      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95737      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109809     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0