TestClashFreeSubst

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

tests
0

failures
2

ignored
10.359s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.871s passed
testClashInSubstTerm() 0.835s passed
testMultiShareBound() 0.889s passed
testMultiSubst() 0.850s passed
testShare() 0.872s passed
testShareWary() 0.856s passed
testSubst() 0.865s passed
testSubstInSubstTerm() 0.859s passed
testSubstWary() 0.848s passed
testWary0() 0.849s passed
testWary1() 0.910s passed
testWary2() 0.854s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36931      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36931      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36931      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36931      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37823      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37823      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37823      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40730      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40730      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40730      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40730      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41596      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41596      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41596      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41596      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44382      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44382      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44382      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44382      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45245      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45245      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45245      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45245      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
48045      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48045      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48896      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48896      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48896      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48896      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51675      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51675      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51675      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51675      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52518      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52518      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55287      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55287      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55287      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55287      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56136      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56183      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56183      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56183      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58966      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58966      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58966      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58966      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59811      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59811      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59811      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59811      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62598      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62598      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62598      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63429      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63429      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66148      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66148      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66148      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66148      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66998      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66998      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66998      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66998      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69701      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69701      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69717      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
69717      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70549      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70549      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70549      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70549      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76001      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76001      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76001      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76001      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76852      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
76852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79614      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79614      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80460      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80460      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80460      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80460      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0