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