--- layout: fc_discuss_archives title: Message 103 from Frama-C-discuss on June 2009 ---
Mauro Baluda a ?crit : > I couldn't find the plugin in the frama-c sources, could you point me to it? This plugin is not included in the release, because it is not finished yet. Sorry ! Maybe we can try some cases if you wish : if you can send me some examples, I can show you the result that we can get... -- Anne.