caramel icon indicating copy to clipboard operation
caramel copied to clipboard
verified publisher icon leostera

Set up tests to fuzz the compiler with AFL

Open leostera opened this issue 5 years ago • 0 comments

We need a way of testing that the compilation is successfully verifiable for a large space of OCaml programs. Talking to @rgrinberg he suggested to have a look into fuzzing.

Thankfully, there is enough support in the ecosystem to set up a pipeline for fuzzing.

leostera avatar Nov 03 '20 20:11 leostera