--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on May 2013 ---
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