Re: [CIL users] creating function call

2010-02-12 Thread Elnatan Reisner
On Feb 11, 2010, at 2:37 PM, georgebaah wrote: Hi All, I would like to automatically instrument my application with the fflush(stdout) call. I am trying to use TFun to construct it but I am having some difficulties. Any help will be greatly appreciated. Thanks. George TFun is the type of a

[CIL users] creating function call

2010-02-11 Thread georgebaah
Hi All, I would like to automatically instrument my application with the fflush(stdout) call. I am trying to use TFun to construct it but I am having some difficulties. Any help will be greatly appreciated. Thanks. George