[Eva] Do not call Db.Value.mark_as_computed before the analysis.
Instead, calls Domain.Store.mark_as_computed at the end of the analysis.
Showing
- src/kernel_services/plugin_entry_points/db.ml 8 additions, 7 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/plugins/value/engine/compute_functions.ml 3 additions, 2 deletionssrc/plugins/value/engine/compute_functions.ml
- src/plugins/value/engine/iterator.ml 0 additions, 1 deletionsrc/plugins/value/engine/iterator.ml
Loading
Please register or sign in to comment