From 6eeed84383283278ba7e5583b8658f07e3425ee1 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 20 Jun 2025 22:48:42 +0000
Subject: [PATCH] Initial analysis of memory leak issue

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 leak.smt2 | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 leak.smt2

diff --git a/leak.smt2 b/leak.smt2
new file mode 100644
index 000000000..bf8c7b472
--- /dev/null
+++ b/leak.smt2
@@ -0,0 +1,2 @@
+(assert (< 0 (div 0 0)))
+(check-sat)
\ No newline at end of file