anchor.diff:  next_state(S, _Res, {call, _, _, [get, Pid]}) ->
       Gets2 = ordsets:del_element(Pid, S#state.get_fsm),
       S#state{get_fsm = Gets2};
  -    
  +
   next_state(S, _Res, {call, _, put_fsm_exit_error, [put, Pid]}) ->
       Puts2 = ordsets:del_element(Pid, S#state.put_fsm),
       ErrCount = S#state.put_errors + 1,
  
positive.code:         eqc:on_output(fun(Str, Args) -> io:format(user, Str, Args) end, P)).
  
  eqc_test_() ->
      {setup, 
          fun() -> 
              error_logger:tty(false),
              catch code:purge(riak_kv_stat_sj),
              catch code:delete(riak_kv_stat_sj)
          end, 
          [
           {timeout, 150, [?_assertEqual(true, quickcheck(eqc:testing_time(90,
                             ?QC_OUT(prop()))))]}
         ]}.
  
  test() ->
  
negative.code:             throw({error, {expired, Metric, OriginalValue}});
          false ->
              case folsom_metrics:get_metric_value(Metric) of
                  OriginalValue ->
                      poll_stat_change(Metric, OriginalValue, ExpireSecs);
                  _ ->
                      ok
  