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

Move to use a default `Cmdliner.term` rather than the `usage` function #217

Closed n-osborne closed 4 months ago

n-osborne commented 4 months ago

Fixes #216

The inspiration comes from this example Though use of ret is discouraged. But I didn't find any alteratives.

n-osborne commented 4 months ago

Thanks, I've squashed your commit and add you as a co-author as you end up writing about half of the modifications of this PR.

shym commented 4 months ago

I just force-pushed a new version of the commit just to change the message: the message was misleading, as we don’t add a default Cmd, the default is a Term.t.