ghiles issues

Repositories
Issues
Comments

Results 3 issues of


                                            ghiles

custom stopping criteria for tests

Hi, I can't find a way in the documentation to stop a test when a given criterion is met. Is there an way to do that using the current API?...

enhancement

Result.inner_ratio always give 0

Self explanatory

library name with dune

I tried to compile a small example using dune and weirdly, adding `(libraries ocamlsdl2)` to my stanza produces the error: ```shell Error: Library "ocamlsdl2" not found. Hint: try: dune external-lib-deps...