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