Step 20
DoToIfGoto
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 20; start counts: 1 1 ; inc counts: 110 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 20; start counts: 1 ; inc counts: 7 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 20; start counts: 1 1 ; inc counts: 134 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 20; start counts: 1 ; inc counts: 7 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 20; start counts: 1 1 ; inc counts: 199 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 20; start counts: 1 ; inc counts: 8 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 20; start counts: 1 1 ; inc counts: 184 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 20; start counts: 1 ; inc counts: 6 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 20; start counts: 1 1 ; inc counts: 279 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 20; start counts: 1 ; inc counts: 9 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 20; start counts: 1 1 ; inc counts: 300 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 20; start counts: 1 ; inc counts: 8 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 20; start counts: 1 1 ; inc counts: 371 0 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
R CConjecture dump step 20; start counts: 1 ; inc counts: 18 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 20; start counts: 1 ; inc counts: 429 ; iterators: Walk_iterator ; FAILED