Z3_context Z3_API Z3_mk_context(Z3_config c) { Z3_TRY; LOG_Z3_mk_context(c); memory::initialize(UINT_MAX); Z3_context r = reinterpret_cast<Z3_context>(alloc(api::context, reinterpret_cast<context_params*>(c), false)); RETURN_Z3(r); Z3_CATCH_RETURN_NO_HANDLE(0); }
Z3_context Z3_API Z3_mk_context(Z3_config c) { LOG_Z3_mk_context(c); memory::initialize(0); Z3_context r = reinterpret_cast<Z3_context>(alloc(api::context, reinterpret_cast<api::config_params*>(c), false)); RETURN_Z3(r); }