Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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]

  • Subject: [Frama-c-discuss] how to set option "-slevel" or "-context-width" by using API function[Not set in command line]
  • From: abiao.yang at gmail.com (Ben)
  • Date: Fri, 2 Nov 2012 18:37:58 +0800
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