• Sylvain Dailler's avatar
    TODO amend: activate coverage tool · 3ffc4e0a
    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
Name
Last commit
Last update
bench Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
stdlib Loading commit data...
tests Loading commit data...
.dockerignore Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.mailmap Loading commit data...
.merlin.in Loading commit data...
.ocp-indent Loading commit data...
AUTHORS Loading commit data...
CHANGES.md Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL.md Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README.md Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
autogen.sh Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...
dune-project Loading commit data...
why3-coq.opam Loading commit data...
why3-ide.opam Loading commit data...
why3.opam Loading commit data...