https://gitlab.com/tezos/tezos
Raw File
Tip revision: bcd5c31acfe4c75f191d46c425df12b16ee6e746 authored by Rémy El Sibaïe on 17 May 2021, 08:16:18 UTC
fixup! Tests/Python: add tests for `transfer --simulation`
Tip revision: bcd5c31
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