1 Matching Annotations
  1. Apr 2022
  2. cs3110.github.io cs3110.github.io
    6.5. Black-box and Glass-box Testing — OCaml Programming: Correct + Efficient + Beautiful
    1
    1. acorello 01 Apr 2022
      Between each run, you will need to delete the bisectNNNN.coverage files, otherwise the report will contain information from those previous runs:

      I'm surprised this operation is not done via some dune task. I'd expect the "plugin" for dune to add high-level commands to reset the test coverage; or to perform the reset automatically at each execution of a test.

      request-for-improvement
    Visit annotations in context

    Tags

    Annotators

    URL

    cs3110.github.io/textbook/chapters/correctness/black_glass_box.html