anchor.diff:  -include_lib("eunit/include/eunit.hrl").
   
   -compile(export_all).
  +
  +-define(NUM_TESTS, 1).
   
   -define(QC_OUT(P),
           eqc:on_output(fun(Str, Args) ->
  
positive.code:                         pretty_commands(?MODULE, Cmds, {H, S, Res},
                             aggregate(command_names(Cmds), Res == ok))
                      end))
          )).
  
  setup() ->
      {ok, _Apps} = application:ensure_all_started(lager),
  
negative.code: %% Properties.
  
  prop_sequential() ->
      eqc:numtests(?NUM_TESTS,
          ?SETUP(fun() ->
                      setup(),
                      fun teardown/0
  