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