--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on May 2010 ---
It appears that latest version of Jessie plugin does not support "-jessie-no-regions" option anymore. If I understand right this option was introduced to control whenever it is acceptable to have multiple pointer variables to reference same location in memory? Has it been decided that some default value should always be used instead or it was replaced by some heuristics? Manual for Jessie plugin still refer to the option so I am wondering what happen? Thanks, --- Alexei Polkhanov Cell: 1.604.719.2515 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100512/de39ba61/attachment-0001.htm>