Revision 64ded7f805da8c525e1c2a37dc567717b1700485 authored by iguerNL@Functori on 24 February 2023, 05:44:21 UTC, committed by iguerNL@Functori on 24 February 2023, 05:44:21 UTC
1 parent c206624
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 "-------------------------------"
"$@"
Computing file changes ...
