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
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100822/a09028f7/attachment.html
