Step 6

DetectCombableBreak

Pattern for step 6

Hit counts breakdown based on test/examples/sctest13.cpp

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 6; start counts: 1 1 ; inc counts: 89 1 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 6; start counts: 1 1 ; inc counts: 265 2 ; iterators: Walk_iterator OOStd::Sequence ; FAILED