TestClashFreeSubst

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

tests
0

failures
2

ignored
15.248s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.260s passed
testClashInSubstTerm() 1.260s passed
testMultiShareBound() 1.308s passed
testMultiSubst() 1.287s passed
testShare() 1.252s passed
testShareWary() 1.233s passed
testSubst() 1.376s passed
testSubstInSubstTerm() 1.267s passed
testSubstWary() 1.246s passed
testWary0() 1.252s passed
testWary1() 1.229s passed
testWary2() 1.277s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

52137      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52137      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52137      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52137      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53435      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53435      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53435      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53435      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57579      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57579      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57579      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57579      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58829      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58829      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58829      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58829      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62941      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62941      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64176      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64176      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64176      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64176      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68241      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68241      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68241      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68241      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69617      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69617      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69617      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69617      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73682      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73682      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73682      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73682      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74918      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74918      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74918      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74918      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78982      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78982      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78982      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78982      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80217      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80217      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80217      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80217      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84220      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84220      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85487      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85487      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85487      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89567      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89567      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89567      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89567      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90818      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90818      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90818      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90818      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94914      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94914      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94914      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96149      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96149      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96149      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96149      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
100213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0