ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
36 stars 10 forks source link

[qcheck-stm] Make the configuration module legal OCaml #232

Open n-osborne opened 3 months ago

n-osborne commented 3 months ago

If the expected configuration module is legal OCaml, the user can rely on Dune and/or Merlin to help writing it.

The main difficulty here is that there are a number of parts of the configuration module that are optional, arguably the most delicate to write.