src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle · b76e04d6fc6033477d8e7e929eb7a89576682504 · pub / frama-c

13 years ago

Julien Signoles authored 13 years ago

- update TODO-list
- location for new constructs whenever possible
- additional warnings when guards are missing

b76e04d6

Julien Signoles authored 13 years ago

- update TODO-list
- location for new constructs whenever possible
- additional warnings when guards are missing