test: c api: Fix memory leaks in capi_issue11069 (cvc5#11116)

ajreynol · Aug 2, 2024 · 7ee7051 · 7ee7051
1 parent 04190ae
commit 7ee7051
Showing 1 changed file with 7 additions and 1 deletion.
diff --git 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;
 }