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

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