--- layout: fc_discuss_archives title: Message 40 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?



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>