--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on May 2020 ---
Virgile, Thanks for the reply, GCC-10 was indeed the issue. I fixed the issue by installing gcc-8 (eventually I will get around trying frama-21) Regards, Juan.