[Eva] multidim: use Int_val instead of Ival for array indexes
Showing
- src/kernel_services/abstract_interp/abstract_memory.ml 11 additions, 12 deletionssrc/kernel_services/abstract_interp/abstract_memory.ml
- src/kernel_services/abstract_interp/abstract_memory.mli 1 addition, 1 deletionsrc/kernel_services/abstract_interp/abstract_memory.mli
- src/plugins/value/domains/multidim_domain.ml 2 additions, 13 deletionssrc/plugins/value/domains/multidim_domain.ml
Loading
Please register or sign in to comment