anchor.diff:  %%====================================================================
   
   test() ->
  -    test(100).
  +    test(500).
   
   test(Iterations) ->
       eqc:quickcheck(eqc:numtests(Iterations, prop_block_count())),
  
positive.code: -export([test/0,
           test/1]).
  
  -define(TEST_ITERATIONS, 500).
  
  %%====================================================================
  
negative.code: 
  eqc_test_() ->
      {spawn,
          {timeout, 60,
              [
                  ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT(prop_block_count())))),
                  ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT(prop_manifest_manipulation()))))
              ]
          }
      }.
  
  %% ====================================================================
  