tests/spec/oracle/stmt_contract.res.oracle · f88abf5a5ea29909b34da40db3322ba15e9907b7 · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
bfeb8c16
[typing] avoid removing a block if previous stmt is a statement contract · bfeb8c16
Virgile Prevosto authored 5 years ago
```
or any code annotation that is specifying what the whole next
statement is doing
```
bfeb8c16

History
[typing] avoid removing a block if previous stmt is a statement contract
Virgile Prevosto authored 5 years ago
```
or any code annotation that is specifying what the whole next
statement is doing
```