TestClashFreeSubst

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

tests
0

failures
2

ignored
11.265s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.123s passed
testClashInSubstTerm() 1.043s passed
testMultiShareBound() 0.937s passed
testMultiSubst() 0.866s passed
testShare() 0.945s passed
testShareWary() 0.861s passed
testSubst() 0.876s passed
testSubstInSubstTerm() 0.834s passed
testSubstWary() 0.856s passed
testWary0() 1.075s passed
testWary1() 0.950s passed
testWary2() 0.899s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

71925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71925      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72848      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72848      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77055      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77055      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80183      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80183      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81121      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81121      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84325      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84325      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85193      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85193      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88094      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88094      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89157      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89157      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92115      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92115      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93054      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93054      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96024      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96024      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96901      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96901      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99745      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99745      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms