From ee07008fb9ffe16726d1721dc16382de8a442c12 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 14 Jan 2019 15:04:46 -0800 Subject: [PATCH] import files from csp Signed-off-by: Nikolaj Bjorner --- src/shell/smtlib_frontend.cpp | 1 - src/util/ema.h | 4 ++++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/src/shell/smtlib_frontend.cpp b/src/shell/smtlib_frontend.cpp index 7218558fa..0f156bced 100644 --- a/src/shell/smtlib_frontend.cpp +++ b/src/shell/smtlib_frontend.cpp @@ -73,7 +73,6 @@ unsigned read_smtlib2_commands(char const * file_name) { cmd_context ctx; ctx.set_solver_factory(mk_smt_strategic_solver_factory()); - ctx.set_interpolating_solver_factory(mk_smt_solver_factory()); install_dl_cmds(ctx); install_dbg_cmds(ctx); diff --git a/src/util/ema.h b/src/util/ema.h index 5a32e021c..7391d8ea0 100644 --- a/src/util/ema.h +++ b/src/util/ema.h @@ -51,6 +51,10 @@ class ema { m_beta *= 0.5; if (m_beta < m_alpha) m_beta = m_alpha; } + + void set(double x) { + m_value = x; + } }; #endif