--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on April 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Documentation location for Frama_C_* functions?



Hello Virgile,

2012/4/26 Virgile Prevosto <virgile.prevosto at m4x.org>:
> 2012/4/26 David MENTRE <dmentre at linux-france.org>:
>> Where are documented Frama-C "intrinsics" like Frama_C_interval(),
>> Frama_C_dump_each(), ...?
>>
>
> They are documented in the Value Analysis manual
> (http://frama-c.com/download/frama-c-value-analysis.pdf), chapter 8.

Ok thanks. I overlooked them because I did not looked in the correct
manual. Sorry for the noise.

Best regards,
david