[erlang-questions] PropEr and determinism of statem scenario execution

[Magnus Henoch]

Paul Peregud <paulperegud@REDACTED> writes:

> The problem - I don't have a control over schedulers. That leads to
> scenarios that MAY OR MAY NOT fail. And that causes problems with
> shrinking. As a result after a night of crunching scenarios on a fast
> machine I get a test case of 70 steps that is impossible to debug, because
> it is too large. When I repeat this test case using proper:check/2, it
> fails very seldom.

Have a look at this presentation:

http://www.erlang-factory.com/conference/London2010/speakers/JohnHughes

Solutions 1 and 2 should be usable with PropEr (require failing test
cases to fail consistently, and shrink commands to sleeps), though
solution 3 would be specific to Quviq Quickcheck.

Regards,
Magnus