--- layout: fc_discuss_archives title: Message 64 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 David,

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.

> In value analysis, is there a way to print only a set of variables,
> e.g. something like Frama_C_dump(i, j) instead of Frama_C_dump_each()
> that prints the state of all variables?

It's called Frama_C_show_each_xxx, where xxx can be replaced by any
identifier (see section 8.3.2 of the VA manual).

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile