Step 37

CleanUpDeadCode

Pattern for step 37

Hit counts breakdown based on test/examples/sctest13.cpp

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 37; start counts: 1 1 ; inc counts: 11 7 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 23 7 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 18 7 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 32 7 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 6 11 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 55 14 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 34 20 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 11 26 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 30 37 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 15 44 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 1 ; inc counts: 50 55 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 37; start counts: 1 2 ; inc counts: 396 66 ; iterators: Walk_iterator OOStd::Sequence ; FAILED