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(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(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<