--- layout: fc_discuss_archives title: Message 25 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,

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


All the best
Damien

-- 
------------------------------------------------------------------------

Dr. Damien Karkinsky

Safety-Critical Systems Consultant

Adelard LLP. (www.adelard.com)

Exmouth House, 3-11 Pine Street, London, EC1R 0JH

tel: +44(0)20-7832-5854   mob: +44(0)779-568-1233

------------------------------------------------------------------------