Merge branch 'feature/eva/logic-inout' into 'master'
[Eva] Exports new function [assigns_tlval_to_zones] in Eva.Logic_inout. See merge request frama-c/frama-c!3949
No related branches found
No related tags found
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
- src/plugins/from/from_compute.ml 15 additions, 18 deletionssrc/plugins/from/from_compute.ml
- src/plugins/inout/operational_inputs.ml 26 additions, 32 deletionssrc/plugins/inout/operational_inputs.ml
- tests/builtins/oracle/imprecise.res.oracle 8 additions, 8 deletionstests/builtins/oracle/imprecise.res.oracle
- tests/value/oracle/assigns.res.oracle 0 additions, 4 deletionstests/value/oracle/assigns.res.oracle
Loading
Please register or sign in to comment