void operator()(event_handler_caller_t caller_id) { #pragma omp critical (g_timeout_cs) { std::cout << "timeout\n"; m_caller_id = caller_id; if (g_on_timeout) g_on_timeout(); if (g_timeout) delete g_timeout; g_timeout = 0; throw z3_error(ERR_TIMEOUT); } }
static void throw_z3_error(Z3_error_code c){ throw z3_error(c); }