Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Set up tests to fuzz the compiler with AFL #33

Open
leostera opened this issue Nov 3, 2020 · 0 comments
Open

Set up tests to fuzz the compiler with AFL #33

leostera opened this issue Nov 3, 2020 · 0 comments
Labels
compiler Related to the OCaml to Erlang compiler lib:erlang Related to the Erlang libraries for OCaml
Milestone
Verified Compilation

Comments

@leostera
Copy link
Owner

leostera commented Nov 3, 2020

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 leostera added lib:erlang Related to the Erlang libraries for OCaml compiler Related to the OCaml to Erlang compiler labels Nov 3, 2020
@leostera leostera added this to the Verified Compilation milestone Nov 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compiler Related to the OCaml to Erlang compiler lib:erlang Related to the Erlang libraries for OCaml
Projects
None yet
Milestone
Verified Compilation
Development

No branches or pull requests
1 participant
@leostera