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