From ba6594b24176f5eb07bfabed4af90b6095ae5acd Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Mon, 31 Jul 2017 15:14:22 -0400
Subject: [PATCH] extra smt params used by spacer

---
 src/smt/params/smt_params.cpp | 3 +++
 src/smt/params/smt_params.h   | 9 +++++++++
 2 files changed, 12 insertions(+)

diff --git a/src/smt/params/smt_params.cpp b/src/smt/params/smt_params.cpp
index 453fb3e8e..8a8fac952 100644
--- a/src/smt/params/smt_params.cpp
+++ b/src/smt/params/smt_params.cpp
@@ -49,6 +49,9 @@ void smt_params::updt_local_params(params_ref const & _p) {
     else if (_p.get_bool("arith.least_error_pivot", false))
         m_arith_pivot_strategy = ARITH_PIVOT_LEAST_ERROR;
     theory_array_params::updt_params(_p);
+    m_dump_benchmarks = false;
+    m_dump_min_time = 0.5;
+    m_dump_recheck = false;
 }
 
 void smt_params::updt_params(params_ref const & p) {
diff --git a/src/smt/params/smt_params.h b/src/smt/params/smt_params.h
index 5f93276a1..4539ebe58 100644
--- a/src/smt/params/smt_params.h
+++ b/src/smt/params/smt_params.h
@@ -217,6 +217,15 @@ struct smt_params : public preprocessor_params,
     bool                m_dump_goal_as_smt;
     bool                m_auto_config;
 
+    // -----------------------------------
+    //
+    // Spacer hacking
+    //
+    // -----------------------------------
+    bool                m_dump_benchmarks;
+    double              m_dump_min_time;
+    bool                m_dump_recheck;
+
     // -----------------------------------
     //
     // Solver selection