projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49d7b51) | patch
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)
commit9e5b40af8b1c0e862814bd12b7667ec8ebebb367
treef59ebada95ee3abcccd265b84c98e83c044378eetree
parent49d7b510a992a7a84594a11a4aeefcbd3fc8d257commit | diff
Add coverage badge. (#4187)

Coverage information is updated nightly.
README.md diff | blob | history