tests/syntax/oracle/ast_diff_1.res.oracle · 2b3ac2b1161c3ad54ee44587ed98726cf6718a06 · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
2b3ac2b1
[kernel] add formals one by one in env of ast diff · 2b3ac2b1
Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
```
same reason as for locals: latter formals can refer to former ones
```
2b3ac2b1

History
[kernel] add formals one by one in env of ast diff
Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
```
same reason as for locals: latter formals can refer to former ones
```