On 1 March 2016 at 07:19, Sumit Kumar <[email protected]> wrote: > Hi, > Let "x" be an integer identifier and it is made symbolic. I want to create > or get this expression: > > ReadLSB w32 0 x > To make a ReadExpr you should use ``ReadExpr::alloc()``. But that represents a 1 byte read. To get a read of width 32 you will need to Create several ``ConcatExpr`` to concatenate that reads. You can use the ``ConcatExpr::create4()`` to help you with this.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
