Options

import { Options } from "destack:fuzz";

Fuzz registration options.

export type Options = Options & { seed?: Seed; samples?: uint64; maxShrinks?: uint32; corpus?: CorpusId }
language/library/src/fuzz/options.ds:7:19