From 049752a7911bc316ed6f610e94b8ebc3c34dd096 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 15 Nov 2017 18:00:57 +0100
Subject: [PATCH] Additionally test storm-debug in travis

---
 .travis.yml     | 12 ++++++++++--
 travis/build.sh |  2 +-
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 0769acd..c327b7a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -29,7 +29,15 @@ jobs:
     # docker storm:latest
     - os: linux
       compiler: gcc
-      env: TASK=Test DOCKER=latest PYTHON=python3
+      env: TASK=Test DOCKER=storm:latest PYTHON=python3
+      install:
+        travis/install_linux.sh
+      script:
+        travis/build.sh
+    # docker storm-debug:latest
+    - os: linux
+      compiler: gcc
+      env: TASK=Test DOCKER=storm-debug:latest PYTHON=python3
       install:
         travis/install_linux.sh
       script:
@@ -37,7 +45,7 @@ jobs:
     # Documentation
     - os: linux
       compiler: gcc
-      env: TASK=Documentation DOCKER=latest PYTHON=python3
+      env: TASK=Documentation DOCKER=storm:latest PYTHON=python3
       install:
         travis/install_linux.sh
       script:
diff --git a/travis/build.sh b/travis/build.sh
index 0e9ad93..0fa702d 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -11,7 +11,7 @@ linux)
     docker rm -f stormpy &>/dev/null
     # Run container
     set -e
-    docker run -d -it --name stormpy --privileged mvolk/storm:$DOCKER
+    docker run -d -it --name stormpy --privileged mvolk/$DOCKER
     # Copy local content into container
     docker exec stormpy mkdir opt/stormpy
     docker cp . stormpy:/opt/stormpy