src/plugins/e-acsl/tests/libc/oracle/mem.res.oracle · 2491fba9f905e2e38e3a0577347d96712ea3ab63 · pub / frama-c · GitLab

Snippets Groups Projects

5 months ago
2491fba9
[e-acsl] update error message in oracle · 2491fba9
Allan Blanchard authored 5 months ago
```
- these tests do not use anymore datacons, another error is thus triggered
```
2491fba9

History
[e-acsl] update error message in oracle
Allan Blanchard authored 5 months ago
```
- these tests do not use anymore datacons, another error is thus triggered
```