TestClashFreeSubst

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

tests
0

failures
2

ignored
12.632s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.074s passed
testClashInSubstTerm() 1.036s passed
testMultiShareBound() 1.138s passed
testMultiSubst() 1.021s passed
testShare() 1.040s passed
testShareWary() 1.053s passed
testSubst() 1.058s passed
testSubstInSubstTerm() 1.011s passed
testSubstWary() 1.050s passed
testWary0() 1.040s passed
testWary1() 1.033s passed
testWary2() 1.077s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44743      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44743      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45868      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45868      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50730      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50730      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54217      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54217      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55249      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55249      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58720      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58720      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59766      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59766      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63143      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64176      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64176      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67598      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72148      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72148      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73211      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73211      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76590      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76590      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77605      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77605      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81060      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81076      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82107      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82107      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85562      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85562      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86579      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86579      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93176      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93176      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94176      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94176      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97537      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97537      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98569      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98569      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms