Ignoring build.properties file
[jpf-core.git] / README.md
index 8ba7607..f57ccbe 100644 (file)
--- 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