From a532709dad2a4425e911478253132113e435dc6c Mon Sep 17 00:00:00 2001 From: Jeanderson Barros Candido Date: Wed, 20 Jun 2018 00:15:55 -0300 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index b823cb0..ef16bdc 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ -# 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/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 ## General Information about JPF -- 2.34.1