Module fuzz_gen 

Coverage-guided fuzz target generation.

Generates libfuzzer_sys::fuzz_target! harnesses from YAML contracts. Each fuzz target gates on contract preconditions and exercises the bound function, catching panics, sanitizer violations, and crashes.

Functions

generate_fuzz_cargo_toml

Generate a fuzz/Cargo.toml for the fuzz workspace member.

generate_fuzz_target

Generate a libfuzzer fuzz target from a contract.