tests/syntax/oracle/const-assignments.0.res.oracle · e71bd08304f4eec5f834a25dc3091173214cdac2 · pub / frama-c · GitLab

Snippets Groups Projects

"git@git.frama-c.com:pub/frama-c.git" did not exist on "4e65eaf62997e20992c1511d100444b9a49d1f3b"

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
```