Skip to content

Commit 27b9d0c

Browse files
authored
Merge pull request #49 from input-output-hk/cover-badge
Coverage badge in readme
2 parents b24b667 + ed04f3b commit 27b9d0c

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,5 @@
1+
12
# constrained-generators
3+
[![Coverage Status](https://coveralls.io/repos/github/input-output-hk/constrained-generators/badge.svg?branch=master)](https://coveralls.io/github/input-output-hk/constrained-generators?branch=master)
4+
25
Framework for generating constrained random data using a subset of first order logic

0 commit comments

Comments
 (0)