[Eva] Exports new function [assigns_tlval_to_zones] in Eva.Logic_inout.
Intented to replace calls to Db.Properties.Interp.loc_to_loc*, used by the inout and from plugins.
Showing
- src/plugins/eva/Eva.mli 12 additions, 0 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/legacy/eval_terms.ml 3 additions, 0 deletionssrc/plugins/eva/legacy/eval_terms.ml
- src/plugins/eva/legacy/eval_terms.mli 6 additions, 0 deletionssrc/plugins/eva/legacy/eval_terms.mli
- src/plugins/eva/legacy/logic_inout.ml 18 additions, 0 deletionssrc/plugins/eva/legacy/logic_inout.ml
- src/plugins/eva/legacy/logic_inout.mli 12 additions, 0 deletionssrc/plugins/eva/legacy/logic_inout.mli
Loading
Please register or sign in to comment