mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

fixing #5473

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-11-30 17:08:28 -08:00
parent 9e51691285
commit 3c1aedf219
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/api/api_parsers.cpp
View file

@ -157,6 +157,9 @@ extern "C" {
LOG_Z3_eval_smtlib2_string(c, str); LOG_Z3_eval_smtlib2_string(c, str);
if (!mk_c(c)->cmd()) { if (!mk_c(c)->cmd()) {
mk_c(c)->cmd() = alloc(cmd_context, false, &(mk_c(c)->m())); mk_c(c)->cmd() = alloc(cmd_context, false, &(mk_c(c)->m()));
install_dl_cmds(*mk_c(c)->cmd());
install_opt_cmds(*mk_c(c)->cmd());
install_smt2_extra_cmds(*mk_c(c)->cmd());
mk_c(c)->cmd()->set_solver_factory(mk_smt_strategic_solver_factory()); mk_c(c)->cmd()->set_solver_factory(mk_smt_strategic_solver_factory());
} }
scoped_ptr<cmd_context>& ctx = mk_c(c)->cmd(); scoped_ptr<cmd_context>& ctx = mk_c(c)->cmd();