search

OCamlPro / owi

WebAssembly Swissknife & cross-language bugfinder
https://ocamlpro.github.io/owi/
GNU Affero General Public License v3.0
134 stars 17 forks source link

add a `owi random` command #91

Open zapashcanon opened 10 months ago

zapashcanon commented 10 months ago

that generates a random program using the fuzzer and prints it

vasucp1207 commented 1 month ago

I wonder why fuzzer is inside the test/ dir and not inside the src/ dir, shouldn't we pack it inside the owi exe?

zapashcanon commented 1 month ago

It is currently in the test directory simply because it was not intended to become a part of Owi. If it becomes a subcommand, then it makes sense to move it inside src. It would allow to merge parts of the typechecker with the expression generator (actually, now that I think about it, it should be possible even in the current state).

One current limitation is that we rely on the Crowbar.Syntax module that we added more than one year ago. It has been merged upstream but no release has been done since, so we can't make the fuzzer a part of Owi as long as a new crowbar version hasn't been released.