autocheck VS rapidcheck

I wrote one, though I can't promise it builds right now. I'm on a slow route to resurrect it with a much better project structure.

Stateful programs properties can either be captured by using generated input to set up the initial state, or for that matter you can also start from a known state. Or you can use the stateful testing framework which is also part of RapidCheck to do more advanced things: https://github.com/emil-e/rapidcheck/blob/master/doc/state.md

I would really like to see a time investment in their automated testing. Now, I know nothing about their current system so they may have systems in place that do this. But based on the bugs that we get sometimes, I'm not so sure. I'm talking about using quickcheck (there are C++ libraries available like rapidcheck, but they came up with the idea in Haskell so I linked it) style testing, written alongside their unit testing. Sytems like this can speed up development and reduce overall bugs. However, they require a high level of knowledge about automated testing to use for the typical programmer.