Step 18
ForToWhile
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 18; start counts: 1 6 ; inc counts: 115 61 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 2 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 18; start counts: 1 7 ; inc counts: 124 76 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 0 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 2 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 18; start counts: 1 7 ; inc counts: 148 75 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 18; start counts: 1 7 ; inc counts: 157 75 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 1 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 18; start counts: 1 11 ; inc counts: 216 131 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 18; start counts: 1 11 ; inc counts: 261 131 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 18; start counts: 1 11 ; inc counts: 272 140 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 18; start counts: 1 ; inc counts: 13 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 18; start counts: 1 10 ; inc counts: 338 131 ; iterators: Walk_iterator Walk_iterator ; FAILED