---
layout: fc_discuss_archives
title: Message 9 from Frama-C-discuss on August 2011
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Problem with "#define" and "INT_MAX"
- Subject: [Frama-c-discuss] Problem with "#define" and "INT_MAX"
- From: benjamin.monate at cea.fr (Benjamin Monate)
- Date: Fri, 12 Aug 2011 13:16:03 +0200
- In-reply-to: <CAE6MND64264=x=otLajrOpMbonUojR=H5jzud3AeW7Bq1Oh+hw@mail.gmail.com>
- References: <CAE6MND64264=x=otLajrOpMbonUojR=H5jzud3AeW7Bq1Oh+hw@mail.gmail.com>
Hi,
You may want to read the user manual of Frama-C. It is available at
http://frama-c.com/download/frama-c-user-manual.pdf
See page 25 to understand how to force the preprocessing of annotations.
Regards,
--
Benjamin Monate
Head of Software Safety Lab. CEA-LIST/DRT/DILS/LSL