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