From 09f0cc36a39e4e1f85ee57cf67402f6f7037f678 Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Fri, 3 Sep 2021 08:52:10 +0200
Subject: [PATCH] renamed shieldEnding to shieldFiletype

---
 .../prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp  | 6 +++---
 .../rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp  | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp
index 02dc012c6..af99ac910 100644
--- a/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp
@@ -57,7 +57,7 @@ namespace {
         ValueType parseNumber(std::string const& input) const { return storm::utility::convertNumber<ValueType>(input);}
 
         void convertShieldingFileToString(std::string filename, std::string &shieldingString) {
-            filename += shieldEnding;
+            filename += shieldFiletype;
             std::ifstream resultFile(filename);
             std::stringstream resultBuffer;
             resultBuffer << resultFile.rdbuf();
@@ -68,13 +68,13 @@ namespace {
             this->convertShieldingFileToString(filename, shieldingString);
             std::string compareFileName = STORM_TEST_RESOURCES_DIR "/mdp-shields/" + filename;
             this->convertShieldingFileToString(compareFileName, compareFileString);
-            filename += shieldEnding;
+            filename += shieldFiletype;
             std::remove(filename.c_str());
         }
 
     private:
         storm::Environment _environment;
-        std::string shieldEnding = ".shield";
+        std::string shieldFiletype = ".shield";
     };
 
     typedef ::testing::Types<
diff --git a/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp b/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp
index f9b75c7dd..72e89d49e 100644
--- a/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp
@@ -57,7 +57,7 @@ namespace {
         ValueType parseNumber(std::string const& input) const { return storm::utility::convertNumber<ValueType>(input);}
 
         void convertShieldingFileToString(std::string filename, std::string &shieldingString) {
-            filename += shieldEnding;
+            filename += shieldFiletype;
             std::ifstream resultFile(filename);
             std::stringstream resultBuffer;
             resultBuffer << resultFile.rdbuf();
@@ -68,14 +68,14 @@ namespace {
             this->convertShieldingFileToString(filename, shieldingString);
             std::string compareFileName = STORM_TEST_RESOURCES_DIR "/smg-shields/" + filename;
             this->convertShieldingFileToString(compareFileName, compareFileString);
-            filename += shieldEnding;
+            filename += shieldFiletype;
             std::remove(filename.c_str());
         }
 
 
     private:
         storm::Environment _environment;
-        std::string shieldEnding = ".shield";
+        std::string shieldFiletype = ".shield";
     };
 
     typedef ::testing::Types<