TestClashFreeSubst

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

tests
0

failures
2

ignored
19.892s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.689s passed
testClashInSubstTerm() 1.668s passed
testMultiShareBound() 1.684s passed
testMultiSubst() 1.644s passed
testShare() 1.651s passed
testShareWary() 1.603s passed
testSubst() 1.677s passed
testSubstInSubstTerm() 1.648s passed
testSubstWary() 1.631s passed
testWary0() 1.722s passed
testWary1() 1.645s passed
testWary2() 1.630s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

68437      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68437      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68437      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68437      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70114      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70114      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70114      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70114      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75707      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75707      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75707      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75707      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77385      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77385      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82857      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82857      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82857      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82857      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84499      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84499      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84499      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84499      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90272      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90272      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90272      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90272      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91937      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91937      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91937      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91937      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97595      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97595      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97595      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97595      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99316      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99316      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99316      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99316      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
127320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
132605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
132605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
132605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
132605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
134229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
134229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
134229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
134229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
144594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
144594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
144594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
144594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
146234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
146234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
146234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
146234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
151470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
151470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
151470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
151470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
153099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
153099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
153099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
153099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0