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

/freebsd-13-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp43 void Z3ErrorHandler(Z3_context Context, Z3_error_code Error) { function in namespace:__anon3825
57 Z3_set_error_handler(Context, Z3ErrorHandler);

Completed in 98 milliseconds