[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