tests/syntax/oracle/ast_diff_1.res.oracle · 346ed802df8d60e1f4bce123611735e97a4b123f · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
346ed802
[kernel] ast diff can compare varinfos stemming from global functions · 346ed802
Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
```
it turns out that not all global varinfos are stored in Globals.Vars...
```
346ed802

History
[kernel] ast diff can compare varinfos stemming from global functions
Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
```
it turns out that not all global varinfos are stored in Globals.Vars...
```