Load only the QCheck-STM plugin in its cram tests - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

37 stars 10 forks source link

Load only the QCheck-STM plugin in its cram tests #140

Closed shym closed 12 months ago

n-osborne commented 12 months ago

Good catch!