TestClashFreeSubst

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

tests
0

failures
2

ignored
11.700s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.980s passed
testClashInSubstTerm() 0.969s passed
testMultiShareBound() 1.003s passed
testMultiSubst() 0.961s passed
testShare() 1.000s passed
testShareWary() 0.963s passed
testSubst() 0.992s passed
testSubstInSubstTerm() 0.953s passed
testSubstWary() 0.951s passed
testWary0() 0.944s passed
testWary1() 0.963s passed
testWary2() 1.021s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38464      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38466      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39462      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39463      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42768      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42769      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43744      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
43745      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47037      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48034      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48034      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51255      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51255      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52245      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
52245      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55456      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55458      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56395      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56396      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59581      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59582      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60539      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60541      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63714      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63722      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64731      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64731      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67893      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67894      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68857      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68857      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71978      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71980      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72939      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72939      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76143      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77101      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77101      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83425      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83426      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84374      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84375      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
87503      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87503      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88452      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms