search

ocaml-gospel / ortac

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

Add a `-o` optional argument to `qcheck` plugin #117

Closed n-osborne closed 12 months ago

n-osborne commented 1 year ago

This is practical and would bring more consistency with the other plugins.