swh:1:snp:9c27352633c4639a943e316050a7b904f57900e2
Raw File
Tip revision: 1c13d1939b6743f783cc74b469c744a3f809ae12 authored by Arvid Jakobsson on 07 May 2020, 21:47:38 UTC
Merge branch 'arvid@pytest_regtest_shorter_paths' into 'master'
Tip revision: 1c13d19
README
Before compiling, use ./scripts/instrument_dune_bisect.sh to add the bisect_ppx
preprocessing directive to the dune files of the packages to be analyzed.

Examples:
  ./scripts/instrument_dune_bisect.sh src/lib_p2p/dune
  ./scripts/instrument_dune_bisect.sh src/proto_alpha/lib_protocol/dune.inc
  ./scripts/instrument_dune_bisect.sh src/proto_alpha/ vendors/
  ./scripts/instrument_dune_bisect.sh . --except src/proto_00*

NOTE: this file is kept present here to make sure the directory
      _coverage_output exists.  This is where coverage data will be collected
      when tests are run.  To clean it use: make coverage-clean
back to top