--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on May 2010 ---
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