tests/builtins/free.c · 06463e22722cca3eacf30d2786a807a517fc3dd0 · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
acae8026
[Eva] Updates test files to use the new option -eva-alloc-builtin. · acae8026
David Bühler authored 5 years ago
```
Uses the eva_allocate annotation in the tests that used several builtins for
different calls to the same function.
```
acae8026

History
[Eva] Updates test files to use the new option -eva-alloc-builtin.
David Bühler authored 5 years ago
```
Uses the eva_allocate annotation in the tests that used several builtins for
different calls to the same function.
```