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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
