src/plugins/e-acsl/tests/builtin/strcmp.c · d6cd221893fe4183c4a78056594920b4ac5767ce · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
c9f14f99
[eacsl] Reactivate tests for builtins · c9f14f99
Basile Desloges authored 3 years ago
```
The file `signalled.h` is now common to `format` and `builtin` tests.
```
c9f14f99

History
[eacsl] Reactivate tests for builtins
Basile Desloges authored 3 years ago
```
The file `signalled.h` is now common to `format` and `builtin` tests.
```