search

ocaml-gospel / ortac

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

Revise Ortac/Dune to minimize yet again boilerplate #218

Closed n-osborne closed 1 month ago

n-osborne commented 4 months ago

This PR proposes to:

  1. add an optional argument for the library name. Default is the base name of the module under tested.
  2. make the configuration and the generated tests filename arguments optional. Default is the base name of the module under test prefixed with [_config _tests].ml

In the best case scenario, this allows to just write:

(rule
 (alias runtest)
 (mode promote)
 (targets dune.inc)
 (action
  (with-stdout-to
   %{targets}
   (run ortac dune qcheck-stm lib.mli))))

(include dune.inc)
n-osborne commented 4 months ago

This PR is based on #214, please consider only the last 5 commits. Edit: 6 last commits