TestClashFreeSubst

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

tests
0

failures
2

ignored
11.088s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.938s passed
testClashInSubstTerm() 0.923s passed
testMultiShareBound() 0.934s passed
testMultiSubst() 0.962s passed
testShare() 0.983s passed
testShareWary() 0.982s passed
testSubst() 0.927s passed
testSubstInSubstTerm() 0.822s passed
testSubstWary() 0.838s passed
testWary0() 0.913s passed
testWary1() 0.896s passed
testWary2() 0.969s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36102      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36102      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36102      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36102      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37033      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37033      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37033      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40297      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40298      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40299      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41230      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41231      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41231      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44225      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44225      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44225      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44225      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45203      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45204      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45205      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45205      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48290      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48291      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48292      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49213      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49214      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49215      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
49215      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52163      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52163      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52164      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52164      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53071      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53071      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53072      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53072      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56138      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56138      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56139      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56139      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57029      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57030      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57031      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
57031      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60044      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60046      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
60046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61008      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61008      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61008      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61009      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63982      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63982      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63983      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63983      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64895      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64895      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64895      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67930      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67931      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67931      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67931      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68910      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68910      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68911      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68911      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72193      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72193      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72194      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72194      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73152      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73152      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73152      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73152      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79065      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79066      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79069      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
79069      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79882      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79883      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79883      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79883      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82632      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82633      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82633      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82634      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83466      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
83466      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83467      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
83467      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0