--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on November 2012 ---
Dear Richard: Thanks for your help. I have carefully read the "value_parameters.ml" file. But still don't know how to set those options in code. I also tried different methods to set the "-context-width" option by using those functions in this file. But I failed to compile my plugin. Those functions were in the internal documentation. Would you prefer to provide more detail information on how to use those functions? Thank you. Ben 2012-11-3 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121103/cf20eb93/attachment.html>