qcheck-stm: Avoid `{ state with ... }` syntax when all models are updated - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

38 stars 10 forks source link

qcheck-stm: Avoid `{ state with ... }` syntax when all models are updated #121

Closed shym closed 1 year ago

shym commented 1 year ago

Closes #120