Hi Hemanth,
Can't you just print the values of the structure fields as a statement
in your program under test [like printf("a: %d b: %d", node.a,
node.b); ]? This way you'll determine the execution engine to get the
values for you automatically.
HTH,
Stefan
On Sun, Aug 22, 2010 at 8:06 PM, Hemanth Murthy <hm2474 at columbia.edu> wrote:
> Hello All,
>
> I was trying to debug a problem in my code and was unable to figure what
> values in initializeGlobals() are causing a SIGSEGV. Mainly, I am looking at
> how structure members are initialized. How can I print out the values in the
> method initializeGlobals()? When I have a structure like below:
>
> struct node {
> int a;
> int b;
> char* name;
> }
>
> I can see that all the variables are of size 4 bytes. But I am not able to
> determine what are the values that are being initialized. Please let me
> know.
>
> --
> Thanks,
> Hemanth
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
>
>
