-
Sylvain Dailler authored
To see coverage: - compile (you have to manually copy mlmpfr_dummy to mlmpfr_wrapper) - launch why3prove or other on files (careful a lot of bisetc*.out will appear everywhere in your folder) - bisect-ppx-report -ignore-missing-files -html coverage -I . bisect*.out - firefox coverage/index.html One linking problem with menhir remains: I had to remove the code that extract user locations in src/util/loc.ml Also plugins test have been disabled.
3ffc4e0a