basho/bitcask — pull request #41 by hanssv (2012-03-28 13:59:33+00:00)
Title: Testing bitcask with QuickCheck and PULSE

Jon, Dizzy,

We created a test framework using QuickCheck, PULSE and eqc_temporal to test for race conditions in the bitcask application. Please note that you need QuickCheck version newer than eqc-1.25.2 to run those tests.

We changed the rebar configuration file (in comments) to be able to execute this code.

Regards
Quviq