anchor.diff:  -include_lib("eunit/include/eunit.hrl").
   
   %% eqc property
  --export([prop_twop_set_api/0]).
  +-export([prop_twop_set_api/0,
  +         prop_twop_set_resolution/0]).
   
   %% States
   -export([stopped/1,
  
positive.code: test(Iterations) ->
      eqc:quickcheck(eqc:numtests(Iterations, prop_twop_set_api())).
  
  %%====================================================================
  %% Generators
  %%====================================================================
  
  -endif.
  
negative.code: eqc_test_() ->
      {spawn,
          [
              {timeout, 20, ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT(prop_twop_set_api()))))},
              {timeout, 20, ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT(prop_twop_set_resolution()))))}
          ]
      }.
  
  