diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-03-30 11:08:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-30 11:08:52 -0700 |
commit | 9e5b40af8b1c0e862814bd12b7667ec8ebebb367 (patch) | |
tree | f59ebada95ee3abcccd265b84c98e83c044378ee /README.md | |
parent | 49d7b510a992a7a84594a11a4aeefcbd3fc8d257 (diff) |
Add coverage badge. (#4187)
Coverage information is updated nightly.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 =============================================================================== |