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