--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on November 2008 ---
Dear All, The Frama-C slicer called from a command line as "toplevel.opt -ocode slice.c -slice-print -slicing-level 3 -lib-entry -main foo myfile.c -slice-pragma foo" generates the file slice.c with all original code globals (typedefs, vars) even if most of these globals are not referenced in the code of slice.c. Please, let me known how is it possible to get rid of unuseful globals. Thanks in advance! Best regards, Dillon PARIENTE -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081107/ec83459d/attachment.htm