Step 26
IfToIfGoto
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 26; start counts: 1 1 ; inc counts: 107 5 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 26; start counts: 1 3 ; inc counts: 171 20 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 26; start counts: 1 5 ; inc counts: 180 35 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 26; start counts: 1 7 ; inc counts: 220 50 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 26; start counts: 1 9 ; inc counts: 312 65 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 26; start counts: 1 11 ; inc counts: 351 80 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 26; start counts: 1 13 ; inc counts: 396 95 ; iterators: Walk_iterator Walk_iterator ; SUCCEEDED
CConjecture dump step 26; start counts: 1 14 ; inc counts: 506 105 ; iterators: Walk_iterator Walk_iterator ; FAILED