--- layout: fc_discuss_archives title: Message 83 from Frama-C-discuss on February 2012 ---
Hello Anne, On 02/16/2012 05:03 PM, Anne Pacalet wrote: > I try to have a way to "do something" in order that when my plug-in > needs value analysis, it runs it with -users and -calldeps so that > I will not have to do it 2 or 3 times. I tried to set : > From_parameters.ForceCallDeps > but it seems to be unreachable. I cannot use the command line since > I don't always need to call the value analysis, but when I need it, > I would like to have the greater precision with only one analysis. > > Do you think this is possible (in Nitrogen version) ? Of course :-D. Something like Dynamic.Parameter.Bool.on "-calldeps" () should work. More generally, command line options are registered in Dynamic.Parameter. Hope this helps, friendly, Julien