This repository contains dejafu, a concurrency testing library based on typeclasses, and various utility libraries.
jwaldmann / dejafu Goto Github PK
View Code? Open in Web Editor NEWThis project forked from barrucadu/dejafu
Overloadable primitives for testable, potentially non-deterministic, concurrency.