tests/builtins/memcpy.c · bd5f3d578f4dc84ed05bf29ebd166bc8aec491f0 · pub / frama-c · GitLab

Snippets Groups Projects

9 months ago
bd5f3d57
[Eva] Splits test memcpy in two runs with different absolute valid range. · bd5f3d57
David Bühler authored 9 months ago
```
The first run has no absolute valid range.
The second run only tests function copy_0 with absolute valid range.
```
bd5f3d57

History
[Eva] Splits test memcpy in two runs with different absolute valid range.
David Bühler authored 9 months ago
```
The first run has no absolute valid range.
The second run only tests function copy_0 with absolute valid range.
```