Additionally test storm-debug in travis

.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:

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