--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on November 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] how to set option "-slevel" or "-context-width" by using API function[Not set in command line]



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