--- layout: fc_discuss_archives title: Message 84 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] -users and -calldeps during value analysis



Hello Julien,

Thanks for your answer.

Le 17/02/2012 09:49, Julien Signoles a ?crit :
> Of course :-D. Something like
>
> Dynamic.Parameter.Bool.on "-calldeps" ()
>
> should work.

Ok ! I thought it was only for Dynamic plug-ins...
I'll try, but I hope that this will not start the value analysis
right away since I also want to switch "-users" on.

Thanks anyway.

Anne.