On Sun, Apr 07, 2013 at 11:02:23PM +0530, son...@iitk.ac.in wrote:
>
> I have attached the code that is working now from the code the statement
> inserted is of form:
> printf("value of if count \n", __cil_tmp4);
>
> but i want something like
> printf("value of if count %d\n", __cil_tmp4);
You
I have attached the code that is working now from the code the statement
inserted is of form:
printf("value of if count \n", __cil_tmp4);
but i want something like
printf("value of if count %d\n", __cil_tmp4);
Hope question is clear now.
Thanks
Sonam
> Hi Sonam,
>
> On Sun, Apr 07, 2013 at
Hi Sonam,
On Sun, Apr 07, 2013 at 07:37:28PM +0530, son...@iitk.ac.in wrote:
> my code contains following:
>
> (TFun(voidType, Some [("format", charPtrType, [])],
> true, [])) in
>
> following is the statement i am writing to create printf statement:
> let pos
Hello,
I have a simple problem in which i m stuck for a long time. I want to
insert a print statement like:
printf("Value = %d" , var);
my code contains following:
(TFun(voidType, Some [("format", charPtrType, [])],
true, [])) in
following is the statement i a
