--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on December 2008 ---
Hello, first of all, thanks a lot for the new release of Frama C. Today I would like to know, whether "assigns" enforces or only allows changes of a specified memory location. Cheers Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081217/82bd1e21/attachment.htm