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

[Frama-c-discuss] Jessie does not have "-jessie-no-regions" option anymore?



I understand that you must now use

# pragma SeparationPolicy(none)

inside the C file(s) you are analyzing to get the same effects you
used to get with "-jessie-no-regions".

Pascal
PS: I didn't have time to test this yet, I just read
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-April/001958.html