From 9e5b40af8b1c0e862814bd12b7667ec8ebebb367 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 30 Mar 2020 11:08:52 -0700
Subject: [PATCH] Add coverage badge. (#4187)

Coverage information is updated nightly.
---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index b22882d57..53398e00b 100644
--- a/README.md
+++ b/README.md
@@ -4,6 +4,9 @@
 [![Build Status](
     https://travis-ci.org/CVC4/CVC4.svg?branch=master)](
         https://travis-ci.org/CVC4/CVC4)
+[![Coverage](
+  https://img.shields.io/endpoint?url=https://cvc4.cs.stanford.edu/downloads/builds/coverage/nightly-coverage.json)](
+    https://cvc4.cs.stanford.edu/downloads/builds/coverage)
 
 CVC4
 ===============================================================================
-- 
2.30.2