From 8480b273110bfb2b294143d4352b5806a9a4965f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 2 Feb 2013 08:58:59 -0800 Subject: [PATCH] Set :print-success to true, when SMTLIB2_COMPLIANT mode is set. Signed-off-by: Leonardo de Moura --- src/cmd_context/cmd_context.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp index b511786bf..f94b2a5da 100644 --- a/src/cmd_context/cmd_context.cpp +++ b/src/cmd_context/cmd_context.cpp @@ -304,8 +304,8 @@ cmd_context::cmd_context(bool main_ctx, ast_manager * m, symbol const & l): m_main_ctx(main_ctx), m_logic(l), m_interactive_mode(false), - m_global_decls(false), // :global-decls is false by default. - m_print_success(false), // params.m_smtlib2_compliant), + m_global_decls(false), + m_print_success(m_params.m_smtlib2_compliant), m_random_seed(0), m_produce_unsat_cores(false), m_produce_assignments(false), @@ -352,6 +352,8 @@ void cmd_context::set_cancel(bool f) { void cmd_context::global_params_updated() { m_params.updt_params(); + if (m_params.m_smtlib2_compliant) + m_print_success = true; if (m_solver) { params_ref p; if (!m_params.m_auto_config)