X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=README.md;h=8272a80860e3c642f440935dd88cca845504ba2c;hp=b823cb0527f44d4e5704370310db0bb41b6baccb;hb=7d77b55b15ce4ebad33c8b5d2591ce701401bd7c;hpb=4b38fddc02aadbf2a47fa3f68ffebef5c4b0734c

diff --git a/README.md b/README.md
index b823cb0..8272a80 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,5 @@
-# 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/jeandersonbc/jpf-core/branch/gradle/graph/badge.svg)](https://codecov.io/gh/jeandersonbc/jpf-core)
-
+# Java PathFinder
+[![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
 
 An extensible software model checking framework for Java bytecode programs