anchor.diff:  
   %%%----
   prop_parallel_multi() ->
  -    do_prop_parallel_multi(?SSH_DIR).
  +    ?TESTINGTIME(do_prop_parallel_multi(?SSH_DIR)).
   
   %% To be called from a common_test test suite
   prop_parallel_multi(CT_Config) ->
  
positive.code: ssh_server_pre(S) -> S#state.initialized andalso 
  			 length(S#state.servers) < ?MAX_NUM_SERVERS.
  
  ssh_server_args(S) -> [?SERVER_ADDRESS, {var,data_dir}, ?SERVER_EXTRA_OPTIONS]. 
  
  ssh_server({IP,Port}, DataDir, ExtraOptions) ->
      ok(ssh:daemon(IP, Port, 
  
negative.code: -else.
  
  
  %% Limit the testing time on CI server... this needs to be improved in % from total budget.
  -define(TESTINGTIME(Prop), eqc:testing_time(30,Prop)).
    
  
  -include_lib("eqc/include/eqc.hrl").
  -include_lib("eqc/include/eqc_statem.hrl").
  -eqc_group_commands(true).
  