tests/syntax/oracle/ast_diff_1.res.oracle · 3a6e148ffce1a12382849b18e55e73f8ea4d945e · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
3a6e148f
[kernel] put local variables one by one in env for AST diff · 3a6e148f
Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
```
a local can be referenced in the type of another one, hence we can't
compare them in the same environment and update said environment
afterwards.
```
3a6e148f

History
[kernel] put local variables one by one in env for AST diff
Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
```
a local can be referenced in the type of another one, hence we can't
compare them in the same environment and update said environment
afterwards.
```