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