--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on March 2020 ---
mån 2020-03-23 klockan 21:23 +0100 skrev Virgile Prevosto: > 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). Thanks for the heads-up, I sent in a PR for this /Tomas