[klee-dev] how KLEE handles variable scoping

[Dan Liew]

On 8 April 2016 at 18:01, Sumit Kumar <sumit686215 at gmail.com> wrote:
> Hi,
>
> Can anyone please tell how KLEE handles variable scoping ?

KLEE executes LLVM IR. Clang is handling the variable scoping here so
that KLEE never sees any scoping issues.