On 4 April 2016 at 15:34, Sumit Kumar <sumit686...@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. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev