search

ocaml-gospel / ortac

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

Add an include option to `qcheck-stm` cli #181

Closed n-osborne closed 9 months ago

n-osborne commented 10 months ago

This PR proposes to add an include option to the qcheck-stm cli. This will include the module passed as value of the option in the generated code. The idea is to allow the user to easily add STM.ty extensions and STM.Utils.pp*s without having to edit the generated file by hand.

This PR does not move the configuration in the included module (the init_sut expression and the sut type expression given by the user on the cli).