Permalink
Browse files

Fix bitcask_qc_expiry.erl model with big simplification, yay!

  • Loading branch information...
slfritchie committed Nov 25, 2013
1 parent 9424148 commit a2d75b2cece3a4c53a6f9419472f1ea5bc37d55b
Showing with 4 additions and 2 deletions.
  1. +4 −2 test/bitcask_qc_expiry.erl
@@ -90,8 +90,7 @@ prop_expiry() ->
?FORALL({Ops, Expiry, ExpiryGrace, Timestep, M1},
{eqc_gen:non_empty(list(ops(Keys, Values))),
choose(1,10), choose(1, 10), choose(5, 50), choose(5,128)},
- ?IMPLIES(length(Ops) > 1 andalso
- length([foo || {put, _, _} <- Ops]) > 2,
+ ?IMPLIES(true,
begin
Dirname = "/tmp/bc.prop.expiry",
?cmd("rm -rf " ++ Dirname),
@@ -116,6 +115,9 @@ prop_expiry() ->
%% Dump the ops into the bitcask and build a model of
%% what SHOULD be in the data.
Model = apply_kv_ops(Ops, Bref, []),
+ %% Assist our model's calculations by incrementing
+ %% the clock one more time.
+ _ = next_tstamp(),
%% Close the writing file to ensure that it's included
%% in the needs_merge calculation

0 comments on commit a2d75b2

Please sign in to comment.