From 43b58a65c71a21636363874e1d0b31e2e35a9139 Mon Sep 17 00:00:00 2001 From: lukpo Date: Fri, 3 Sep 2021 09:14:19 +0200 Subject: [PATCH] changed path of shielding testfiles --- .../prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp | 2 +- .../rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp index af99ac910..a9e41a304 100644 --- a/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/prctl/mdp/ShieldGenerationMdpPrctlModelCheckerTest.cpp @@ -66,7 +66,7 @@ namespace { void getStringsToCompare(std::string filename, std::string &shieldingString, std::string &compareFileString) { this->convertShieldingFileToString(filename, shieldingString); - std::string compareFileName = STORM_TEST_RESOURCES_DIR "/mdp-shields/" + filename; + std::string compareFileName = STORM_TEST_RESOURCES_DIR "/shields/mdp-shields/" + filename; this->convertShieldingFileToString(compareFileName, compareFileString); filename += shieldFiletype; std::remove(filename.c_str()); diff --git a/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp b/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp index 72e89d49e..b0f26f02b 100644 --- a/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/rpatl/smg/ShieldGenerationSmgRpatlModelCheckerTest.cpp @@ -66,7 +66,7 @@ namespace { 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; + std::string compareFileName = STORM_TEST_RESOURCES_DIR "/shields/smg-shields/" + filename; this->convertShieldingFileToString(compareFileName, compareFileString); filename += shieldFiletype; std::remove(filename.c_str());