Coverage report with bisect_ppx

Makefile

@@ -38,6 +38,14 @@ release: update_next_tag
 	opam publish https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz
 	@echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'"
 
+coverage-report:
+	@dune runtest -f --instrument-with bisect_ppx
+	bisect-ppx-report html
+	@echo "Report should be available in file://$(shell pwd)/_coverage/index.html"
+
+coverage-report-summary:
+	@dune runtest -f --instrument-with bisect_ppx
+	bisect-ppx-report summary
 
 watch:
 	@dune build @all -w

dune-project

@@ -1,2 +1,2 @@
-(lang dune 2.2)
+(lang dune 2.7)
 (name qcheck)

ppx_deriving_qcheck.opam

@@ -8,11 +8,12 @@ maintainer: "[email protected]"
 author: [ "the qcheck contributors" ]
 
 depends: [
-  "dune" {>= "2.8.0"}
+  "dune" {>= "2.7.0"}
   "ocaml" {>= "4.08.0"}
   "qcheck" {>= "0.17"}
   "ppxlib" {>= "0.22.0"}
   "odoc" {with-doc}
+  "bisect_ppx" {with-test}
   "alcotest" {with-test & >= "1.4.0" }
 ]
 

qcheck-alcotest.opam

@@ -18,12 +18,13 @@ build: [
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
-  "dune" { >= "2.2" }
+  "dune" { >= "2.7" }
   "base-bytes"
   "base-unix"
   "qcheck-core" { = version }
   "alcotest"
   "odoc" {with-doc}
+  "bisect_ppx" {with-test}
   "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"

qcheck-core.opam

@@ -17,11 +17,12 @@ build: [
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
-  "dune" { >= "2.2" }
+  "dune" { >= "2.7" }
   "base-bytes"
   "base-unix"
   "alcotest" {with-test}
   "odoc" {with-doc}
+  "bisect_ppx" {with-test}
   "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"

qcheck-ounit.opam

@@ -17,12 +17,13 @@ build: [
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
-  "dune" { >= "2.2" }
+  "dune" { >= "2.7" }
   "base-bytes"
   "base-unix"
   "qcheck-core" { = version }
   "ounit2"
   "odoc" {with-doc}
+  "bisect_ppx" {with-test}
   "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"

qcheck.opam

@@ -17,13 +17,14 @@ build: [
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
-  "dune" { >= "2.2" }
+  "dune" { >= "2.7" }
   "base-bytes"
   "base-unix"
   "qcheck-core" { = version }
   "qcheck-ounit" { = version }
   "alcotest" {with-test}
   "odoc" {with-doc}
+  "bisect_ppx" {with-test}
   "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"

src/alcotest/dune

@@ -3,6 +3,7 @@
   (name qcheck_alcotest)
   (public_name qcheck-alcotest)
   (wrapped false)
+  (instrumentation (backend bisect_ppx))
   (libraries unix bytes qcheck-core qcheck-core.runner alcotest)
   (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
   )

src/core/dune

@@ -3,6 +3,7 @@
   (name qcheck_core)
   (public_name qcheck-core)
   (wrapped false)
+  (instrumentation (backend bisect_ppx))
   (libraries unix bytes)
   (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
   )

src/dune

@@ -5,6 +5,7 @@
   (wrapped false)
   (modules QCheck_runner)
   (synopsis "compatibility library for qcheck")
+  (instrumentation (backend bisect_ppx))
   (libraries qcheck-core qcheck-core.runner qcheck-ounit))
 
 (documentation

src/ounit/dune

@@ -3,6 +3,7 @@
   (name qcheck_ounit)
   (public_name qcheck-ounit)
   (wrapped false)
+  (instrumentation (backend bisect_ppx))
   (libraries unix bytes qcheck-core qcheck-core.runner ounit2)
   (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
   )

src/ppx_deriving_qcheck/dune

@@ -1,6 +1,7 @@
 (library
  (name ppx_deriving_qcheck)
  (public_name ppx_deriving_qcheck)
+ (instrumentation (backend bisect_ppx))
  (libraries ppxlib)
  (preprocess (pps ppxlib.metaquot))
  (ppx_runtime_libraries qcheck-core)

src/runner/dune

@@ -3,6 +3,7 @@
   (name qcheck_runner)
   (public_name qcheck-core.runner)
   (wrapped false)
+  (instrumentation (backend bisect_ppx))
   (libraries qcheck-core)
   (flags :standard -warn-error -a+8 -safe-string)
   )