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

[Frama-c-discuss] Best approach when specifying regular C functions from stdlib?



Hello Virgile,

On Tue, Mar 3, 2009 at 09:28, Virgile Prevosto <virgile.prevosto at cea.fr> wrote:
[ regarding undefined contracts. ]
> better to give an appropriate contract to each prototype which has no
> associated definition.

Ok, I'll do that.

Many thanks,
Yours,
d.