anchor.diff:  %% eqc_fsm callbacks
   -export([initial_state/0,
            initial_state_data/0,
  -         initial_state_data/2,
  +         initial_state_data/4,
            next_state_data/5,
            precondition/4,
            postcondition/5]).
  
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: eqc_test_() ->
      {spawn,
       [
        {timeout, 600, ?_assertEqual(true,
                                     quickcheck(numtests(?TEST_ITERATIONS,
                                                         ?QC_OUT(prop_api_test(?DEFAULT_HOST,
                                                                               ?DEFAULT_PORT,
                                                                               ?DEFAULT_PROXY_HOST,
                                                                               ?DEFAULT_PROXY_PORT)))))}
        %% {timeout, 60, ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT(prop_parallel_api_test(?DEFAULT_HOST, ?DEFAULT_PORT)))))}
       ]
      }.
  