From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 30 Mar 2020 18:08:52 +0000 (-0700)
Subject: Add coverage badge. (#4187)
X-Git-Tag: cvc5-1.0.0~3426
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9e5b40af8b1c0e862814bd12b7667ec8ebebb367;p=cvc5.git

Add coverage badge. (#4187)

Coverage information is updated nightly.
---

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
 ===============================================================================