Adjusting the Model: Fixing the Issue

Finding the issue

The first step of any stateful failure is to figure out which failing sequence caused the problem. Shrinking does most of the job, but we still have to extract meaning out of it. We have something similar to the following:

This creates a sequence of events and state transitions as follows:

At least, that’s the expectation from the history we have. But for the last error call, we’d expected to see {error, {circuit_breaker, _}} since we’re in the tripped ...