search

leostera / caramel

:candy: a functional language for building type-safe, scalable, and maintainable applications
https://caramel.run
Apache License 2.0
1.06k stars 25 forks source link

Set up tests to fuzz the compiler with AFL #33

Open leostera opened 4 years ago

leostera commented 4 years ago

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.