Route Gospel errors as other errors in qcheck-stm plugin

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

38 stars 10 forks source link

Closed shym closed 1 year ago

shym commented 1 year ago

Add basic support for Gospel errors in Ortac Core and use that to report properly Gospel errors in the qcheck-stm plugin

n-osborne commented 1 year ago

Very good idea :smiley: Just need some formatting.

shym commented 1 year ago

As CI didn’t complain (because it is offline it seems... but well...), I merged.