--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on August 2019 ---
On 22/08/2019 02:55, Johannes Paasila wrote: > With this patch in place, Frama-C successfully accepts my code. > Good to know! We committed the patch to the development version of Frama-C. It will be available in the next release. Thanks for the report, -- André Maroneze Researcher/Engineer CEA/List Software Reliability and Security Laboratory