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