Skip to content
Snippets Groups Projects
Commit 1a8ea79e authored by David Bühler's avatar David Bühler
Browse files

[Eva] The evaluation engine indicates the root expression to domain queries. 

The abstract domain queries [extract_expr] and [extract_lval] have a new
boolean parameter [root], which is true for the root expression being
evaluated, and false for all its sub-expression and lvalues.
parent 92c3ccb9
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 73 additions and 57 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment