--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on May 2012 ---
Le 04/05/2012 10:03, Anne Pacalet a ?crit : > Le 04/05/2012 09:56, Jean-Marc Harang a ?crit : > >> Perhaps try to use this option : >> -absolute-valid-range 0xABCD-0xB000 >> with the correct range ;) >> > Yes !!! > I looked at the value analysis options > but I haven't looked into the kernel options. Sorry ! > This one seems to be exactly what I need. > Thank you very much. > you're welcome, Anne ;) -- jean-marc