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 @@ []( https://travis-ci.org/CVC4/CVC4) +[]( + https://cvc4.cs.stanford.edu/downloads/builds/coverage) CVC4 =============================================================================== |