From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Wed, 20 Jun 2018 02:55:14 +0000 (-0300)
Subject: Extra - Added Codecov support
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=4b38fddc02aadbf2a47fa3f68ffebef5c4b0734c;p=jpf-core.git

Extra - Added Codecov support
---

diff --git a/.travis.yml b/.travis.yml
index b87b43d..a713182 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,6 +6,10 @@ jdk:
 script:
   - ./gradlew check --scan -s
 
+after_script:
+  - ./gradlew jacocoTestReport
+  - bash <(curl -s https://codecov.io/bash)
+
 before_cache:
   - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock
   - rm -fr $HOME/.gradle/caches/*/plugin-resolution/
diff --git a/README.md b/README.md
index f57ccbe..b823cb0 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +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