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

Where are documented Frama-C "intrinsics" like Frama_C_interval(),
Frama_C_dump_each(), ...?

I looked in ACSL and value analysis manuals (Nitrogen version) but
found nothing. I learned about them through Frama-C blog posts.

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?

Best regards,
david