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

Merge branch 'master' of https://github.com/Z3Prover/z3

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-11-09 19:44:40 +00:00
parent 1807acdf26 84f935ae85
commit faace0e6a3
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/api/api_solver.cpp
View file

@ -103,6 +103,7 @@ extern "C" {
RESET_ERROR_CODE(); RESET_ERROR_CODE();
params_ref const& p = to_solver(s)->m_params; params_ref const& p = to_solver(s)->m_params;
Z3_solver_ref * sr = alloc(Z3_solver_ref, 0); Z3_solver_ref * sr = alloc(Z3_solver_ref, 0);
init_solver(c, s);
sr->m_solver = to_solver(s)->m_solver->translate(mk_c(target)->m(), p); sr->m_solver = to_solver(s)->m_solver->translate(mk_c(target)->m(), p);
mk_c(target)->save_object(sr); mk_c(target)->save_object(sr);
Z3_solver r = of_solver(sr); Z3_solver r = of_solver(sr);