From c5187902ad1c880287fb030b4b9061b12b3fa154 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Dec 2019 10:16:18 -0800
Subject: [PATCH] reset also m_values (#107)

* fixes to use list bookkeeping

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* fix reset logic

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* fix non-termination bug in simplifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* missing reset of values

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/dd/dd_pdd.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp
index 13451f270..9d88a730c 100644
--- a/src/math/dd/dd_pdd.cpp
+++ b/src/math/dd/dd_pdd.cpp
@@ -51,6 +51,8 @@ namespace dd {
         m_free_nodes.reset();
         m_pdd_stack.reset();
         m_values.reset();
+        m_mpq_table.reset();        
+        m_values.reset();
         m_free_values.reset();
         m_mpq_table.reset();  
         init_nodes(level2var);