src/plugins/e-acsl/tests/e-acsl-runtime/oracle/true.res.oracle · 54d5d2395d3c97debf7cfea67ddeecef37f6d6d7 · pub / frama-c

"README.md" did not exist on "da520f0267d65bcc3a8d22e5e14dd56c92b9e4f9"

14 years ago

Julien Signoles authored 14 years ago

   o logical operators still don't work
   o pointer operators untested
- bug fixed with type of int64 constants

54d5d239

Julien Signoles authored 14 years ago

   o logical operators still don't work
   o pointer operators untested
- bug fixed with type of int64 constants