Testing Parallel Executions

Getting started

One of the most interesting features of stateful tests with PropEr is taking the models we write for sequential ones and automatically turning them into parallel tests that have a decent chance at finding concurrency bugs in our code at nearly no cost. It requires just a few minor changes to the property, and the rest is done for us.

The way it works is conceptually simple. The framework first takes the existing command generation mechanism and then builds a sequence. It should look something like the following in abstract terms: