mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
freeze functions with callbacks for ocaml
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
1ab7be67d0
commit
cf4149d53e
|
@ -1397,7 +1397,12 @@ z3_long_funs = frozenset([
|
|||
])
|
||||
|
||||
z3_ml_overrides = frozenset([
|
||||
'Z3_mk_config'
|
||||
'Z3_mk_config',
|
||||
'Z3_solver_propagate_init',
|
||||
'Z3_solver_propagate_fixed',
|
||||
'Z3_solver_propagate_eq',
|
||||
'Z3_solver_propagate_diseq',
|
||||
'Z3_solver_propagate_created'
|
||||
])
|
||||
|
||||
def mk_z3native_stubs_c(ml_src_dir, ml_output_dir): # C interface
|
||||
|
|
Loading…
Reference in a new issue