--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on March 2018 ---
> Why3 platform, version 0.88.3 Ok, this is fine. Simply forget about all Why-3 warnings... L.