anchor.diff:  %%====================================================================
   
   test() ->
  -    test(100).
  +    test(500).
   
   test(Iterations) ->
       eqc:quickcheck(eqc:numtests(Iterations, prop_block_count())),
  
positive.code: 
  eqc_test_() ->
      {spawn,
          [%% Run the quickcheck tests
              {timeout, 60,
                  ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, prop_block_count())))},
              {timeout, 60,
                  ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, prop_manifest_manipulation())))}
          ]
      }.
  
  %% ====================================================================
  
negative.code: -export([test/0,
           test/1]).
  
  -define(QC_OUT(P),
          eqc:on_output(fun(Str, Args) ->
                                io:format(user, Str, Args) end, P)).
  -define(TEST_ITERATIONS, 500).
  
  %%====================================================================
  