Test with regenerate
I wanted to add tests using regenerate, but I realized I can't fork/PR projects on this gitlab, so here are the files.
- TestGen.ml contains all the appropriate machinery
- Here is the modified dune file
Fortunately, it's not finding any bugs! :)