dejafu-0.5.1.2: Systematic testing for Haskell concurrency.