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