From 2459fdfab94166417e80aa0f2bfcc1eb0e1ec271 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 2 Aug 2017 14:53:56 +0200 Subject: [PATCH] Link to travis with a build passing image. --- README.md | 2 ++ 1 file changed, 2 insertions(+) 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/).