TestClashFreeSubst

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

tests
0

failures
2

ignored
9.771s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.830s passed
testClashInSubstTerm() 0.798s passed
testMultiShareBound() 0.891s passed
testMultiSubst() 0.796s passed
testShare() 0.818s passed
testShareWary() 0.797s passed
testSubst() 0.812s passed
testSubstInSubstTerm() 0.804s passed
testSubstWary() 0.816s passed
testWary0() 0.803s passed
testWary1() 0.808s passed
testWary2() 0.798s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

34093      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34093      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34093      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34093      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
34971      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34971      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34971      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34986      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37751      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37751      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37751      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37751      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38571      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38571      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38571      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38571      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41249      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41249      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41249      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41249      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42069      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42069      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42069      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42069      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44696      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44696      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44696      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44696      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45509      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45509      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45509      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45509      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48127      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48127      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48127      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48127      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48927      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48927      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48927      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48927      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51529      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51529      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51529      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51529      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52336      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52336      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52336      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52336      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54929      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54929      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54929      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54929      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55734      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55734      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55734      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55734      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58341      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58341      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58341      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58341      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59129      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59129      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59129      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61748      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61748      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61748      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61748      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62530      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62530      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62530      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62530      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65207      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65207      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65207      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65207      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66004      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66004      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71191      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71191      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71207      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
71207      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71993      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71993      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71993      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71993      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74736      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74736      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74736      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74736      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75533      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75533      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75533      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0