subject:"\[klee\-dev\] how KLEE handles variable scoping"

Re: [klee-dev] how KLEE handles variable scoping

2016-04-08 Thread Dan Liew

On 8 April 2016 at 18:01, Sumit Kumar 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] how KLEE handles variable scoping

2016-04-08 Thread Sumit Kumar

Hi, Can anyone please tell how KLEE handles variable scoping ? -- Thanks and Regards, Sumit Kumar ___ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev