Step 19
WhileToDo
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 19; start counts: 1 1 ; inc counts: 91 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 19; start counts: 1 1 ; inc counts: 148 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 19; start counts: 1 1 ; inc counts: 160 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 19; start counts: 1 1 ; inc counts: 163 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 19; start counts: 1 1 ; inc counts: 264 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 19; start counts: 1 1 ; inc counts: 262 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 19; start counts: 1 1 ; inc counts: 299 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 19; start counts: 1 ; inc counts: 373 ; iterators: Walk_iterator ; FAILED