src/plugins/value/legacy/eval_terms.mli · a3e63e92bddf42e65170ff586db312bc9aab947e · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
9911824f
[Eva] Eval_terms: keeps track of empty sets in the evaluation of logical terms. · 9911824f
David Bühler authored 5 years ago
```
New boolean [empty] field in the eval_result record. It is set to [true] if a
result may represent an empty set.
```
9911824f

History
[Eva] Eval_terms: keeps track of empty sets in the evaluation of logical terms.
David Bühler authored 5 years ago
```
New boolean [empty] field in the eval_result record. It is set to [true] if a
result may represent an empty set.
```