From 459e456f6646bb93241dd8c979067dc243f6d663 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 Oct 2015 17:37:33 -0700
Subject: [PATCH] disable memory finalization after quant_solve unit test.
 Related to issue #210

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/quant_solve.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/test/quant_solve.cpp b/src/test/quant_solve.cpp
index aa13061..ed332ce 100644
--- a/src/test/quant_solve.cpp
+++ b/src/test/quant_solve.cpp
@@ -238,6 +238,7 @@ static void test_quant_solve1() {
     test_quant_solver(m, "(exists ((c Cell)) (= (cell c c) c1))", false);
     test_quant_solver(m, "(exists ((c Cell)) (= (cell c (cdr c1)) c1))", false);
 
+
     test_quant_solver(m, "(exists ((t Tuple)) (= (tuple a P r1) t))");
     test_quant_solver(m, "(exists ((t Tuple)) (= a (first t)))");
     test_quant_solver(m, "(exists ((t Tuple)) (= P (second t)))");
@@ -253,11 +254,13 @@ void tst_quant_solve() {
 
     test_quant_solve1();   
 
+#if 0
     memory::finalize();
 #ifdef _WINDOWS
     _CrtDumpMemoryLeaks();
 #endif
     exit(0);
+#endif
 }
 
 
