anchor.diff:      {spawn,
           [%% Run the quickcheck tests
               {timeout, 60,
  -                ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, prop_reverse())))}
  +                ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, prop_block_count())))}
           ]
       }.
   
  
positive.code: %% eqc property
  %% ====================================================================
  
  prop_reverse() ->
      ?FORALL(Xs,list(int()),
          lists:reverse(lists:reverse(Xs)) == Xs).
  
  %%====================================================================
  %% Generators
  %%====================================================================
  
  %%====================================================================
  %% Helpers
  
negative.code:     test(100).
  
  test(Iterations) ->
      eqc:quickcheck(eqc:numtests(Iterations, prop_block_count())).
  
  bs(Power) ->
      trunc(math:pow(2, Power)).
  
  -endif.
  