Step 9
ReturnViaTemp
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 9; start counts: 1 2 ; inc counts: 1 6 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 9; start counts: 1 ; inc counts: 1 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 9; start counts: 1 ; inc counts: 7 ; iterators: Walk_iterator ; FAILED
R CConjecture dump step 9; start counts: 1 ; inc counts: 252 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 9; start counts: 1 ; inc counts: 271 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 9; start counts: 1 9 ; inc counts: 277 8 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED