From: Jeanderson Barros Candido Date: Wed, 11 Jul 2018 22:23:01 +0000 (-0300) Subject: Removed Codecov badge X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=d595544a88bad44ea2ddedbc27e3e664a5b920fd;ds=sidebyside Removed Codecov badge --- 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