Searched refs:Z3ErrorHandler (Results 1 – 1 of 1) sorted by relevance
43 void Z3ErrorHandler(Z3_context Context, Z3_error_code Error) { in Z3ErrorHandler() function57 Z3_set_error_handler(Context, Z3ErrorHandler); in Z3Context()