update ass3

bjjwwang · bjjwwang · commit e360d20448c6 · 2025-08-26T05:30:52.000Z
diff --git a/Assignment-3/test.cpp b/Assignment-3/test.cpp
@@ -132,11 +132,6 @@ void TestTaint(std::vector<std::string>& moduleNameVec) {
 		assert(taint->getPaths() == expected && " \n wrong paths generated - test1 failed !");
 		cout << "\n test1 passed !" << endl;
 	}
-	else if (moduleName == "test4.ll") {
-		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 test2 passed !" << endl;
-	}
 	SVF::SVFIR::releaseSVFIR();
 	SVF::LLVMModuleSet::releaseLLVMModuleSet();
 }

Original file line number	Diff line number	Diff line change
`@@ -132,11 +132,6 @@ void TestTaint(std::vector<std::string>& moduleNameVec) {`
`132`	`132`	`assert(taint->getPaths() == expected && " \n wrong paths generated - test1 failed !");`
`133`	`133`	`cout << "\n test1 passed !" << endl;`
`134`	`134`	`}`
`135`		`- else if (moduleName == "test4.ll") {`
`136`		`- set<string> expected = {"START->6->1->5->2->7->8->9->10->11->13->14->END"};`
`137`		`- assert(taint->getPaths() == expected && " \n wrong paths generated - test4 failed !");`
`138`		`- cout << "\n test2 passed !" << endl;`
`139`		`- }`
`140`	`135`	`SVF::SVFIR::releaseSVFIR();`
`141`	`136`	`SVF::LLVMModuleSet::releaseLLVMModuleSet();`
`142`	`137`	`}`