From 0f07b1cd6c2ca53330dc0290d5d7a64a542116b4 Mon Sep 17 00:00:00 2001
From: Avi Shinnar <shinnar@us.ibm.com>
Date: Tue, 15 Sep 2020 16:36:19 -0400
Subject: [PATCH] Add support for test running to opam file

---
 coq-qcert.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-qcert.opam b/coq-qcert.opam
index b04e60b9..f8b511a9 100644
--- a/coq-qcert.opam
+++ b/coq-qcert.opam
@@ -19,7 +19,7 @@ build: [
   [make "-j" jobs name]
   ["dune" "build" "-j" jobs "-p" name]
   [make "docs"] {with-doc}
-
+  [make "test"] {with-test}
 ]
 install: [
   [make "install-coqdev"]