Module fuzz 

Modules

types 🔒

Structs

CaseOutcome

Returned by a single fuzz in the case of a successful run

CounterExampleOutcome

Returned by a single fuzz when a counterexample has been discovered

FuzzedExecutor

Wrapper around an Executor which provides fuzzing support using [proptest].

SharedFuzzState 🔒

Shared state for coordinating parallel fuzz workers

WorkerState 🔒

Enums

FuzzOutcome

Outcome of a single fuzz

Constants

MIN_RUNS_PER_WORKER 🔒

Minimum number of runs per worker. This is mainly to reduce the overall number of rayon jobs.

SYNC_INTERVAL 🔒

Corpus syncs across workers every SYNC_INTERVAL runs.