Hi, Let "x" be an integer identifier and it is made symbolic. I want to create or get this expression:
ReadLSB w32 0 x
I noticed that using "read" method in ObjectState class does not help if
"x" has been reassigned to some other expression. What should I do ?
--
Thanks and Regards
Sumit
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
