TestClashFreeSubst

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

tests
0

failures
2

ignored
13.153s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.099s passed
testClashInSubstTerm() 1.074s passed
testMultiShareBound() 1.088s passed
testMultiSubst() 1.482s passed
testShare() 1.038s passed
testShareWary() 1.078s passed
testSubst() 1.066s passed
testSubstInSubstTerm() 1.033s passed
testSubstWary() 1.070s passed
testWary0() 1.054s passed
testWary1() 1.055s passed
testWary2() 1.016s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44478      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44478      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44493      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
44493      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45556      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45556      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45556      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45572      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49106      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49106      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49106      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49106      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50184      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50184      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50184      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50184      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53686      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53686      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53686      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54718      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54718      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54718      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58126      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58126      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58126      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58126      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59189      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59189      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59189      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59189      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62488      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62488      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62488      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62488      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63535      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63535      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63535      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66802      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66802      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66802      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66802      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67850      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67850      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71056      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71056      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71056      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71056      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72056      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72056      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72056      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72056      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75323      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75323      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75339      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
75339      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76402      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76402      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76402      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76402      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79719      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79719      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79719      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79719      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80781      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80781      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80781      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80781      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84392      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84392      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85862      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85862      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85862      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85862      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93037      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93037      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93037      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94069      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94069      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94069      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94069      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97387      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97387      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97387      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97387      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98449      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98465      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98465      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98465      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0