Module shrink 

Structs

CallSequenceShrinker 🔒

Shrinker for a call sequence failure. Iterates sequence call sequence top down and removes calls one by one. If the failure is still reproducible with removed call then moves to the next one. If the failure is not reproducible then restore removed call and moves to next one.

Shrink 🔒

Functions

check_sequence

Checks if the given call sequence breaks the invariant.

shrink_sequence 🔒

Shrinks the failure case to its smallest sequence of calls.