Step 14
AutosToModule
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
C & !CConjecture dump step 14; start counts: 1 ; inc counts: 22 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 14; start counts: 1 2 2 6 ; inc counts: 6 5 227 1 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 14; start counts: 1 12 2 8 ; inc counts: 310 12 245 1 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED