--- layout: fc_discuss_archives title: Message 82 from Frama-C-discuss on April 2010 ---
I agree, it appears that "-jessie-no-regions" is gone in Boron, although I could not find any mentioning of it in the change logs: http://why.lri.fr/download/CHANGES Is there an alternative for "-jessie-no-regions" ? Regards Jens Am 28.04.2010 um 11:40 schrieb Pascal Cuoq: >>> 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100428/eba20f1a/attachment.htm>