anchor.diff:      after
           1000 ->
               {error, didnotexit}
  -    end.+    end.
  +    
  +    
  +eqc_test_() ->
  +    {spawn,
  +    {timeout, 20, ?_test(
  +        begin
  +            start_mock_servers(),
  +            ?assert(test(20))
  +        end)
  +    }}.
positive.code:     non_empty(longer_list(2, partval())).
  
  start_mock_servers() ->
      get_fsm_qc_vnode_master:start(),
      application:load(riak_core),
      application:start(crypto).
  
  
negative.code: -module(get_fsm_qc).
  
  -include_lib("eqc/include/eqc.hrl").
  -include_lib("eunit/include/eunit.hrl").
  
  -compile(export_all).
  -define(RING_KEY, riak_ring).
  