TestClashFreeSubst

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

tests
0

failures
2

ignored
15.558s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.316s passed
testClashInSubstTerm() 1.388s passed
testMultiShareBound() 1.378s passed
testMultiSubst() 1.228s passed
testShare() 1.147s passed
testShareWary() 1.274s passed
testSubst() 1.490s passed
testSubstInSubstTerm() 1.182s passed
testSubstWary() 1.260s passed
testWary0() 1.163s passed
testWary1() 1.414s passed
testWary2() 1.317s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

53665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53665      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53665      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53665      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55021      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55021      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55021      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55021      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59925      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59940      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
59940      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61239      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61239      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61239      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61239      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65227      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65227      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65227      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65227      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66368      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66368      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66368      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66368      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70403      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70403      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70403      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71888      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71888      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71888      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71888      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76063      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76063      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76063      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76063      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77219      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77219      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77219      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77219      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81143      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81143      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81143      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82551      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82551      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82551      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82551      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86536      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86536      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86536      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87835      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87835      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87835      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87835      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91915      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91915      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91915      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91915      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93291      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93291      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93291      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97278      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97278      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97278      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98513      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98513      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98513      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
112613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
113785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0