anchor.diff:            %% number of tokens taken by type
             tokens :: [{bg_eqc_type(), non_neg_integer()}]
            }).
  +
  +bgmgr_test_() ->
  +    {timeout, 60,
  +     fun() ->
  +              ?assert(eqc:quickcheck(?QC_OUT(eqc:testing_time(30, prop_bgmgr()))))
  +     end
  +    }.
   
   run_eqc() ->
       run_eqc(100).
  
positive.code: %% @doc stop_process command
  stop_process(Pid) ->
      Pid ! die,
      wait_for_pid(Pid).
  
  %% @doc state transition for stop_process command
  stop_process_next(S=#state{procs=Procs}, _Value, [Pid]) ->
  
negative.code: -include_lib("eqc/include/eqc.hrl").
  -include_lib("eqc/include/eqc_statem.hrl").
  -include_lib("eunit/include/eunit.hrl").
  -define(QC_OUT(P),
          eqc:on_output(fun(Str, Args) -> io:format(user, Str, Args) end, P)).
  
  -compile(export_all).
  
  