From 8ffcabc79de3edadea45970c647b79db7ac01693 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 26 Jul 2021 18:23:41 +0200
Subject: [PATCH] fixed error messages in shield handling

---
 src/storm/shields/shield-handling.h | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/storm/shields/shield-handling.h b/src/storm/shields/shield-handling.h
index ba59e8054..ef4686334 100644
--- a/src/storm/shields/shield-handling.h
+++ b/src/storm/shields/shield-handling.h
@@ -37,7 +37,7 @@ namespace tempest {
                 PostSafetyShield<ValueType, IndexType> shield(model->getTransitionMatrix().getRowGroupIndices(), choiceValues, shieldingExpression, optimizationDirection, relevantStates, coalitionStates);
                 shield.construct().printToStream(stream, shieldingExpression, model);
             } else {
-                STORM_LOG_THROW(false, storm::exceptions::InvalidArgumentException, "Cannot create " + shieldingExpression->typeToString() + " shields yet");
+                STORM_LOG_THROW(false, storm::exceptions::InvalidArgumentException, "Unknown Shielding Type: " + shieldingExpression->typeToString());
                 storm::utility::closeFile(stream);
             }
             storm::utility::closeFile(stream);
@@ -48,11 +48,10 @@ namespace tempest {
             std::ofstream stream;
             storm::utility::openFile(shieldFilename(shieldingExpression), stream);
             if(shieldingExpression->isOptimalShield()) {
-                STORM_LOG_DEBUG("createOptimalShield");
                 OptimalShield<ValueType, IndexType> shield(model->getTransitionMatrix().getRowGroupIndices(), precomputedChoices, shieldingExpression, optimizationDirection, relevantStates, coalitionStates);
                 shield.construct().printToStream(stream, shieldingExpression, model);
             } else {
-                STORM_LOG_THROW(false, storm::exceptions::InvalidArgumentException, "Cannot create " + shieldingExpression->typeToString() + " shields yet");
+                STORM_LOG_THROW(false, storm::exceptions::InvalidArgumentException, "Unknown Shielding Type: " + shieldingExpression->typeToString());
                 storm::utility::closeFile(stream);
             }
             storm::utility::closeFile(stream);