--- layout: fc_discuss_archives title: Message 63 from Frama-C-discuss on April 2012 ---
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