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



Dear Anne:

In fact, my problem had been solved by using the module you provide.
Today, I tried again with your code. Then carefully output the option value
and found it succeed.

I can correctly set "-slevel" and "-context-width" options by using the code
you provide:

Dynamic.Parameter.Int.set "-slevel" 200;

I deeply apologize for not correctly output that option value yesterday.

Thank you very much for helping me out of this problem.


Yours sincerely,
Ben
2012-1104

----------------------------------------------------------------------------
--------------------------------
> 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.
>