changed path of shielding testfiles

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

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