src/plugins/e-acsl/tests/runtime/early_exit.c · 4f8c83d296598511ad2ef72bcd29b819c76c716f · pub / frama-c · GitLab

Snippets Groups Projects

7 years ago
7db690c0
Update tests and oracles against kernel modifications · 7db690c0
Virgile Prevosto authored 7 years ago
```
- improvement in Variadic
- local variables are now always kept, even if unused.
```
7db690c0

History
Update tests and oracles against kernel modifications
Virgile Prevosto authored 7 years ago
```
- improvement in Variadic
- local variables are now always kept, even if unused.
```