--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on April 2009 ---
Hi, If you are using the latest lablgtk release, you may configure Frama-C with the --enable-custommodel option. ./configure --enable-custommodel make make install Please report your performance improvements with this configuration. Cheers, -- | Benjamin Monate | mailto:benjamin.monate at cea.fr | | Head of Software Safety Lab. CEA-LIST/DRT/DTSI/SOL/LSL |