anchor.diff:              end
              ).
   
  -%% prop_parallel_api_test(Host, Port) ->
  +%% prop_parallel_api_test(Host, Port, ProxyHost, ProxyPort) ->
   %%     ?FORALL(Cmds={Seq, Par},
   %%             parallel_commands(?MODULE, {start, initial_state_data(Host, Port)}),
   %%             begin
  
positive.code: %% EQC Properties
  %% ====================================================================
  
  prop_api_test(Host, Port) ->
      ?FORALL(Cmds,
              commands(?MODULE, {start, initial_state_data(Host, Port)}),
              begin
                  RunningApps = application:which_applications(),
                  case lists:keymember(erlcloud, 1, RunningApps) of
  
negative.code: 
  -define(S3_MODULE, erlcloud_s3).
  -define(DEFAULT_HOST, "s3.amazonaws.com").
  -define(DEFAULT_PORT, 80).
  -define(DEFAULT_PROXY_HOST, "localhost").
  -define(DEFAULT_PROXY_PORT, 8080).
  -define(VALUE, "test value").
  -define(EMPTY_OBJECT_LIST(B), [{name, B},
                                  {prefix,[]},
  