Pending-state randomization

[stateright]

Pending-state randomization

[jonnadal]

Would it be preferable to update the implementation to maintain order (for single threaded model checking at least)?

[graydon]

I'm not sure! By "maintain order" do you mean like always consuming from the front and pushing on the back?

I opened this one just to, er .. talk about it I guess, ask your thoughts -- I'm not even really sure this is a real issue, I was just looking through the implementation for degrees of freedom in the algorithm, choices that might be made differently that might somehow change the dynamics of the thing. Feel free to close if you don't think there's anything here, or if it seems unlikely to matter..

[jonnadal]

I’m glad you brought this up as it sounds like a bug. The intent was to push and pop on different ends, so maybe that’s the simplest fix. Good catch!

[graydon]

I may also be misreading it. I'll take another look tomorrow.