--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problems with Frama-C libc



Hello Anne,

On Wed, Jan 18, 2012 at 10:41 AM, Anne Pacalet <anne.pacalet at free.fr> wrote:

>
> #include <stdio.h>
> #include <stdlib.h>
> #include <string.h>
>
> with options : -val -cpp-extra-args="-I`frama-c -print-path`/libc"
> to use Frama-C libc specifications.
>

The headers in `frama-c -print-path`/libc are, literally, untested.
They should be assumed to contain syntax errors or unsatisfiable
specifications until shown otherwise.

Pascal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120118/15e5f665/attachment-0001.htm>