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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
