projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 49d7b51)
Add coverage badge. (#4187)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 30 Mar 2020 18:08:52 +0000 (11:08 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Mar 2020 18:08:52 +0000 (11:08 -0700)
Coverage information is updated nightly.

README.md patch | blob | history

diff --git a/README.md b/README.md
index b22882d57aee6e29c4e120b77c9453107d95ae98..53398e00b8b1e9f80a9e4723930575a8a120c2ef 100644 (file)
--- 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
 ===============================================================================