Step 77
CleanupNestedIf
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 77; start counts: 1 ; inc counts: 225 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 242 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 193 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 181 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 221 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 304 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 325 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 409 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 431 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 348 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 421 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 397 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 511 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 546 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 557 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 77; start counts: 1 ; inc counts: 602 ; iterators: Walk_iterator ; FAILED