src/plugins/value/engine/evaluation.ml · 791befb70405f5f868fecc3d27a8e6fffdcf245a · pub / frama-c

4 years ago

[Eva] Evaluation context for domains query: adds a [subdivided] field. · 85a39912

David Bühler authored 4 years ago

Informs the domain that the current evaluation is a subdivision of the complete
evaluation.
Evaluation engine: [root] is set to false for subdivided evaluations.

85a39912

History

[Eva] Evaluation context for domains query: adds a [subdivided] field.

David Bühler authored 4 years ago

Informs the domain that the current evaluation is a subdivision of the complete
evaluation.
Evaluation engine: [root] is set to false for subdivided evaluations.