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

Snippets Groups Projects

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

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