From 760c6e9f567a3dc694bee576ebe32b7dca9a39d8 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 7 Sep 2020 14:08:17 +0200
Subject: [PATCH] Require Storm version 1.6.2

---
 .travis.yml  | 8 ++++----
 CHANGELOG.md | 6 +++++-
 setup.py     | 2 +-
 3 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 810b2d4..a59a4c3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -48,13 +48,13 @@ jobs:
     # Docker Storm stable
     - os: linux
       compiler: gcc
-      env: TASK=Test CONFIG=Release DOCKER=storm:1.6.0 PYTHON=python3
+      env: TASK=Test CONFIG=Release DOCKER=storm:1.6.2 PYTHON=python3
       script:
         travis/build.sh
     # Docker Storm stable in debug mode
     - os: linux
       compiler: gcc
-      env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.0-debug PYTHON=python3
+      env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.2-debug PYTHON=python3
       script:
         travis/build.sh
     # Documentation
@@ -76,6 +76,6 @@ jobs:
   # Allow failures of stable versions as new features might have been added
   allow_failures:
     - os: linux
-      env: TASK=Test CONFIG=Release DOCKER=storm:1.6.0 PYTHON=python3
+      env: TASK=Test CONFIG=Release DOCKER=storm:1.6.2 PYTHON=python3
     - os: linux
-      env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.0-debug PYTHON=python3
+      env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.2-debug PYTHON=python3
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 17cfbbf..eaa9077 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,7 +4,8 @@ Changelog
 Version 1.6.x
 -------------
 
-### Version 1.6.1 (under development)
+### Version 1.6.2 (under development)
+Requires storm version >= 1.6.2 and pycarl version >= 2.0.4
 
 - Adaptions to changes in Storm
 - Explicit State Lookup: Finding a state based on the variable values
@@ -14,6 +15,9 @@ Version 1.6.x
 - Renamed `preprocess_prism_program` to `preprocess_symbolic_input`
 - Bindings for Storm-dft; most notably transformations, symmetries and relevant events
 
+### Version 1.6.1
+Skipped for compatibility with Storm.
+
 ### Version 1.6.0 (2020/06)
 Requires storm version >= 1.6.0 and pycarl version >= 2.0.4
 
diff --git a/setup.py b/setup.py
index e91e74d..977d354 100755
--- a/setup.py
+++ b/setup.py
@@ -14,7 +14,7 @@ if sys.version_info[0] == 2:
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.6.1"
+storm_min_version = "1.6.2"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f: