[klee-dev] Plan to support pthread

[Insu Yun]

Dear all.
Hi, I want to run klee on C program with pthread.
As you know, there are many programs with multi thread.
To support this, we need to handle pthread related API.
Cloud9 which is made by epfl(http://cloud9.epfl.ch/) supports the pthread.
However the project is not active now.

I wonder klee has a plan to support pthread.
If not, I want to know what the obstacles are.

-- 
Regards
Insu Yun
-------------- next part --------------
HTML attachment scrubbed and removed