Mentions légales du service

Skip to content
  • 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