--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on October 2020 ---
An embedded and charset-unspecified text was scrubbed... Name: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20201019/9b136a11/attachment.ksh>