From aae44a3b4b157738a9cee82a34cef5bfd5222f44 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 22 May 2020 13:22:40 +0200
Subject: [PATCH] Fixed error message that appeared when using jit.
---
src/storm/utility/Engine.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/storm/utility/Engine.cpp b/src/storm/utility/Engine.cpp
index 89e7f072a..02aae8e1d 100644
--- a/src/storm/utility/Engine.cpp
+++ b/src/storm/utility/Engine.cpp
@@ -108,6 +108,7 @@ namespace storm {
switch (engine) {
case Engine::Sparse:
case Engine::DdSparse:
+ case Engine::Jit:
switch (modelType) {
case ModelType::DTMC:
return storm::modelchecker::SparseDtmcPrctlModelChecker<storm::models::sparse::Dtmc<ValueType>>::canHandleStatic(checkTask);
@@ -148,7 +149,7 @@ namespace storm {
}
break;
default:
- STORM_LOG_ERROR("The selected engine" << engine << " is not considered.");
+ STORM_LOG_ERROR("The selected engine " << engine << " is not considered.");
}
STORM_LOG_ERROR("The selected combination of engine (" << engine << ") and model type (" << modelType << ") does not seem to be supported for this value type.");
return false;