anchor.diff:      do_prop_parallel(full_path(?SSH_DIR, CT_Config)).
   
   do_prop_parallel(DataDir) ->
  +    setup_rsa(DataDir),
       ?FORALL(Cmds,parallel_commands(?MODULE),
   	    begin
   		{H,Sf,Result} = run_parallel_commands(?MODULE,Cmds,[{data_dir,DataDir}]),
  
positive.code:     do_prop_parallel_multi(full_path(?SSH_DIR, CT_Config)).
  
  do_prop_parallel_multi(DataDir) ->
      ?FORALL(Repetitions,?SHRINK(1,[10]),
  	    ?FORALL(Cmds,parallel_commands(?MODULE),
  		    ?ALWAYS(Repetitions,
  
negative.code: %%%----------------
  %%% Start a new daemon
  %%% Precondition: not more than ?MAX_NUM_SERVERS started
  
  %%% This is a bit funny because we need to pick an IP address and Port to
  %%% run the server on, but there is no way to atomically select a free Port!
  %%% 
  %%% Therefore we just grab one IP-Port pair randomly and try to start the ssh server
  %%% on that pair.  If it fails, we just forget about it and goes on.  Yes, it
  %%% is a waste of cpu cycles, but at least it works!
  
  ssh_server_pre(S) -> S#state.initialized andalso 
  			 length(S#state.servers) < ?MAX_NUM_SERVERS.
  