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.nix | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 coverage.nix

(limited to 'coverage.nix')

diff --git a/coverage.nix b/coverage.nix
new file mode 100644
index 0000000..ed03ce8
--- /dev/null
+++ b/coverage.nix
@@ -0,0 +1,19 @@
+{ pkgs ? import ./nixpkgs-pinned.nix {} }:
+(import ./default.nix { inherit pkgs; }).overrideAttrs (final: prev: {
+  name = "mininix-coverage";
+
+  nativeBuildInputs = prev.nativeBuildInputs ++ [
+    pkgs.ocaml-ng.ocamlPackages_4_14.bisect_ppx
+  ];
+
+  checkPhase = ''
+    dune test --instrument-with bisect_ppx --force
+  '';
+
+  installPhase = ''
+    mkdir -p $out/coverage
+    bisect-ppx-report summary --per-file > $out/coverage/report-plain
+    bisect-ppx-report html
+    cp -R _coverage $out/coverage/html/
+  '';
+})
-- 
cgit v1.2.3