TestClashFreeSubst

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

tests
0

failures
2

ignored
11.195s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.975s passed
testClashInSubstTerm() 0.874s passed
testMultiShareBound() 1.035s passed
testMultiSubst() 0.945s passed
testShare() 0.926s passed
testShareWary() 0.924s passed
testSubst() 0.954s passed
testSubstInSubstTerm() 0.908s passed
testSubstWary() 0.943s passed
testWary0() 0.908s passed
testWary1() 0.904s passed
testWary2() 0.899s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38327      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38327      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38327      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38327      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39360      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39360      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42442      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42442      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42442      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42442      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43414      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43414      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43414      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46315      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46330      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46330      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46330      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47233      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47233      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47233      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50154      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50154      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50154      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50154      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51102      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51102      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51102      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51102      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53959      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53959      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53959      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53959      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54856      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54856      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54856      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54856      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57724      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57724      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57724      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57724      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58618      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58618      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58618      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58633      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61496      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61496      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61496      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61496      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62395      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62395      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62395      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62395      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65229      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66093      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66093      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66093      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66093      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68940      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68940      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68940      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68940      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69855      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69855      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69855      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69855      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72785      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72785      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72785      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72785      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73719      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73719      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73719      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73719      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79494      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79494      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79494      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79494      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80401      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80401      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80401      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80401      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83368      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83368      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83368      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83384      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84314      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84314      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84314      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84314      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0