Anodized supports fuzzing and PBT (property-based testing) as spec-enforcement methods via the try_call! macro and the related anodized_try build setting. The bin-search example has a fuzz target for cargo-fuzz to demonstrate how that works.
The necessary code is rather boilerplate-y, and seems like a prime target for code generation. This is where the anodized-fuzz tool would help: given a chosen system e.g. cargo-fuzz, generate fuzzing/PBT harnesses for all functions with a spec attribute, as well as necessary project setup to run the fuzzing targets or PBT tests.
Anodized supports fuzzing and PBT (property-based testing) as spec-enforcement methods via the
try_call!macro and the relatedanodized_trybuild setting. Thebin-searchexample has a fuzz target forcargo-fuzzto demonstrate how that works.The necessary code is rather boilerplate-y, and seems like a prime target for code generation. This is where the
anodized-fuzztool would help: given a chosen system e.g.cargo-fuzz, generate fuzzing/PBT harnesses for all functions with aspecattribute, as well as necessary project setup to run the fuzzing targets or PBT tests.