--- layout: fc_discuss_archives title: Message 81 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie question



>> 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