Hi Austin,
Sorry to see that nobody has answered your email. I'm not sure what you
are trying to do though. Are you trying to make KLEE choose a specific
size?
(That code is a bit broken, btw. We fixed it in some extensions but
haven't managed to merge the changes into the mainline yet.)
Hello klee-dev members,
I'm working on a project involving KLEE and SMT solvers. We are collecting
queries from KLEE using the v2.2 klee docker image with the
"--use-query-log=solver:smt2" option. I observed that the queries collected
are not always complete when KLEE dealing with malloc(), and
