tests/saveload/bool.c · 93b43d03ce04efb29518071729cc40f8d007b0df · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
93b43d03
[Tests] Saveload: uses the @EVA_OPTIONS@ macro when running the Eva analysis. · 93b43d03
David Bühler authored 5 years ago
```
Fixes some tests when changing the @EVA_OPTIONS@ macros.
This also removes the summary display at the end of the analyses.
```
93b43d03

History
[Tests] Saveload: uses the @EVA_OPTIONS@ macro when running the Eva analysis.
David Bühler authored 5 years ago
```
Fixes some tests when changing the @EVA_OPTIONS@ macros.
This also removes the summary display at the end of the analyses.
```