anchor.diff:  %% command generators
   -define(CLUSTER_LIST,{call,?MODULE,cluster_list,[]}).
   -define(PARTITION_LIST,{call,?MODULE,partition_list,[]}).
  --define(HTTP_CLUSTER_LIST(U),{call,?MODULE,http_cluster_list,[http,U]}).
  --define(HTTP_PARTITION_LIST(U,F),{call,?MODULE,http_partition_list,[http,U,F]}).
  +-define(HTTP_CLUSTER_LIST(U),{call,?MODULE,http_cluster_list,[U]}).
  +-define(HTTP_PARTITION_LIST(U,F),{call,?MODULE,http_partition_list,[U,F]}).
   
   
   %% ---------------------------------------------------------------------------
   %% statem state
   
  --record(state,{auth}).
  +-record(state,{auth,ring_size}).
   
   
   %% ---------------------------------------------------------------------------
  
positive.code:            ?PARTITION_LIST,
             ?LET(User,g_userpass(),
                  oneof([?HTTP_CLUSTER_LIST(User),
                         ?LET(Filter,g_filter(),
                              ?HTTP_PARTITION_LIST(User,Filter))
                        ]))
            ]).
  
negative.code: 
                  %% ensure riak_control is up and running
                  riak_core:wait_for_application(riak_control),
                  {ok,Size}=application:get_env(riak_core,ring_creation_size),
  
                  %% now run the test with these auth settings
                  ?ALWAYS(10,
                          ?FORALL(Cmds,commands(?MODULE,#state{auth=Auth,
                                                               ring_size=Size
                                                              }),
                                  begin
                                      {H,S,Res}=run_commands(?MODULE,Cmds),
  
  