From 188aea3fb109c0cff5196c57e0e016ba0e014e4f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Dec 2012 13:48:27 -0800 Subject: [PATCH] fix test Signed-off-by: Nikolaj Bjorner --- src/smt/params/smt_params.cpp | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/smt/params/smt_params.cpp b/src/smt/params/smt_params.cpp index 70f0ad811..f74798499 100644 --- a/src/smt/params/smt_params.cpp +++ b/src/smt/params/smt_params.cpp @@ -22,6 +22,8 @@ Revision History: void smt_params::updt_local_params(params_ref const & _p) { smt_params_helper p(_p); m_auto_config = p.auto_config(); + m_random_seed = p.random_seed(); + m_relevancy_lvl = p.relevancy(); m_ematching = p.ematching(); m_phase_selection = static_cast(p.phase_selection()); m_restart_strategy = static_cast(p.restart_strategy()); @@ -29,6 +31,11 @@ void smt_params::updt_local_params(params_ref const & _p) { m_case_split_strategy = static_cast(p.case_split()); m_delay_units = p.delay_units(); m_delay_units_threshold = p.delay_units_threshold(); + m_preprocess = _p.get_bool("preprocess", true); // hidden parameter + if (_p.get_bool("arith.greatest_error_pivot", false)) + m_arith_pivot_strategy = ARITH_PIVOT_GREATEST_ERROR; + else if (_p.get_bool("arith.least_error_pivot", false)) + m_arith_pivot_strategy = ARITH_PIVOT_LEAST_ERROR; } void smt_params::updt_params(params_ref const & p) { @@ -43,7 +50,5 @@ void smt_params::updt_params(context_params const & p) { m_auto_config = p.m_auto_config; m_soft_timeout = p.m_timeout; m_model = p.m_model; - m_model_validate = p.m_validate_model; - m_proof_mode = p.m_proof ? PGM_FINE : PGM_DISABLED; + m_model_validate = p.m_model_validate; } -