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

  • Subject: [Frama-c-discuss] how to set option "-slevel" or
  • From: abiao.yang at (Ben)
  • Date: Sun, 4 Nov 2012 13:15:29 +0800

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,

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