anchor.diff:              ok
       end.
   
  -%% wait for all fake fsms to finish, so the monitors
  -%% get to finish before folsom is stopped.
  -exit_gracefully(S) ->
  -    #state{put_fsm = PutList, get_fsm = GetList} = S,
  -    [end_and_wait(Pid, normal) || Pid <- PutList ++ GetList].
  -
   %% ====================================================================
   %% Calls
   %% ====================================================================
  
positive.code: 
  eqc_test_() ->
      {setup, fun() ->
                      ok
              end,
       fun(_) ->
               ok
       end, [
             {timeout, 360, ?_assertEqual(true, quickcheck(numtests(5000, ?QC_OUT(prop()))))}
            ]}.
  
  test() ->
  
negative.code:     check(prop(), current_counterexample()).
  
  prop() ->
      ?FORALL(Cmds, commands(?MODULE), begin
          reset_test_state(),
          {_,State,Res} = C = run_commands(?MODULE, Cmds),
          Prop = eqc_statem:pretty_commands(?MODULE, Cmds, C, 
              begin 
                      exit_gracefully(State), 
                      Res =:= ok 
              end),
          aggregate(command_names(Cmds), Prop)
      end).
  
  %% wait for all fake fsms to finish, so the monitors
  %% get to finish before folsom is stopped.
  exit_gracefully(S) ->
      #state{put_fsm = PutList, get_fsm = GetList} = S,
      [end_and_wait(Pid, normal) || Pid <- PutList ++ GetList].
  
  cleanup() ->
      crypto:stop(),
      error_logger:tty(true),
      application:stop(folsom),
      true.
  
  reset_test_state() ->
      [maybe_stop_and_wait(Server) || Server <- [riak_core_stat_cache, riak_kv_stat]],
  