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 am writing to create printf statement:
let post = mkPrint (d_string "value of if count L%d \n") [Lval(var
count1)]
this printf function is working fine but i am not able to write "%d" as
format specifier if i use above statement i am getting following error:
Error: This expression has type int -> string
but an expression was expected of type string
kindly let me know what am i missing.
Thanks n regards
Sonam
------------------------------------------------------------------------------
Minimize network downtime and maximize team effectiveness.
Reduce network management and security costs.Learn how to hire
the most talented Cisco Certified professionals. Visit the
Employer Resources Portal
http://www.cisco.com/web/learning/employer_resources/index.html
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
