anchor.diff:  %% helpers
   -export([test/0, test/1]).
   
  --define(TEST_ITERATIONS, 500).
  +-define(TEST_ITERATIONS, 100).
   -define(QC_OUT(P),
       eqc:on_output(fun(Str, Args) ->
                   io:format(user, Str, Args) end, P)).
  
positive.code:             end
          end).
  
  %%====================================================================
  %% Generators
  %%====================================================================
  
negative.code:                               props=riak_cs_gen:props()};
          scheduled_delete ->
              Manifest?MANIFEST{delete_marked_time=riak_cs_gen:timestamp(),
                                scheduled_delete_time=riak_cs_gen:timestamp(),
                                props=riak_cs_gen:props()}
      end.
  
  