anchor.diff:  
   
   do_prop_seq(DataDir) ->
  +    setup_rsa(DataDir),
       ?FORALL(Cmds,commands(?MODULE),
   	    begin
   		{H,Sf,Result} = run_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: 		   | ExtraOptions
  		  ])).
  
  ssh_server_post(_S, _Args, {error,eaddrinuse}) -> true;
  ssh_server_post(_S, _Args, Result) -> is_ok(Result).
  
  ssh_server_next(S, {error,eaddrinuse}, _) -> S;
  ssh_server_next(S, Result, [{IP,Port},_,_]) ->
      S#state{servers=[#srvr{ref = Result,
  			   address = IP,
  