TestClashFreeSubst

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

tests
0

failures
2

ignored
12.746s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.078s passed
testClashInSubstTerm() 1.057s passed
testMultiShareBound() 1.124s passed
testMultiSubst() 1.021s passed
testShare() 1.073s passed
testShareWary() 1.050s passed
testSubst() 1.038s passed
testSubstInSubstTerm() 1.066s passed
testSubstWary() 1.056s passed
testWary0() 1.061s passed
testWary1() 1.072s passed
testWary2() 1.050s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

43596      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43596      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43596      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43597      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44714      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44715      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44716      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44716      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48350      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48350      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48353      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
48353      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49412      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49413      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49413      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49422      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52906      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52907      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52907      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52907      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53977      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
53977      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57482      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57483      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57483      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57483      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58518      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58518      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61989      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61990      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61990      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61991      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63043      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63044      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63045      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66455      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66455      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66455      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66455      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67524      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67524      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67525      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
70929      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70929      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70929      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70930      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
71976      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71976      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71976      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75436      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75437      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75437      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75437      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76488      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76488      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 0 ms 
76489      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79895      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79895      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79896      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
79896      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80940      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80941      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80942      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
80942      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84382      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84383      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84383      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84383      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85399      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85400      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85401      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
85401      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92234      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92234      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92234      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92234      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93285      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93285      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93285      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96757      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96757      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96757      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96757      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97805      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97805      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97811      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 6 ms 
97811      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0