diff --git a/README.md b/README.md index 7fed50f..fd3be44 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,8 @@ Stormpy - Python bindings for Storm Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/). +[![Build Status](https://travis-ci.org/moves-rwth/stormpy.svg?branch=master)](https://travis-ci.org/moves-rwth/stormpy) + ### Dependencies Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/).