TestClashFreeSubst

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

tests
0

failures
2

ignored
10.084s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.841s passed
testClashInSubstTerm() 0.816s passed
testMultiShareBound() 0.893s passed
testMultiSubst() 0.760s passed
testShare() 0.784s passed
testShareWary() 0.865s passed
testSubst() 0.807s passed
testSubstInSubstTerm() 0.818s passed
testSubstWary() 0.867s passed
testWary0() 0.799s passed
testWary1() 0.862s passed
testWary2() 0.971s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

33448      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33449      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
33449      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33449      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
34311      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34335      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34336      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
34336      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37108      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37108      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37108      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37108      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37944      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37944      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37944      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37944      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40715      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40716      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40716      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40717      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41494      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41495      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41495      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41495      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44122      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44122      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44127      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 5 ms 
44127      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44924      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44925      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44926      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44926      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47718      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47718      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47719      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47720      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48512      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48512      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48512      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51150      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51151      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51151      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51152      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52008      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52009      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52009      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52010      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54964      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54965      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54965      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54966      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55928      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55928      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55929      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55930      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
59021      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59021      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59021      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59021      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59835      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59835      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59835      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59835      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62515      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62515      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62516      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62516      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63371      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63372      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63373      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63373      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66052      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66052      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66052      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66052      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66810      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66810      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66810      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66810      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72135      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72136      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72136      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72137      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
72948      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
72948      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72949      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72949      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75625      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75625      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75626      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75626      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
76487      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76488      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
76489      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1