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

`ortac` binary always requires a plugin, even to just show up its help or version number #216

Closed shym closed 4 months ago

shym commented 4 months ago

In a just-cleaned repository,

$ dune exec -- ortac --help
ortac: required plugin is missing, please install at least one (qcheck-stm,
monolith or wrapper).

and

$ dune exec -- ortac --version
ortac: required plugin is missing, please install at least one (qcheck-stm,
monolith or wrapper).

which is all rather silly. Could we support those options, or at least rephrase the message (because in that case, the user really didn’t require any plugin)?