Added travis build status to README

8 years ago · 8aaa205c57
1 changed files with 1 additions and 0 deletions
--- a/README.md
+++ b/README.md
@ -1,5 +1,6 @@
 Storm
 ==============================
 [![Build Status](https://travis-ci.org/moves-rwth/storm.svg?branch=master)](https://travis-ci.org/moves-rwth/storm)
 For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html).