--- layout: fc_discuss_archives title: Message 12 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



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