anchor.diff:          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()))))}
  -          ]}.
  +    error_logger:tty(false),
  +    catch code:purge(riak_kv_stat_sj),
  +    catch code:delete(riak_kv_stat_sj),
  +    net_kernel:stop(),
  +    net_kernel:start(['test-master@127.0.0.1', 'longnames']),
  +    erlang:set_cookie(node(), ayo),
  +    {node, 'tester@127.0.0.1', "-setcookie ayo", 
  +     [
  +         {timeout, 120, [?_assertEqual(true, quickcheck(eqc:testing_time(90,
  +                           ?QC_OUT(prop()))))]}
  +       ]}.
   
   test() ->
       test(100).
  
positive.code:     #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),
  
negative.code: g_get_pid(#state{get_fsm = L}) ->
      oneof(L).
  
  precondition(#state{get_fsm = []}, {call, _, _Command, [get, undefined]}) ->
      false;
  precondition(#state{put_fsm = []}, {call, _, _Command, [put, undefined]}) ->
      false;
  precondition(_,_) ->
      true.
  