From 7ee7051df025e6db566fc67086a7aa4e1023c8f2 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Fri, 2 Aug 2024 14:29:30 +0200
Subject: [PATCH] test: c api: Fix memory leaks in capi_issue11069 (#11116)

---
 test/api/c/issue11069.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/test/api/c/issue11069.c b/test/api/c/issue11069.c
index 686ceeaec89..6f6153cf99e 100644
--- a/test/api/c/issue11069.c
+++ b/test/api/c/issue11069.c
@@ -1,6 +1,6 @@
 /******************************************************************************
  * Top contributors (to current version):
- *   Andrew Reynolds
+ *   Andrew Reynolds, Daniel Larraz
  *
  * This file is part of the cvc5 project.
  *
@@ -60,5 +60,11 @@ int main()
   result = cvc5_check_sat(slv);
   printf("Result: %s\n", cvc5_result_to_string(result));
   assert(cvc5_result_is_unsat(result));
+
+  cvc5_parser_delete(parser);
+  cvc5_symbol_manager_delete(sm);
+  cvc5_delete(slv);
+  cvc5_term_manager_delete(tm);
+
   return 0;
 }