src/plugins/e-acsl/tests/gmp/oracle/quantif.1.res.oracle · 2e533161677ca53a94dbdf71cb9d533dd74ff489 · pub / frama-c · GitLab

Snippets Groups Projects

"src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h" did not exist on "a705f9e9aa68ac8bbe6f368f61aeffcc4cd69c1d"

9 years ago
2e533161
Improvements to the C runtime lirbary of E-ACSL from the remote repository · 2e533161
Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
```
containing the segment-based memory model.
```
2e533161

History
Improvements to the C runtime lirbary of E-ACSL from the remote repository
Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
```
containing the segment-based memory model.
```