Hi all, Could Klee support multi-tasks applications, for example a program running several tasks at the same time? It seems that Klee can only handle single process with only one thread thing running in it. I know you have done some work with HiStar. So how do you model an application with multiple threads in one process?
-- Best regards, Renjian Li -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110125/a656fd06/attachment.html
