--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on November 2012 ---
Dear Anne, Thank you for timely replying me. I tried that function you provide. 1. I use the that code to set option "-context-width": Dynamic.Parameter.Int.set "-context-width" 5; 2. I print out that option: let cwidth = Parameter.get "-context-width" in let cw_str = Parameter.get_value cwidth in Format.printf " %s " cw_str; It seems that option did not changed either. If possible, I hope you can help me on Monday. Thank you in advance. Ben 2012-11-03 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121103/c9c416fa/attachment.html>