CI Fix for FIIA GlobalTest_05

secure-software-engineering · Jan 5, 2025 · ca67f0c · ca67f0c
1 parent 46338ba
commit ca67f0c
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp b/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp
@@ -444,10 +444,11 @@ TEST_F(IDEInstInteractionAnalysisTest, HandleGlobalTest_05) {
   // NOTE: Facts at init() should be empty, except for its own ID;
   //       g should be strongly updated
 
-  GroundTruth.emplace("main", 1, "g", std::set<std::string>{"0"});
-  GroundTruth.emplace("main", 2, "g", std::set<std::string>{"2"});
-  GroundTruth.emplace("main", 4, "call", std::set<std::string>{"2", "4", "7"});
-  GroundTruth.emplace("main", 4, "g", std::set<std::string>{"2"});
+  GroundTruth.emplace("main", 1, "g", std::set<std::string>{"2"});
+  GroundTruth.emplace("main", 2, "g", std::set<std::string>{"8"});
+  GroundTruth.emplace("main", 4, "call",
+                      std::set<std::string>{"10", "13", "14", "8"});
+  GroundTruth.emplace("main", 4, "g", std::set<std::string>{"8"});
 
   doAnalysisAndCompareResults("global_05_cpp.ll", {"main"}, GroundTruth, true);
 }