Hi All, During I am run the experiment of klee,I have some question about klee's options.
1, When I use the order to run klee: klee --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3 , which options are enabled by default? 2, I am trying to reproduce the experiment in the paper OSDI08. It compared the time using None, Independence, Cex.cache and All. I read the klee help but I can not ensure the options about the optimizations still. Did you use the following options when you did the the experiment in the paper OSDI08? 1),for non-optimization: klee.cde --disable-opt --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3* 2)or cex-caching: klee.cde --use-cex-cache --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3* 3)for independence optimization:klee.cde --use-independent-solver --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3* 4)for all: :klee.cde --use-cex-cache --libc=uclibc --posix-runtime --use-independent-solver ./echo.bc --sym-arg 3* If these options are not right, could you tell me which options were used when you did the experiment in the paper OSDI08? I am very interesting in Klee. Hope for your reply as soon as possible. Thank you very much. Zhiyi Zhang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
