anchor.diff:  -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).
   
  
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:           %% 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).
  