On 8 April 2016 at 18:01, Sumit Kumar <[email protected]> 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. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
