Add support for `qcheck-stm.domain` to `qcheck-stm` plugin

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

38 stars 10 forks source link

Open n-osborne opened 1 year ago

n-osborne commented 1 year ago

Make the generated code apply different functors and launch different tests depending on cli arguments.