[klee-dev] question about KLEE and parallelism

[Stephen Siegel]

Hi,
Can any of you tell me if KLEE can be applied to any kind of parallel program, 
such as one using Pthreads, or OpenMP, or MPI, ....?
Thanks,
Steve