--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C api problem



Hello,

On 05/21/2013 04:02 PM, Damien Karkinsky wrote:
> Apologies for not sending this to the bug-tracker. I cannot recover my
> username...
>
> Frama-c fluorine API calling
>
> Globals.FileIndex.get_files ()
>
> provides a list where the last entry is always
>
> /usr/local/share/frama-c/libc/__fc_builtin_for_normalization.i

That's not a bug, but a feature :).

__fc_builtin_for_normalization.i is a file which is always linked to 
your C code analyzed by Frama-C. Thus it appears in this list since it 
is one of the analyzed files.

Hope this helps,
Julien