Step 17

BreakToGoto

Pattern for step 17

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

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 17; start counts: 1 6 1 ; inc counts: 114 15 1 ; iterators: Walk_iterator Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 17; start counts: 1 18 1 ; inc counts: 309 58 6 ; iterators: Walk_iterator Walk_iterator Walk_iterator ; FAILED