[qcheck-stm] Add an optional function for running tests in config module

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

36 stars 10 forks source link

[qcheck-stm] Add an optional function for running tests in config module #233

Open n-osborne opened 3 months ago

n-osborne commented 3 months ago

The use-case of this function would be when some setup has to be done before running the tests. This was asked when trying to use Ortac/QCheck-STM in Mirage_kv.