update test ground truth

SVF-tools · Sep 25, 2024 · 06097ae · 06097ae
1 parent d3cd3e5
commit 06097ae
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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();