Generate the boiler-plate dune config for QCheck-STM tests

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

37 stars 10 forks source link

Generate the boiler-plate dune config for QCheck-STM tests #163

Closed shym closed 10 months ago

shym commented 10 months ago

Generate the boiler-plate dune config for QCheck-STM tests Also complete the conjunctive_clauses test so that it can be run

This PR is split up into two commits, the first one is only splitting a dune file into two separate files, so that it should be easy to review ignoring the moves.

shym commented 10 months ago

Rebased, after the introduction of sequence_model.