anchor.diff:      end.
   
   vnode() ->
  -    ?SIZED(Size,vnode(Size)).
  +    ?SIZED(Size, vnode(Size)).
   
   non_empty_list(T) ->
       ?SUCHTHAT(L, list(T), L =/= []).
  
positive.code: -compile(export_all).
  
  -define(DIR, ".qcdata").
  -define(T, gb_trees).
  -define(V, metric_vnode).
  -define(B, <<"bucket">>).
  -define(M, <<"metric">>).
  
  
negative.code:     {offset(), non_empty_list(non_z_int())}.
  
  vnode(Size) ->
      S = Size,
      ?LAZY(oneof(
              [{call, ?MODULE, new, []} || S == 0]
              ++ [?LETSHRINK(
                     [V], [vnode(S-1)],
                     ?LET({T, Vs}, values(),
                          oneof(
                            [{call, ?MODULE, put, [V, T, Vs]},
                             {call, ?MODULE, mput, [V, T, Vs]},
                             {call, ?MODULE, repair, [V, T, Vs]}]))) || S > 0])).
  %%%-------------------------------------------------------------------
  %%% Properties
  %%%-------------------------------------------------------------------
  