C++ (Cpp) LOG_Z3_mk_context примеры использования

Пример #1

Файл: api_context.cpp Проект: kayceesrk/Z3

 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);
 }

Пример #2

Файл: api_context.cpp Проект: sukwon0709/byterun

 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);
 }