--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on January 2012 ---
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>