TestClashFreeSubst

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

tests
0

failures
2

ignored
12.610s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.027s passed
testClashInSubstTerm() 1.002s passed
testMultiShareBound() 1.452s passed
testMultiSubst() 1.012s passed
testShare() 1.052s passed
testShareWary() 0.973s passed
testSubst() 1.047s passed
testSubstInSubstTerm() 0.995s passed
testSubstWary() 0.989s passed
testWary0() 1.032s passed
testWary1() 1.032s passed
testWary2() 0.997s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42839      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42855      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44285      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47836      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47836      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48853      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48853      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52350      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52350      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53394      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53394      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61241      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61241      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62250      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62266      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65690      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65690      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66715      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66715      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70953      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70953      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74281      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74296      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75278      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79579      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79579      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82809      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82809      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83825      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83825      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90409      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90409      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91399      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91399      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94652      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95627      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95639      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 12 ms