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);
 }