From 37d5dceaabcc4e7cf9a1115f8b2ecab21ab78ba0 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 18 Sep 2017 11:35:34 +0200
Subject: [PATCH] added small check

---
 .../modelchecker/multiobjective/rewardbounded/EpochManager.cpp   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/modelchecker/multiobjective/rewardbounded/EpochManager.cpp b/src/storm/modelchecker/multiobjective/rewardbounded/EpochManager.cpp
index 8a196627c..f7d9219fd 100644
--- a/src/storm/modelchecker/multiobjective/rewardbounded/EpochManager.cpp
+++ b/src/storm/modelchecker/multiobjective/rewardbounded/EpochManager.cpp
@@ -14,6 +14,7 @@ namespace storm {
             
             EpochManager::EpochManager(uint64_t dimensionCount) : dimensionCount(dimensionCount) {
                 STORM_LOG_THROW(dimensionCount > 0, storm::exceptions::IllegalArgumentException, "Invoked EpochManager with zero dimension count.");
+                STORM_LOG_THROW(dimensionCount <= 64, storm::exceptions::IllegalArgumentException, "Invoked EpochManager with too many dimensions.");
                 bitsPerDimension = 64 / dimensionCount;
                 if (dimensionCount == 1) {
                     dimensionBitMask = -1ull;