--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on March 2020 ---
Hello Tomas, Le 23/03/2020 à 20:33, Tomas Härdin a écrit : > > I took some time last Friday to write a Frama-C example for > https://github.com/hwayne/lets-prove-leftpad Check it out! > Great work, both for the code and the explanations! Thanks for sharing that with us. Just a small remark, though: the Builtin plug-in in the development version has been renamed as Instantiate (because its aim is basically to instantiate void* into properly typed versions), and of course the option has thus become -instantiate (more details at https://git.frama-c.com/pub/frama-c/blob/master/src/plugins/instantiate/README.md). Best regards, -- E tutto per oggi, a la prossima volta Virgile