1 files changed, 9 insertions, 0 deletions
diff --git a/coverage.sh b/coverage.sh
new file mode 100755
index 0000000..10fdf37
--- /dev/null
+++ b/coverage.sh
@@ -0,0 +1,9 @@
+#!/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"

diff --git a/coverage.sh b/coverage.sh new file mode 100755 index 0000000..10fdf37 --- /dev/null +++ b/coverage.sh
@@ -0,0 +1,9 @@
	1	#!/bin/bash
	2
	3	rm -rf _coverage
	4	echo "Running tests"
	5	dune test --instrument-with bisect_ppx --force
	6	echo "Generating report"
	7	bisect-ppx-report html
	8	bisect-ppx-report summary --per-file
	9	echo "See lib/extraction/interp.ml above or see the detailed report (in HTML form) at _coverage/html/lib/extraction/interp.ml.html"