--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on November 2012 ---
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. >