Searched refs:Z3ErrorHandler (Results 1 - 1 of 1) sorted by relevance

/freebsd-12-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp42 void Z3ErrorHandler(Z3_context Context, Z3_error_code Error) { function in namespace:__anon4884
56 Z3_set_error_handler(Context, Z3ErrorHandler);

Completed in 101 milliseconds