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;