src/plugins/e-acsl/doc/Changelog · 0b222f193fcf08e4d76a4e843b0f27c8c80cfb27 · Charles Southerland / frama-c · GitLab

Snippets Groups Projects

Forked from pub / frama-c

Source project has a limited visibility.

5 years ago
0b222f19
[eacsl:runtime] Update `__e_acsl_assert` signature · 0b222f19
Basile Desloges authored 5 years ago and Julien Signoles committed 5 years ago
```
A `file` parameter is added before `line`, and the `char *` parameters
have been converted to `const char *`.
```
0b222f19

History
[eacsl:runtime] Update `__e_acsl_assert` signature
Basile Desloges authored 5 years ago and Julien Signoles committed 5 years ago
```
A `file` parameter is added before `line`, and the `char *` parameters
have been converted to `const char *`.
```

To find the state of this project's repository at the time of any of these versions, check out the tags.