TestClashFreeSubst

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

tests
0

failures
2

ignored
16.720s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.424s passed
testClashInSubstTerm() 1.397s passed
testMultiShareBound() 1.514s passed
testMultiSubst() 1.347s passed
testShare() 1.423s passed
testShareWary() 1.390s passed
testSubst() 1.375s passed
testSubstInSubstTerm() 1.401s passed
testSubstWary() 1.341s passed
testWary0() 1.343s passed
testWary1() 1.327s passed
testWary2() 1.438s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

53912      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53912      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53913      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53913      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55414      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55415      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55416      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55418      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60195      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60195      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60195      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60196      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61615      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61615      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61615      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66266      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66266      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66266      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66266      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67687      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67687      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67687      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72309      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72309      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73681      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73681      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73681      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78260      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
78260      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78260      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78260      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79599      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79599      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79600      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
79600      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84119      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84119      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84119      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84119      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85442      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85442      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85442      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85442      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89974      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89974      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
89977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91406      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91406      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91407      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
95874      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95875      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95877      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
95878      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97265      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97266      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97267      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
97267      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101735     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
101736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
108986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
123913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
125251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0