Revision 1d137876c9aac9522bc503f00575b9d35a2c93b8 authored by Eugen Zalinescu on 03 April 2024, 15:33:57 UTC, committed by Eugen Zalinescu on 03 April 2024, 15:33:57 UTC
1 parent b0b45af
Raw File
with_coverage.sh
#!/bin/sh

set -e

BISECT_FILE=$(pwd)/_coverage_output/

export BISECT_FILE

export DUNE_INSTRUMENT_WITH=bisect_ppx

if [ -z "$1" ]; then
  echo "Missing command to run, example:"
  echo "${0} dune runtest src/lib_shell"
  exit 1
fi

echo "Running $* with:"
echo "BISECT_FILE=${BISECT_FILE}"
echo "DUNE_INSTRUMENT_WITH=bisect_ppx"
echo "-------------------------------"

"$@"
back to top