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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
