Re: [klee-dev] How to get the content of a symbolic variable?

You're probably looking for klee_print_expr, e.g. klee_print_expr(k = , k) You can include includes/klee/klee.h for the prototype. Paul On 08/04/13 22:47, General Email wrote: Hi, How to get the content of a symbolic variable? When I tried to run the code listed below, I got the following

[klee-dev] How to get the content of a symbolic variable?

Hi, How to get the content of a symbolic variable? When I tried to run the code listed below, I got the following output from klee KLEE: WARNING ONCE: calling external: printf(182324664, 182337984, (Add w32 7 (ReadLSB w32 0 inVar))) KLEE: ERROR: /home/try1.c:53: failed external call: printf