src/plugins/e-acsl/tests/e-acsl-runtime/oracle/localvar.1.res.oracle · 3e0535e46f582de841a707b4ecaba50c292015f2 · pub / frama-c · GitLab

Snippets Groups Projects

11 years ago
3e0535e4
[E-ACSL] do not monitor anymore memory locations involved in constructs not... · 3e0535e4
Julien Signoles authored 11 years ago
```
[E-ACSL] do not monitor anymore memory locations involved in constructs not yet supported like \freeable
```
3e0535e4

History
[E-ACSL] do not monitor anymore memory locations involved in constructs not...
Julien Signoles authored 11 years ago
```
[E-ACSL] do not monitor anymore memory locations involved in constructs not yet supported like \freeable
```