Step 30
CleanupCompoundExpression
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 30; start counts: 1 429 1 ; inc counts: 472 915 1 ; iterators: Walk_iterator Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 30; start counts: 1 488 ; inc counts: 542 1011 ; iterators: Walk_iterator Walk_iterator ; FAILED