X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=8272a80860e3c642f440935dd88cca845504ba2c;hb=9b4b32534966e7c4396618239b3acebcc021991f;hp=0948404a7390ddb1de23a075c56f2870d5e262c8;hpb=372f387cec6bfb9993009f331f86f01d069653e7;p=jpf-core.git

diff --git a/README.md b/README.md
index 0948404..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/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