From 4925135f8781cec002be5e30b117c5f87c4c6e12 Mon Sep 17 00:00:00 2001 From: lukpo Date: Fri, 27 Aug 2021 15:07:28 +0200 Subject: [PATCH] added conversion methods for ShieldGenerationSmgRpatlModelCheckerTest.cpp --- ...hieldGenerationSmgRpatlModelCheckerTest.cpp | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp b/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp index 0410c671f..f9b75c7dd 100644 --- a/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp @@ -56,8 +56,26 @@ namespace { ValueType parseNumber(std::string const& input) const { return storm::utility::convertNumber(input);} + void convertShieldingFileToString(std::string filename, std::string &shieldingString) { + filename += shieldEnding; + std::ifstream resultFile(filename); + std::stringstream resultBuffer; + resultBuffer << resultFile.rdbuf(); + shieldingString = resultBuffer.str(); + } + + void getStringsToCompare(std::string filename, std::string &shieldingString, std::string &compareFileString) { + this->convertShieldingFileToString(filename, shieldingString); + std::string compareFileName = STORM_TEST_RESOURCES_DIR "/smg-shields/" + filename; + this->convertShieldingFileToString(compareFileName, compareFileString); + filename += shieldEnding; + std::remove(filename.c_str()); + } + + private: storm::Environment _environment; + std::string shieldEnding = ".shield"; }; typedef ::testing::Types<