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