search

ocaml-gospel / ortac

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

Clean up some dependencies #246

Closed n-osborne closed 3 months ago

n-osborne commented 3 months ago

There is a double objective here:

  1. make opam install ortac-qcheck-stm put the user in a position where tests can be generated and run
  2. fix lower bounds