[klee-dev] Excuse me, i need some help.
曾杰
zyj183247166 at qq.com
Thu May 11 02:23:03 BST 2017
Hi, all, i open an issue on GitHub
(https://github.com/klee/klee/issues/650) . I cannot confirm whether it is an error of klee.
If i have something doing wrong or disturbing you, please forgive me. I just think much about technology and little about other things. I want to know more and learn better with guidance of you in klee-dev here. I just want to contribute some work to klee.
Hope for your help! Thank you.
JingYi Zeng
5/11/2017
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the klee-dev
mailing list