anchor.diff:      #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]],
       application:stop(folsom),
  
positive.code:         eqc:on_output(fun(Str, Args) -> io:format(user, Str, Args) end, P)).
  
  eqc_test_() ->
      {setup, fun() ->
                  error_logger:tty(false),
                  crypto:start(),
                  ok
              end,
       fun(_) ->
               cleanup() 
       end, [
             {timeout, 360, ?_assertEqual(true, quickcheck(numtests(5000,
                             ?QC_OUT(prop()))))}
            ]}.
  
  test() ->
      test(100).
  
negative.code: -define(GETS_ACTIVE, {riak_kv, node, gets, fsm, active}).
  -define(PUTS_ERRORS, {riak_kv, node, puts, fsm, errors}).
  -define(GETS_ERRORS, {riak_kv, node, gets, fsm, errors}).
  -define(POLL_TIMEOUT, 10). %% seconds
  
  -compile([export_all]).
  
  