[klee-dev] Using KLEE to run driver programs

[李永超]

Hi,
Would you please share your experience in using KLEE to run driver programs with me
if you have any? Do I need to do any modification to the program or anything that is required
but not by normal programs? 


Thanks,
Yongchao Li
-------------- next part --------------
HTML attachment scrubbed and removed