From e4b85d234ebf341b7c3896895ed4ad5f7aefb714 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 9 Mar 2026 16:44:45 +0000
Subject: [PATCH 1/2] Initial plan


From 7d19851c2f1aed00913df7fbbdf842ad449d478f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 9 Mar 2026 16:48:17 +0000
Subject: [PATCH 2/2] fix: fix memory leaks detected by ASan in test code

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/test/dl_relation.cpp | 2 ++
 src/test/simplifier.cpp  | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/test/dl_relation.cpp b/src/test/dl_relation.cpp
index 1646350f2..709712bc3 100644
--- a/src/test/dl_relation.cpp
+++ b/src/test/dl_relation.cpp
@@ -111,6 +111,7 @@ namespace datalog {
         i5->deallocate();
         dealloc(join1);
         dealloc(proj1);
+        dealloc(proj2);
         dealloc(ren1);
         dealloc(union1);
         dealloc(filterId1);
@@ -281,6 +282,7 @@ namespace datalog {
         i5->deallocate();
         dealloc(join1);
         dealloc(proj1);
+        dealloc(proj2);
         dealloc(ren1);
         dealloc(union1);
         dealloc(filterId1);
diff --git a/src/test/simplifier.cpp b/src/test/simplifier.cpp
index f3a5ba8b2..a4da49861 100644
--- a/src/test/simplifier.cpp
+++ b/src/test/simplifier.cpp
@@ -138,6 +138,7 @@ static void test_skolemize_bug() {
     Z3_ast f3 = Z3_simplify(ctx, f2);
     std::cout << Z3_ast_to_string(ctx, f3) << "\n";
 
+    Z3_del_context(ctx);
 }