basho/riak_kv — pull request #899 by reiddraper (2014-04-11 15:56:44+00:00)
Title: keys_fsm_eqc intermittently fails

Sha: aa0ae89f4901877b2b08136f8b58de91a2db23cd

So far I've only been able to make this fail by running the entire suite via `make test`. I have _not_ yet been able to make it fail by only running the suite, `./rebar eunit suites=keys_fsm_eqc skip_deps=true`. It only fails some of the runs. Here is the counterexample:

```
module 'keys_fsm_eqc'
keys_fsm_eqc:49: eqc_test_...Failed! Reason:
{'EXIT',{{badmatch,{error,precommit_fail}},
[{keys_fsm_eqc,'-prop_basic_listkeys/0-lc$^1/1-1-',3,
[{file,"test/keys_fsm_eqc.erl"},{line,76}]},
{keys_fsm_eqc,'-prop_basic_listkeys/0-fun-3-',6,
[{file,"test/keys_fsm_eqc.erl"},{line,76}]}]}}
After 1 tests.
{4115210543,<<"N">>,none,1,546,36852}
Shrinking...(3 times)
Reason:
{'EXIT',{{badmatch,{error,precommit_fail}},
[{keys_fsm_eqc,'-prop_basic_listkeys/0-lc$^1/1-1-',3,
[{file,"test/keys_fsm_eqc.erl"},{line,76}]},
{keys_fsm_eqc,'-prop_basic_listkeys/0-fun-3-',6,
[{file,"test/keys_fsm_eqc.erl"},{line,76}]}]}}
{4115210543,<<" ">>,none,1,10,10000}
*failed*
in function keys_fsm_eqc:'-eqc_test_/0-fun-3-'/1 (test/keys_fsm_eqc.erl, line 49)
**error:{assertEqual_failed,[{module,keys_fsm_eqc},
{line,49},
{expression,"quickcheck ( numtests ( ? TEST_ITERATIONS , ? QC_OUT ( prop_basic_listkeys ( ) ) ) )"},
{expected,true},
{value,false}]}
```