Step 53

ApplyCombGotoPolicy

Pattern for step 53

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

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 114 9 3 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 135 11 2 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 96 13 1 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 91 15 3 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 96 17 2 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 125 19 2 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 16 21 6 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 135 23 3 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 109 25 2 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 130 27 3 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 117 29 2 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 14 31 2 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 127 33 4 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 30 35 3 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 1 1 ; inc counts: 48 37 4 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; SUCCEEDED
CConjecture dump step 53; start counts: 1 17 ; inc counts: 633 84 ; iterators: Walk_iterator OOStd::Sequence ; FAILED