diff --git a/Makefile b/Makefile
index cf92114a..0e593820 100644
--- a/Makefile
+++ b/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
diff --git a/dune-project b/dune-project
index e4ef6391..96b947db 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,2 @@
-(lang dune 2.2)
+(lang dune 2.7)
 (name qcheck)
diff --git a/ppx_deriving_qcheck.opam b/ppx_deriving_qcheck.opam
index 81e719ce..53d914d4 100644
--- a/ppx_deriving_qcheck.opam
+++ b/ppx_deriving_qcheck.opam
@@ -8,11 +8,12 @@ maintainer: "valentin.chb@gmail.com"
 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" }
 ]
 
diff --git a/qcheck-alcotest.opam b/qcheck-alcotest.opam
index 2c39f316..5ae29e99 100644
--- a/qcheck-alcotest.opam
+++ b/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"
diff --git a/qcheck-core.opam b/qcheck-core.opam
index 6ad35a30..f5922874 100644
--- a/qcheck-core.opam
+++ b/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"
diff --git a/qcheck-ounit.opam b/qcheck-ounit.opam
index 5075225c..d5730dae 100644
--- a/qcheck-ounit.opam
+++ b/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"
diff --git a/qcheck.opam b/qcheck.opam
index 88995fac..0548941f 100644
--- a/qcheck.opam
+++ b/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"
diff --git a/src/alcotest/dune b/src/alcotest/dune
index 220a8b37..8b4fa427 100644
--- a/src/alcotest/dune
+++ b/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)
   )
diff --git a/src/core/dune b/src/core/dune
index ad0939f5..800b6103 100644
--- a/src/core/dune
+++ b/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)
   )
diff --git a/src/dune b/src/dune
index 7f18afde..a661a81b 100644
--- a/src/dune
+++ b/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
diff --git a/src/ounit/dune b/src/ounit/dune
index 2fadb7a4..6017ad61 100644
--- a/src/ounit/dune
+++ b/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)
   )
diff --git a/src/ppx_deriving_qcheck/dune b/src/ppx_deriving_qcheck/dune
index fbff5b01..c322cd3c 100644
--- a/src/ppx_deriving_qcheck/dune
+++ b/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)
diff --git a/src/runner/dune b/src/runner/dune
index 9febaf0c..190fed22 100644
--- a/src/runner/dune
+++ b/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)
   )