mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix #6023

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-05-08 12:03:13 -07:00
parent 97af3a6120
commit 1e7a9e3e61
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/cmd_context/parametric_cmd.h
View file

@ -34,6 +34,7 @@ public:
virtual void init_pdescrs(cmd_context & ctx, param_descrs & d) = 0; virtual void init_pdescrs(cmd_context & ctx, param_descrs & d) = 0;
param_descrs const & pdescrs(cmd_context & ctx) const; param_descrs const & pdescrs(cmd_context & ctx) const;
params_ref const & ps() const { return m_params; } params_ref const & ps() const { return m_params; }
void reset_params() { m_params.reset(); }
virtual char const * get_main_descr() const = 0; virtual char const * get_main_descr() const = 0;
char const * get_descr(cmd_context & ctx) const override; char const * get_descr(cmd_context & ctx) const override;
unsigned get_arity() const override { return VAR_ARITY; } unsigned get_arity() const override { return VAR_ARITY; }

1
src/opt/opt_cmds.cpp
View file

@ -105,6 +105,7 @@ public:
get_opt(ctx, m_opt).add_soft_constraint(m_formula, weight, id); get_opt(ctx, m_opt).add_soft_constraint(m_formula, weight, id);
ctx.print_success(); ctx.print_success();
reset(ctx); reset(ctx);
reset_params();
} }
void finalize(cmd_context & ctx) override { void finalize(cmd_context & ctx) override {