TestClashFreeSubst

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

tests
0

failures
2

ignored
14.126s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.255s passed
testClashInSubstTerm() 1.125s passed
testMultiShareBound() 1.369s passed
testMultiSubst() 1.126s passed
testShare() 1.219s passed
testShareWary() 1.098s passed
testSubst() 1.170s passed
testSubstInSubstTerm() 1.184s passed
testSubstWary() 1.134s passed
testWary0() 1.150s passed
testWary1() 1.153s passed
testWary2() 1.142s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

48214      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48214      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48214      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48214      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49576      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49576      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49576      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49576      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53612      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53612      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53612      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53612      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54853      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54853      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54853      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54853      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58733      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58733      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58733      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58765      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59940      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59940      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59940      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59940      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63858      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63858      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63858      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65026      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65026      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65026      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65026      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68761      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68761      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68761      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68761      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69914      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69914      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69914      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73809      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73809      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73809      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73809      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74957      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74957      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78721      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78721      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78721      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78721      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79862      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79862      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79862      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79862      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83538      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83538      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83538      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83538      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84649      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84649      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84649      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84649      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88250      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88250      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88250      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88250      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89341      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89341      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89341      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89341      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92961      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92961      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92961      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92961      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94076      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94076      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94076      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94076      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0