search

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
126 stars 16 forks source link

Remove the `gospel_expected` prologue at the end of successful tests #363

Closed shym closed 10 months ago

shym commented 10 months ago

Wrapping up the OK of gospel check up in a gospel_expected comment is verbose and not really useful, so drop them altogether in the test suite Address a comment made in #362

shym commented 10 months ago

I did this just in case, but you’re right, if status is 0, the output is always OK. So I rewrote the code to directly ignore stdout.