Search⌘ K
AI Features

Adjusting the Model: Better Statistics

Explore how to enhance your state machine property models by adjusting callbacks to refine event probabilities. Learn to create better distributions of circuit breaker states, improving the accuracy and reliability of your property-based tests in Erlang.

We'll cover the following...

Adding the call-back

Let’s take a look at the call-backs

The call-back is in the test/prop_break.erl file in the code below ...