diff --git a/README.md b/README.md index e991cd6..0c54838 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,5 @@ + # constrained-generators +[![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) + Framework for generating constrained random data using a subset of first order logic