Hello Everyone, I want to use Klee on a code base of size around 35MB. I was wondering what are the largest program people have successfully run with Klee and got definite results. Thanks Deepak -------------- next part -------------- HTML attachment scrubbed and removed