--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on May 2020 ---
Hello Virgile, Yes, pinning why3 to 1.2.1 did the trick. > The git version is pulled each day from the master branch of the internal Frama-C repository. It is thus much closer to Frama-C 21 than to Frama-C 20. Thanks a lot for the help and the clarification! Jens