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

Thanks for your help.

I have carefully read the "value_parameters.ml" file. But still don't know
how to set those options in code.

I also tried different methods to set the "-context-width" option by using
those functions in this file. But I failed to compile my plugin. Those
functions were in the internal documentation.

Would you prefer to provide more detail information on how to use those
functions?

Thank you.

 

Ben

2012-11-3

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121103/cf20eb93/attachment.html>