src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle · cde9885aa60acedd1dc44feff6aad5fc10973244 · pub / frama-c · GitLab

Snippets Groups Projects

12 years ago
cde9885a
[E-ACSL] new option -e-acsl-valid. Valid annotations are not translated by default anymore. · cde9885a
Julien Signoles authored 12 years ago
```
[E-ACSL] code of e_acsl_assert put in e_acsl.c (no more in e_acsl.h)
```
cde9885a

History
[E-ACSL] new option -e-acsl-valid. Valid annotations are not translated by default anymore.
Julien Signoles authored 12 years ago
```
[E-ACSL] code of e_acsl_assert put in e_acsl.c (no more in e_acsl.h)
```