From 459e456f6646bb93241dd8c979067dc243f6d663 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner 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 --- 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 aa1306128..ed332ce26 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 }