[qcheck-stm] Add an optional function for running tests in config module #233
Open
Description
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.
Metadata
Assignees
Labels
No labels