[Eva] Results: [as_cvalue] converts error cases into bottom or top cvalue.
New function [as_cvalue_result] returns error cases without conversion.
Showing
- src/plugins/constant_propagation/api.ml 1 addition, 2 deletionssrc/plugins/constant_propagation/api.ml
- src/plugins/dive/build.ml 1 addition, 2 deletionssrc/plugins/dive/build.ml
- src/plugins/value/Eva.mli 5 additions, 1 deletionsrc/plugins/value/Eva.mli
- src/plugins/value/utils/results.ml 8 additions, 2 deletionssrc/plugins/value/utils/results.ml
- src/plugins/value/utils/results.mli 5 additions, 1 deletionsrc/plugins/value/utils/results.mli
Loading
Please register or sign in to comment