From 2de700733370b22797ff71667f68c119951c3194 Mon Sep 17 00:00:00 2001 From: Crash Over Burn Date: Wed, 15 Apr 2026 00:54:46 +0000 Subject: Add bisect_ppx test coverage infrastructure with CI workflow and test suites Integrate bisect_ppx for code coverage across the test suite: - Add bisect_ppx instrumentation to lib/dune and test/dune - Add bisect_ppx dependency to dune-project, nixtamal.opam, and nix/package/nixtamal.nix - Create bisect.yml configuration for HTML and text coverage reports - Add .github/workflows/coverage.yml for CI-based coverage reporting - Fix flake.nix devShell to include checkInputs for full development environment - Add coverage checks to flake.nix checks output New test suites for recently ported features: - test/test_upgrade.ml: Tests for schema upgrade command (backup, dry-run, version validation) - test/test_fossil.ml: Tests for Fossil VCS codec and lockfile roundtrips - test/test_lockfile.ml: Tests for lockfile auto-creation and serialization - test/test_main.ml: Register all new test suites Documentation updates: - AGENTS.md: Add contact info (website, XMPP MUC), note llm/ folder is gitignored - README.asciidoc: Add website link, mention Fossil VCS, schema versioning, upgrade command - .gitignore: Add _build/ and _coverage/ directories Covers testing for previously ported features: schema upgrade, Fossil VCS support, and lockfile auto-creation. --- nix/package/nixtamal.nix | 1 + 1 file changed, 1 insertion(+) (limited to 'nix/package') diff --git a/nix/package/nixtamal.nix b/nix/package/nixtamal.nix index 11a0f32..0a94574 100644 --- a/nix/package/nixtamal.nix +++ b/nix/package/nixtamal.nix @@ -102,6 +102,7 @@ ocamlPackages.buildDunePackage { checkInputs = with ocamlPackages; [ alcotest + bisect_ppx qcheck qcheck-alcotest ]; -- cgit v1.2.3