From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 coverage.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 coverage.sh

(limited to 'coverage.sh')

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"
-- 
cgit v1.2.3