From 46ac00e94dbe2309acaa23b1e2fe81571a6fd40b Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Wed, 11 Dec 2019 13:10:05 +0100
Subject: [PATCH] makefile target

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 40204f5c8..e472e32c2 100644
--- a/Makefile
+++ b/Makefile
@@ -30,3 +30,8 @@ test: build
 	export PATH="/usr/local/bin$${PATH:+:}$${PATH:-}"
 	eval $$(opam config env)
 	scripts/test_ligo.sh
+
+coverage: build-deps
+	BISECT_ENABLE=yes dune runtest --force
+	bisect-ppx-report html
+	bisect-ppx-report summary