tests/syntax/const-assignments.c · 24c02301a53bb88be04c8e95ca3fb521cd6a5d17 · pub / frama-c · GitLab

Snippets Groups Projects

"git@git.frama-c.com:pub/frama-c.git" did not exist on "078c0a1da5d28cff71300b76e189b69a021d5307"

2 years ago
406cc7f2
[tests] refactor const-assignments.c to ensure first run does not have warnings · 406cc7f2
Virgile Prevosto authored 2 years ago and Michele Alberti committed 2 years ago
```
also make real errors for KO instructions
```
406cc7f2

History
[tests] refactor const-assignments.c to ensure first run does not have warnings
Virgile Prevosto authored 2 years ago and Michele Alberti committed 2 years ago
```
also make real errors for KO instructions
```