@@ -53,8 +53,9 @@ void Test1()
5353 std::set<std::string> expected = {" START->17->1->7->END" };
5454 assert (expected == gt->getPaths () && " test1 failed!" );
5555 std::cout << " test1 passed!" << " \n " ;
56- SVFIR::releaseSVFIR ();
57- LLVMModuleSet::releaseLLVMModuleSet ();
56+ SVF::LLVMModuleSet::releaseLLVMModuleSet ();
57+ SVF::SVFIR::releaseSVFIR ();
58+ NodeIDAllocator::unset ();
5859 delete gt;
5960}
6061
@@ -83,8 +84,9 @@ void Test2()
8384 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" };
8485 assert (expected == gt->getPaths () && " test2 failed!" );
8586 std::cout << " test2 passed!" << " \n " ;
86- LLVMModuleSet::releaseLLVMModuleSet ();
87- SVFIR::releaseSVFIR ();
87+ SVF::LLVMModuleSet::releaseLLVMModuleSet ();
88+ SVF::SVFIR::releaseSVFIR ();
89+ NodeIDAllocator::unset ();
8890 delete gt;
8991}
9092
@@ -113,8 +115,9 @@ void Test3()
113115 std::set<std::string> expected = {" START->11->12->13->14->3->8->9->4->15->16->3->8->9->4->17->18->19->END" };
114116 assert (expected == gt->getPaths () && " test3 failed!" );
115117 std::cout << " test3 passed!" << " \n " ;
116- LLVMModuleSet::releaseLLVMModuleSet ();
117- SVFIR::releaseSVFIR ();
118+ SVF::LLVMModuleSet::releaseLLVMModuleSet ();
119+ SVF::SVFIR::releaseSVFIR ();
120+ NodeIDAllocator::unset ();
118121 delete gt;
119122}
120123
0 commit comments