--- layout: fc_discuss_archives title: Message 87 from Frama-C-discuss on September 2013 ---
> > I don't think so. For me this is complicated (a system header might > use another system header the defines a symbol identical to one in > Frama-C's header, even if at first sight both first level included > files are different) and risky (you might think that a symbol is > defined by a system header while in fact it is defined by a Frama-C > one, or vice versa). > It is probably better to use only Frama-C headers, maybe augmented by > copied/pasted and annotated version of system ones if Frama-C headers > are lacking some features. Dear david, Thank you very much for this information. It helps a lot. Best regards, David Yang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130912/f5d89fa1/attachment.html>