path: root/coverage.sh

#!/bin/bash

rm -rf _coverage
echo "Running tests"
dune test --instrument-with bisect_ppx --force
echo "Generating report"
bisect-ppx-report html
bisect-ppx-report summary --per-file
echo "See lib/extraction/interp.ml above or see the detailed report (in HTML form) at _coverage/html/lib/extraction/interp.ml.html"