diff --git a/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp b/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp index 0d1a71ba2..df7ca581a 100644 --- 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{"0"}); - GroundTruth.emplace("main", 2, "g", std::set{"2"}); - GroundTruth.emplace("main", 4, "call", std::set{"2", "4", "7"}); - GroundTruth.emplace("main", 4, "g", std::set{"2"}); + GroundTruth.emplace("main", 1, "g", std::set{"2"}); + GroundTruth.emplace("main", 2, "g", std::set{"8"}); + GroundTruth.emplace("main", 4, "call", + std::set{"10", "13", "14", "8"}); + GroundTruth.emplace("main", 4, "g", std::set{"8"}); doAnalysisAndCompareResults("global_05_cpp.ll", {"main"}, GroundTruth, true); }