tests/value/logic.c · aceb64d182a76e94f1e09b112e2de2a7961e08df · pub / frama-c · GitLab

Snippets Groups Projects

6 years ago
aceb64d1
[Eva] Adds a test of check assertions. · aceb64d1
David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago
```
Checks must never reduce the states of the analysis, nor lead to bottom.
```
aceb64d1

History
[Eva] Adds a test of check assertions.
David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago
```
Checks must never reduce the states of the analysis, nor lead to bottom.
```