Start fixing CI for FIIA

secure-software-engineering · Jan 5, 2025 · 402eec1 · 402eec1
1 parent 0207c1f
commit 402eec1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp b/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp
@@ -139,7 +139,7 @@ class IDEInstInteractionAnalysisTest : public ::testing::Test {
     }
 
     if (HasFailure()) {
-      IIASolver.dumpResults();
+      IIASolver.dumpResults(llvm::errs());
       llvm::errs()
           << "\n======================================================\n";
       printDump(HA->getProjectIRDB(), IIASolver.getSolverResults());
@@ -322,7 +322,7 @@ TEST_F(IDEInstInteractionAnalysisTest, HandleCallTest_01) {
                       std::set<std::string>{"12", "9", "10", "11"});
   GroundTruth.emplace(
       "main", 14, "k",
-      std::set<std::string>{"15", "1", "2", "13", "12", "9", "10", "11"});
+      std::set<std::string>{"15", "1", "2", "13", "14", "12", "9", "10", "11"});
   doAnalysisAndCompareResults("call_01_cpp.ll", {"main"}, GroundTruth, false);
 }
 
@@ -333,7 +333,7 @@ TEST_F(IDEInstInteractionAnalysisTest, HandleCallTest_02) {
   GroundTruth.emplace("main", 13, "j", std::set<std::string>{"14"});
   GroundTruth.emplace("main", 13, "k",
                       std::set<std::string>{"4", "5", "15", "6", "3", "14", "2",
-                                            "13", "16", "18"});
+                                            "13", "16", "17", "18"});
   doAnalysisAndCompareResults("call_02_cpp.ll", {"main"}, GroundTruth, false);
 }