Step 28
CompactGotos
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 28; start counts: 1 4 ; inc counts: 100 27 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 5 ; inc counts: 135 37 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 9 ; inc counts: 160 46 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 10 ; inc counts: 146 56 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 13 ; inc counts: 200 63 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 14 ; inc counts: 219 73 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 17 ; inc counts: 237 80 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 18 ; inc counts: 239 90 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 22 ; inc counts: 319 97 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 23 ; inc counts: 335 107 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 26 ; inc counts: 369 114 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 27 ; inc counts: 387 124 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 30 ; inc counts: 440 131 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 31 ; inc counts: 419 141 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 28; start counts: 1 37 ; inc counts: 534 156 ; iterators: Walk_iterator OOStd::Sequence ; FAILED