fix ass3 4

SVF-tools · Mar 6, 2025 · 02fb1f2 · 02fb1f2
1 parent ab2650d
commit 02fb1f2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/Assignment-3/Test3.cpp b/Assignment-3/Test3.cpp
@@ -49,6 +49,7 @@ void Test1()
     delete andersenPTA; 
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
     SVF::SVFIR::releaseSVFIR();
+    NodeIDAllocator::unset();
 }
 
 void Test2()
@@ -65,6 +66,7 @@ void Test2()
     delete andersenPTA; 
     SVF::SVFIR::releaseSVFIR();
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
+    NodeIDAllocator::unset();
 }
 
 void Test3()
@@ -80,6 +82,7 @@ void Test3()
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
     SVF::SVFIR::releaseSVFIR();
     delete andersenPTA; 
+    NodeIDAllocator::unset();
 }
 void Test()
 {

diff --git a/Assignment-4/Test4.cpp b/Assignment-4/Test4.cpp
@@ -50,6 +50,7 @@ void Test1()
     cout << "\n test1 passed !" << endl;
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
     SVF::SVFIR::releaseSVFIR();
+    NodeIDAllocator::unset();
 }
 void Test2()
 {
@@ -66,6 +67,7 @@ void Test2()
     cout << "\n test2 passed !" << endl;
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
     SVF::SVFIR::releaseSVFIR();
+    NodeIDAllocator::unset();
 }
 
 void Test3()
@@ -83,7 +85,7 @@ void Test3()
     cout << "\n test3 passed !" << endl;
     SVF::SVFIR::releaseSVFIR();
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
-
+    NodeIDAllocator::unset();
 }
 
 void Test4()
@@ -102,6 +104,7 @@ void Test4()
     cout << "\n test4 passed !" << endl;
     SVF::LLVMModuleSet::releaseLLVMModuleSet();
     SVF::SVFIR::releaseSVFIR();
+    NodeIDAllocator::unset();
 }
 int main(int argc, char ** argv)
 {