--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on November 2012 ---
Hi, First of all, I proposed my question: Is there any API function to set "-context-width " option ? (Note: Not by setting in command line). I can easily set "-lib-entry" and "-main" option by using two API functions : "Kernel.LibEntry.set " and "Kernel.MainFunction.set " . But I need to set some options related with value analysis: "-slevel ", "-context-width ", "-context-depth ". We can easily set the these options in command line. But I can't find any APIs to set these options. Maybe somebody will argue that why not set these option in command line. As in my situation, I want to set these options depend on the context environment. I think there may be some functions can achieve my requirement which I didn't find in the APIs documentation. Thanks in advance. Ben ------- 2012-11-02