Hi Luis,
On Tue, 2016-06-28 at 08:41 +, Carril Rodríguez, Luis Manuel (IPD)
wrote:
> Hi,
> I made a port one year ago of the multithread POSIX model of Cloud9 to
> KLEE v1.0: https://github.com/lmcarril/klee
> I sent at the moment a pull request, but did not go forward.
> I used t
Hi,
I made a port one year ago of the multithread POSIX model of Cloud9 to KLEE
v1.0: https://github.com/lmcarril/klee
I sent at the moment a pull request, but did not go forward.
I used the multithreaded version myself as a base to build a KLEE based
race detector.
As far as I kn