tests/syntax/oracle/const-assignments.3.res.oracle · 406cc7f2043e91352a629984522b539bb9fd6bff · pub / frama-c · GitLab

Snippets Groups Projects

"src/git@git.frama-c.com:pub/frama-c.git" did not exist on "620443c2ac1944172d98bad02c3ae8980193daa9"

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