https://gitlab.com/tezos/tezos
Raw File
Tip revision: 5ea0d6e31457f235f3276138b198a7989bb16703 authored by Danny Willems on 14 December 2020, 12:57:07 UTC
Doc: get rid of old way of loading Sapling parameters
Tip revision: 5ea0d6e
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/lib_crypto

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