From: Gayan Weerakutti <gayanW@users.noreply.github.com>
Date: Wed, 18 Apr 2018 11:58:39 +0000 (+0530)
Subject: Embed Travis status image to README.md
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=333937f105005a4dcda8c9650b30aa07ca6eedf3;p=jpf-core.git

Embed Travis status image to README.md

The badge to show the build status of the master branch of the jpf-core repository.
---

diff --git a/README.md b/README.md
index 8ba7607..f57ccbe 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,5 @@
-# Java PathFinder
+# Java PathFinder [![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
+
 
 An extensible software model checking framework for Java bytecode programs