Generate and test arbitrary inputs against OCaml encoders and parsers.
npx skills add https://github.com/aresbit/MateBot --skill fuzz
Please help me install this Agent Skill. Skill: fuzz Source: https://github.com/aresbit/MateBot/tree/main/skills/ocaml/fuzz Command: npx skills add https://github.com/aresbit/MateBot --skill fuzz
OCaml fuzz testing helps you verify parsers and encoders by generating random inputs and checking invariants, preventing crashes when faced with unexpected data.
Install OCaml tooling (opam, dune) and Crowbar/borealis, create a fuzz/ directory with fuzz.ml that links modules, write fuzz_<module>.ml files that define tests, then build and run with dune exec fuzz/fuzz.exe.
High-intent search queries and answers about installing and using this skill.
To fuzz-test OCaml parsers and encoders, you generate arbitrary inputs and verify roundtrip invariants like decode(encode(x)) == x to ensure parsers never crash on unexpected data. This approach automatically tests boundary conditions and validates state-machine transitions.
OCaml fuzz testing requires the opam package manager, Dune build system, and the Crowbar and borealis libraries. You create a fuzz directory with a fuzz.ml file linking modules, write per-module fuzz test files, then build and run via a single dune exec target.
Yes, you can test state-machine transitions and edge cases in OCaml protocol implementations by generating arbitrary inputs against module functions. This validates boundary conditions and transition logic, ensuring protocol behaviors remain stable when subjected to unexpected sequences.
Organize fuzz suites for large OCaml codebases by creating one fuzz file per module, such as testing lib/foo.ml from fuzz_foo.ml. Assemble these per-module suites across modules and execute them collectively with a single Dune target.
OCaml parsers crash on arbitrary data when they lack proper handling for unexpected inputs. Fuzz testing generates random inputs to check crash-safety, exposing boundary condition failures and roundtrip invariant violations before deployment.
avsmFuzz-test OCaml parsers, encoders, and state machines with Crowbar.
SuperlendPatch fuzzing obstacles with conditional compilation and build-flag guards.
aresbitStructure OCaml unit tests with Alcotest and Dune.
cdalsoniiiDesign property-based tests with invariants, generators, and executable code.
