Step 16
MergeFunctions
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 16; start counts: 1 2 1 1 1 ; inc counts: 1 3 210 6 1 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer Walk_iterator OOStd::SimpleAssociativeContainer Walk_iterator ; SUCCEEDED
R CConjecture dump step 16; start counts: 1 ; inc counts: 16 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 16; start counts: 1 ; inc counts: 18 ; iterators: Walk_iterator ; FAILED
R CConjecture dump step 16; start counts: 1 ; inc counts: 210 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 16; start counts: 1 ; inc counts: 247 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 16; start counts: 1 11 1 ; inc counts: 305 11 247 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer Walk_iterator ; FAILED