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

Enable test of function without any sut as argument #182

Open n-osborne opened 9 months ago

n-osborne commented 9 months ago

For now, these functions are ignored (and a warning is displayed to the user). Allowing to test these functions would increase test coverage. This would also be a first step in making the tool more flexible.