From 02fb1f2fa404892b8e2c4f99b5362d2593394989 Mon Sep 17 00:00:00 2001
From: bjjwwang <bjjwwang@github.com>
Date: Thu, 6 Mar 2025 08:01:14 +0000
Subject: [PATCH] fix ass3 4

---
 Assignment-3/Test3.cpp | 3 +++
 Assignment-4/Test4.cpp | 5 ++++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/Assignment-3/Test3.cpp b/Assignment-3/Test3.cpp
index 0aa9f50..171f475 100644
--- 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
index 5e6c460..197cd9d 100644
--- 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)
 {