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

Snippets Groups Projects

"tests/git@git.frama-c.com:pub/frama-c.git" did not exist on "6a0c34f658eddfea38798f3359136f84d9087cd8"

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.
```