Hi,
We are recently conducting a project based on KLEE and we need to
evaluate the scalabilty of our project, which is restricted to the scalability
of
KLEE.
Would you please tell me, in your experience, how large is the largest
program(in LOC)
you have ever dealt with using KLEE? For projects that are composed
of multiple programs thus having large total LOC, we take into consideration
of
every single runnable unit of it, e.g., ls(mv, cp, and so on) in coreutil.
We are looking forward to your reply.
Thanks,
Yongchao
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
