From 9a0794fca1b2a63d79e2bb34109c674886166c0b Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 25 Oct 2018 19:11:27 +0200 Subject: [PATCH] refined error message wrt unexpected type of scheduler --- .../modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp index 8c7b93738..eb90df88d 100644 --- a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp +++ b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp @@ -1277,7 +1277,11 @@ namespace storm { } // Sanity check for created scheduler. - STORM_LOG_ASSERT((!produceScheduler && !scheduler) || (!scheduler->isPartialScheduler() && scheduler->isDeterministicScheduler() && scheduler->isMemorylessScheduler()), "Unexpected format of obtained scheduler."); + STORM_LOG_ASSERT(!produceScheduler || scheduler, "Expected that a scheduler was obtained."); + STORM_LOG_ASSERT((!produceScheduler && !scheduler) || !scheduler->isPartialScheduler(), "Expected a fully defined scheduler"); + STORM_LOG_ASSERT((!produceScheduler && !scheduler) || !scheduler->isDeterministicScheduler(), "Expected a deterministic scheduler"); + STORM_LOG_ASSERT((!produceScheduler && !scheduler) || !scheduler->isMemorylessScheduler(), "Expected a memoryless scheduler"); + return MDPSparseModelCheckingHelperReturnType(std::move(result), std::move(scheduler)); }