[Eva] Results: as_zone converts error cases into bottom or top zone accordingly.
Adds function [as_zone_result] that returns a zone result, without converting error cases.
Showing
- src/plugins/dive/build.ml 1 addition, 2 deletionssrc/plugins/dive/build.ml
- src/plugins/inout/outputs.ml 1 addition, 1 deletionsrc/plugins/inout/outputs.ml
- src/plugins/occurrence/register.ml 12 additions, 14 deletionssrc/plugins/occurrence/register.ml
- src/plugins/scope/datascope.ml 1 addition, 3 deletionssrc/plugins/scope/datascope.ml
- src/plugins/scope/defs.ml 2 additions, 4 deletionssrc/plugins/scope/defs.ml
- src/plugins/slicing/slicingCmds.ml 0 additions, 1 deletionsrc/plugins/slicing/slicingCmds.ml
- src/plugins/studia/studia_request.ml 1 addition, 3 deletionssrc/plugins/studia/studia_request.ml
- src/plugins/studia/writes.ml 1 addition, 1 deletionsrc/plugins/studia/writes.ml
- src/plugins/value/Eva.mli 6 additions, 2 deletionssrc/plugins/value/Eva.mli
- src/plugins/value/utils/results.ml 7 additions, 1 deletionsrc/plugins/value/utils/results.ml
- src/plugins/value/utils/results.mli 6 additions, 2 deletionssrc/plugins/value/utils/results.mli
Loading
Please register or sign in to comment