Open
Description
Quickchecking of domains (issue #84) serves as a good starting point for fuzzing as well. Ideally, the same set of properties should work with AFL replacing the role of generating arbitrary inputs.
There seems to be a qcheck-like OCaml library for fuzzing: https://github.com/stedolan/crowbar. Also a corresponding tutorial: https://tarides.com/blog/2019-09-04-an-introduction-to-fuzzing-ocaml-with-afl-crowbar-and-bun. it may be an unnecessary dependency though, didn't look too deep into it.
@vogler's tests with afl-fuzz: https://github.com/goblint/analyzer/blob/wip/afl/src/afl.ml.