Bump Gradle version

[jpf-core.git] / README.md

diff --git a/README.md b/README.md
index f57ccbedf3fefae8ce70663067938a8f18c9c496..0948404a7390ddb1de23a075c56f2870d5e262c8 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,5 +1,6 @@
-# Java PathFinder [![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
-
+# Java PathFinder
+[![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
+[![codecov](https://codecov.io/gh/javapathfinder/jpf-core/branch/master/graph/badge.svg)](https://codecov.io/gh/javapathfinder/jpf-core)
 
 An extensible software model checking framework for Java bytecode programs