Step 3

DetectCombableFor

Pattern for step 3

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

Decision activity summaries based on test/examples/sctest13.cpp
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 42 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 35 ; iterators: Walk_iterator ; SUCCEEDED
C |CConjecture dump step 3; start counts: 1 1 ; inc counts: 1 0 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
C |CConjecture dump step 3; start counts: 1 1 ; inc counts: 1 0 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 3; start counts: 1 ; inc counts: 61 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 54 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 63 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 1 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 105 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 6 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 115 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 1 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 108 ; iterators: Walk_iterator ; SUCCEEDED
C |CConjecture dump step 3; start counts: 1 1 ; inc counts: 1 0 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
C |CConjecture dump step 3; start counts: 1 1 ; inc counts: 1 0 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 3; start counts: 1 ; inc counts: 139 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 168 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 154 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 3 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 209 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 0 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 4 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 3; start counts: 1 ; inc counts: 212 ; iterators: Walk_iterator ; SUCCEEDED
C !CConjecture dump step 3; start counts: 1 ; inc counts: 0 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 3; start counts: 1 ; inc counts: 265 ; iterators: Walk_iterator ; FAILED