anchor.diff:                          || {Lin, Obj} <- Objects ],
           NotFoundIsOk = proplists:get_value(notfound_ok, Options, false),
           BasicQuorum = proplists:get_value(basic_quorum, Options, true),
  +        DeletedVClock = proplists:get_value(deletedvclock, Options, false),
           NumPrimaries = length([xx || {_,primary} <- PL2]),
           State = expect(#state{n = N, r = R, real_r = RealR, pr = PR, real_pr = RealPR,
                                 history = History,
                                 objects = Objects, deleted = Deleted, options = Options,
                                 notfound_is_ok = NotFoundIsOk, basic_quorum = BasicQuorum,
  -                              num_primaries = NumPrimaries}),
  +                              num_primaries = NumPrimaries, deletedvclock = DeletedVClock}),
           ExpResult = State#state.exp_result,
           ExpectedN = case ExpResult of
                           {error, {n_val_violation, _}} ->
  
positive.code:                 options,
                  notfound_is_ok,
                  basic_quorum,
                  exp_result,
                  num_oks = 0,
                  del_oks = 0,
  
negative.code: option() -> 
      frequency([{1, {details, details()}},
                 {1, bool_prop(notfound_ok)},
                 {1, bool_prop(deletedvclock)},
                 {1, bool_prop(basic_quorum)}]).
  
  options() ->
  