mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 23:33:41 +00:00
Code Activity

Fix out of bounds error in OCaml API (#7665)

Browse source
This commit is contained in:
Brandon Stride 2025-05-29 10:45:37 -04:00
parent 4b2e5adc11
commit a6a6f0323e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/ml/z3.ml
View file

@ -1617,7 +1617,7 @@ struct
let g i = Z3native.model_get_const_decl (gc x) x i in let g i = Z3native.model_get_const_decl (gc x) x i in
List.init (n_funcs + n_consts) (fun i -> List.init (n_funcs + n_consts) (fun i ->
if i < n_funcs then f i if i < n_funcs then f i
else g i else g (i - n_funcs)
) )
let eval (x:model) (t:expr) (completion:bool) = let eval (x:model) (t:expr) (completion:bool) =