Step 8
ExplicitiseReturn
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
C & !CConjecture dump step 8; start counts: 1 ; inc counts: 20 ; iterators: OOStd::Sequence ; FAILED
CConjecture dump step 8; start counts: 1 ; inc counts: 38 ; iterators: Walk_iterator ; SUCCEEDED
C & !CConjecture dump step 8; start counts: 1 ; inc counts: 20 ; iterators: OOStd::Sequence ; SUCCEEDED
CConjecture dump step 8; start counts: 1 ; inc counts: 267 ; iterators: Walk_iterator ; FAILED