--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on March 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C example added to lets-prove-leftpad



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