How are parallel programs generated?

[Lysxia]

I'm wondering how crud_eqc.erl generates parallel programs.

In particular, couldn't you generate one thread which updates a file, and another one which deletes it? Wouldn't an execution where the file is deleted before being updated cause a failure?

[Lysxia]

For context, I am trying to figure out how to achieve a similar thing in quickcheck-state-machine, in Haskell.

[hanssv]

Without going into detail, parallel test cases are created from sequential test cases - this is done by splitting the single test case into several sequences to run in parallel. The splitting is done in "safe" way checking preconditions and interleavings, so we would not generate the case you mention.

[Lysxia]

Oh, that's interesting! Thank you!