--- layout: fc_discuss_archives title: Message 4 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]



Dear Ben,

Le 03/11/2012 14:22, Ben a ?crit :
> I have carefully read the ?value_parameters.ml? file. But still don?t
> know how to set those options in code.

I don't have enough information right now on this computer,
but you should have a look to the Dynamic.Parameter module.
I think that you can do something like :
      Dynamic.Parameter.Int.set "-context-width" 5
(not sure about the exact syntax...)
I can give you more information on Monday if needed.

Hope this help.
-- 
Anne.