Exemplos de LOG_Z3_get_error_msg em C++ (Cpp)

Exemplo n.º 1

Arquivo: api_context.cpp Projeto: kayceesrk/Z3

 char const * Z3_API Z3_get_error_msg(Z3_error_code err) {
     LOG_Z3_get_error_msg(err);
     return _get_error_msg_ex(0, err);
 }

Exemplo n.º 2

Arquivo: api_context.cpp Projeto: RickyUlrich/z3

 Z3_API char const * Z3_get_error_msg(Z3_context c, Z3_error_code err) {
     LOG_Z3_get_error_msg(c, err);
     return _get_error_msg(c, err);
 }