Fuzz module

run_cases

procedureextensionexperimentalsince 0.31.0Source

Arguments (after --): --seed N, --count N (seeds per case), --only NAME, --max-len N, --list. Prints CASE <name> <seed> <max_len> before every call so the last line names the culprit when the process dies, and DONE <calls> at the end. Returns the process exit code.

run_cases :: (cases: [] Case) -> s32

Parameters

cases: [] Case

Returns

s32

See also