--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on October 2010 ---
Dear all, I wonder whether Frama-C can help me to prove functions that contain passing by reference or not. I have found in ACSL manual and also your mailing list but I did not find anything like this. For example, /*@ensures \result == 1; */ int temp(int& n) // Frama-C announces parsing error here. { n = 1; return n; } Thank you. -- ?o?n Th?nh Nam -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101007/f8df21a9/attachment.htm>