Module minimize 

Trace minimization for failing simulation seeds.

When a swarm run finds a failing seed over many ticks, debugging is hard. The minimizer finds the shortest trace that still reproduces the bug.

Inspired by Delta Debugging (Zeller, “Simplifying and Isolating Failure-Inducing Input”, 2002). Independent implementation.

Structs

MinimizedTrace

Result of trace minimization.

Functions

minimize_faults

Minimize a fault schedule using delta debugging.

minimize_ticks

Minimize the tick duration needed to reproduce a failure.