Add empty cmd error - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

36 stars 10 forks source link

Closed nikolaushuber closed 2 months ago

nikolaushuber commented 2 months ago

This PR adds a new error which is triggered when there are no commands produced during the translation from Gospel to OCaml.

This fixes #213