Push(2,)
Push(1,)
Pop(1,)
Pop(2,)
Push(2,)
Push(2,)
Push(2,)
Push(1,)
Push(2,)
Pop(2,)
  0. Finished at step 10, reached accepting state
Push(2,)
Pop(2,)
Push(1,)
Pop(1,)
Push(2,)
Pop(2,)
Push(1,)
Pop(1,)
Push(2,)
Pop(2,)
  0. Finished at step 10, reached accepting state
Push(2,)
Push(1,)
Push(1,)
Push(2,)
Push(2,)
Push(2,)
Push(1,)
Push(1,)
Push(2,)
Push(2,)
  0. Finished at step 10, reached accepting state
Default random strategy, actions repeat

ActionNameCoverage, Push and Pop alternate

StateCoverage, repeat Push