Merge pull request #329 from n-osborne/dune-rules-qcheck-stm-domain This PR adds support for generating the dune rules for Ortac/QCheck-STM+Domain. The `ortac dune` cli command uses the same flag `--domain` as the `ortac qcheck-stm` one. This will pass the flag to the call to `ortac qcheck-stm` and adapt the dependencies accordingly.

Aug 28 15:48 +00:00

52m35s

*Variants labelled (experimental) are still undergoing testing; if they have failed it may be a bug in OCaml-CI.