Fixing a bug: completing reachability graph with missing past traces.

[jpf-core.git] / README.md

diff --git a/README.md b/README.md
index ef16bdc79165f71dec1aaa9c0b997c48c495b652..8272a80860e3c642f440935dd88cca845504ba2c 100644 (file)
--- 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)
 
 An extensible software model checking framework for Java bytecode programs