Hi, Can anyone please tell how KLEE handles variable scoping ? -- Thanks and Regards, Sumit Kumar -------------- next part -------------- HTML attachment scrubbed and removed