From 06097ae70a70e43415f13006e5da7d7e58c99beb Mon Sep 17 00:00:00 2001
From: jumormt <jumormt@163.com>
Date: Wed, 25 Sep 2024 11:52:52 +1000
Subject: [PATCH] update test ground truth

---
 Assignment-2/Test2.cpp | 8 ++++----
 Assignment-4/Test4.cpp | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Assignment-2/Test2.cpp b/Assignment-2/Test2.cpp
index 2cbf70d..8e30113 100644
--- a/Assignment-2/Test2.cpp
+++ b/Assignment-2/Test2.cpp
@@ -50,7 +50,7 @@ void Test1()
             gt->reachability(src, snk);
         }
     }
-    std::set<std::string> expected = {"START->16->1->2->END"};
+    std::set<std::string> expected = {"START->17->1->7->END"};
     assert(expected == gt->getPaths() && "test1 failed!");
     std::cout << "test1 passed!" << "\n";
     SVFIR::releaseSVFIR();
@@ -80,7 +80,7 @@ void Test2()
         }
     }
     
-    std::set<std::string> expected = {"START->5->6->7->8->11->1->2->3->12->15->END", "START->5->6->7->8->9->1->2->3->10->13->END"};
+    std::set<std::string> expected = {"START->6->7->8->9->10->1->5->2->11->14->END", "START->6->7->8->9->12->1->5->2->13->16->END"};
     assert(expected == gt->getPaths() && "test2 failed!");
     std::cout << "test2 passed!" << "\n";
     LLVMModuleSet::releaseLLVMModuleSet();
@@ -110,9 +110,9 @@ void Test3()
         }
     }
 
-    std::set<std::string> expected = {"START->10->11->12->13->4->5->6->7->14->15->4->5->6->7->16->17->18->END"};
+    std::set<std::string> expected = {"START->11->12->13->14->3->8->9->4->15->16->3->8->9->4->17->18->19->END"};
     assert(expected == gt->getPaths() && "test3 failed!");
-    std::cout << "test2 passed!" << "\n";
+    std::cout << "test3 passed!" << "\n";
     LLVMModuleSet::releaseLLVMModuleSet();
     SVFIR::releaseSVFIR();
     delete gt;
diff --git a/Assignment-4/Test4.cpp b/Assignment-4/Test4.cpp
index 0321f50..7baeb37 100644
--- a/Assignment-4/Test4.cpp
+++ b/Assignment-4/Test4.cpp
@@ -45,7 +45,7 @@ void Test1()
     SVF::SVFIR *pag = builder.build();
     TaintGraphTraversal* taint = new TaintGraphTraversal(pag);
     taint->taintChecking();
-    set<string> expected = {"START->5->1->2->3->6->7->8->9->END"};
+    set<string> expected = {"START->6->1->5->2->7->8->9->10->END"};
     assert(taint->getPaths() == expected && " \n wrong paths generated - test1 failed !");
     cout << "\n test1 passed !" << endl;
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
@@ -97,7 +97,7 @@ void Test4()
     TaintGraphTraversal* taint = new TaintGraphTraversal(pag);
     
     taint->taintChecking();
-    set<string> expected = {"START->5->1->2->3->6->7->8->9->10->12->14->END"};
+    set<string> expected = {"START->6->1->5->2->7->8->9->10->11->13->14->END"};
     assert(taint->getPaths() == expected && " \n wrong paths generated - test4 failed !");
     cout << "\n test4 passed !" << endl;
     SVF::LLVMModuleSet::releaseLLVMModuleSet();