X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=8272a80860e3c642f440935dd88cca845504ba2c;hb=d26573d4b21c193d4973eda8936f39bd39a9e15c;hp=8ba760741649892d426cc209df92ce7c7b11ff51;hpb=9a10635b06c187afbfc46b62f84f3e12860b5acb;p=jpf-core.git

diff --git a/README.md b/README.md
index 8ba7607..8272a80 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)
 
 An extensible software model checking framework for Java bytecode programs