mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

Fix installation of custom error handler during context creation in OCaml bindings

Browse source 
This patch fixes a bug detected by valgrind, where a custom error handler
did not get installed correctly.
This commit is contained in:
martin-neuhaeusser 2016-04-11 15:06:28 +02:00 committed by Martin R. Neuhaeusser
parent 324fcc6a13
commit 34bf4b1d3c
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/api/ml/z3native_stubs.c.pre
View file

@ -436,8 +436,10 @@ void MLErrorHandler(Z3_context c, Z3_error_code e)
n_* wrapper functions. */
}
void DLL_PUBLIC n_set_internal_error_handler(value a0)
CAMLprim value DLL_PUBLIC n_set_internal_error_handler(value ctx_v)
{
Z3_context _a0 = * (Z3_context*) Data_custom_val(a0);
Z3_set_error_handler(_a0, MLErrorHandler);
CAMLparam1(ctx_v);
Z3_context_plus ctx_p = *(Z3_context_plus*) Data_custom_val(ctx_v);
Z3_set_error_handler(ctx_p->ctx, MLErrorHandler);
CAMLreturn(Val_unit);
}