--- layout: fc_discuss_archives title: Message 126 from Frama-C-discuss on November 2013 ---
Hello, 2013/11/27 BAUDIN Patrick <Patrick.Baudin at cea.fr>: > The ACSL importer plug-in (used to import external ACSL file) takes care of > that situation. > Unfortunately, this plugin isn't free. Even if this plug-in is not available, how one would use this plug-in to solve this issue? > Without it, your code have to be transformed. This is what we have done. I just wanted to be sure that we hadn't missed another Frama-C feature or trick. Best regards, david