[klee-dev] Reading arrays generated by klee.

[Udayan Tandon]

Hi, 

I made a 2-d integer array variable in C symbolic. Now in the ktest files I get a generated output for this variable but can’t seem to convert it from the hex output to normal integers.

Thanks and Regards
Udayan Tandon