--- layout: fc_discuss_archives title: Message 81 from Frama-C-discuss on April 2010 ---
>> I hear that some of the information in this old thread is now obsolete: > > Pascal, I don't understand why you think the information is obsolete. It > seems to be a similar case to me, with the same answer. Discussing with other users of Jessie, I heard that they had noticed changes related to the option -jessie-no-regions and I thought this was related. Please forget that part of my message. Pascal