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 mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[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