[klee-dev] how to introduce a new symbolic variable

[Dan Liew]

On 4 April 2016 at 15:34, Sumit Kumar <sumit686215 at gmail.com> wrote:
> Hi,
>
> Can anyone please tell me how to introduce a new (not declared in test
> program)  symbolic variable from within KLEE.

Your question is not specific enough. "symbolic variable" here could
mean several different things. E.g. you could just make a new
``Array`` and create ReadExpr of it or you could actually create
something in KLEE's model of memory and read from that.