Program: 18057
Project: 18057
Buggy source:
private ProcessDescriptor(Configuration config,int localId){
  this.localId=localId;
  this.config=config;
  this.numReplicas=config.getN();
  this.windowSize=config.getIntProperty(WINDOW_SIZE,DEFAULT_WINDOW_SIZE);
  this.batchingLevel=config.getIntProperty(BATCH_SIZE,DEFAULT_BATCH_SIZE);
  this.maxUdpPacketSize=config.getIntProperty(MAX_UDP_PACKET_SIZE,DEFAULT_MAX_UDP_PACKET_SIZE);
  this.maxBatchDelay=config.getIntProperty(MAX_BATCH_DELAY,DEFAULT_MAX_BATCH_DELAY);
  this.clientIDGenerator=config.getProperty(CLIENT_ID_GENERATOR,DEFAULT_CLIENT_ID_GENERATOR);
  this.network=config.getProperty(NETWORK,DEFAULT_NETWORK);
  this.logPath=config.getProperty(LOG_PATH,DEFAULT_LOG_PATH);
  this.firstSnapshotSizeEstimate=config.getIntProperty(FIRST_SNAPSHOT_SIZE_ESTIMATE,DEFAULT_FIRST_SNAPSHOT_SIZE_ESTIMATE);
  this.snapshotMinLogSize=Math.max(1,config.getIntProperty(SNAPSHOT_MIN_LOG_SIZE,DEFAULT_SNAPSHOT_MIN_LOG_SIZE));
  this.snapshotAskRatio=config.getDoubleProperty(SNAPSHOT_ASK_RATIO,DEFAULT_SNAPSHOT_ASK_RATIO);
  this.snapshotForceRatio=config.getDoubleProperty(SNAPSHOT_FORCE_RATIO,DEFAULT_SNAPSHOT_FORCE_RATIO);
  this.minSnapshotSampling=config.getIntProperty(MIN_SNAPSHOT_SAMPLING,DEFAULT_MIN_SNAPSHOT_SAMPLING);
  this.retransmitTimeout=config.getLongProperty(RETRANSMIT_TIMEOUT,DEFAULT_RETRANSMIT_TIMEOUT);
  this.tcpReconnectTimeout=config.getLongProperty(TCP_RECONNECT_TIMEOUT,DEFAULT_TCP_RECONNECT_TIMEOUT);
  this.fdSuspectTimeout=config.getIntProperty(FD_SUSPECT_TO,DEFAULT_FD_SUSPECT_TO);
  this.fdSendTimeout=config.getIntProperty(FD_SEND_TO,DEFAULT_FD_SEND_TO);
  this.forwardBatchMaxDelay=config.getIntProperty(FORWARD_MAX_BATCH_DELAY,DEFAULT_FORWARD_MAX_BATCH_DELAY);
  this.forwardBatchMaxSize=config.getIntProperty(FORWARD_MAX_BATCH_SIZE,DEFAULT_FORWARD_MAX_BATCH_SIZE);
  this.selectorThreadCount=config.getIntProperty(SELECTOR_THREADS,DEFAULT_SELECTOR_THREADS);
  this.clientRequestBufferSize=config.getIntProperty(CLIENT_REQUEST_BUFFER_SIZE,DEFAULT_CLIENT_REQUEST_BUFFER_SIZE);
  this.maxBatchFetchingTimeoutMs=config.getIntProperty(MAX_BATCH_FETCHING_TIME_MS,DEFAULT_MAX_BATCH_FETCHING_TIME_MS);
  this.multicastPort=config.getIntProperty(MULTICAST_PORT,DEFAULT_MULTICAST_PORT);
  this.multicastIpAddress=config.getProperty(MULTICAST_IP_ADDRESS,DEFAULT_MULTICAST_IP_ADDRESS);
  this.mtu=config.getIntProperty(MTU,DEFAULT_MTU);
  this.indirectConsensus=config.getBooleanProperty(INDIRECT_CONSENSUS,DEFAULT_INDIRECT_CONSENSUS);
  this.augmentedPaxos=config.getBooleanProperty(AUGMENTED_PAXOS,DEFAULT_AUGMENTED_PAXOS);
  String crash=config.getProperty(CRASH_MODEL,DEFAULT_CRASH_MODEL.toString());
  CrashModel crashModel;
  try {
    crashModel=CrashModel.valueOf(crash);
  }
 catch (  IllegalArgumentException e) {
    throw new RuntimeException("String_Node_Str" + crash + "String_Node_Str");
  }
  this.crashModel=crashModel;
  majority=(numReplicas + 1) / 2;
  printProcessDescriptor(config,crashModel);
}

Fixed version (ground truth):
private ProcessDescriptor(Configuration config,int localId){
  this.localId=localId;
  this.config=config;
  this.numReplicas=config.getN();
  this.windowSize=config.getIntProperty(WINDOW_SIZE,DEFAULT_WINDOW_SIZE);
  this.batchingLevel=config.getIntProperty(BATCH_SIZE,DEFAULT_BATCH_SIZE);
  this.maxUdpPacketSize=config.getIntProperty(MAX_UDP_PACKET_SIZE,DEFAULT_MAX_UDP_PACKET_SIZE);
  this.maxBatchDelay=config.getIntProperty(MAX_BATCH_DELAY,DEFAULT_MAX_BATCH_DELAY);
  this.clientIDGenerator=config.getProperty(CLIENT_ID_GENERATOR,DEFAULT_CLIENT_ID_GENERATOR);
  this.network=config.getProperty(NETWORK,DEFAULT_NETWORK);
  this.logPath=config.getProperty(LOG_PATH,DEFAULT_LOG_PATH);
  this.firstSnapshotSizeEstimate=config.getIntProperty(FIRST_SNAPSHOT_SIZE_ESTIMATE,DEFAULT_FIRST_SNAPSHOT_SIZE_ESTIMATE);
  this.snapshotMinLogSize=Math.max(1,config.getIntProperty(SNAPSHOT_MIN_LOG_SIZE,DEFAULT_SNAPSHOT_MIN_LOG_SIZE));
  this.snapshotAskRatio=config.getDoubleProperty(SNAPSHOT_ASK_RATIO,DEFAULT_SNAPSHOT_ASK_RATIO);
  this.snapshotForceRatio=config.getDoubleProperty(SNAPSHOT_FORCE_RATIO,DEFAULT_SNAPSHOT_FORCE_RATIO);
  this.minSnapshotSampling=config.getIntProperty(MIN_SNAPSHOT_SAMPLING,DEFAULT_MIN_SNAPSHOT_SAMPLING);
  this.retransmitTimeout=config.getLongProperty(RETRANSMIT_TIMEOUT,DEFAULT_RETRANSMIT_TIMEOUT);
  this.tcpReconnectTimeout=config.getLongProperty(TCP_RECONNECT_TIMEOUT,DEFAULT_TCP_RECONNECT_TIMEOUT);
  this.fdSuspectTimeout=config.getIntProperty(FD_SUSPECT_TO,DEFAULT_FD_SUSPECT_TO);
  this.fdSendTimeout=config.getIntProperty(FD_SEND_TO,DEFAULT_FD_SEND_TO);
  this.forwardBatchMaxDelay=config.getIntProperty(FORWARD_MAX_BATCH_DELAY,DEFAULT_FORWARD_MAX_BATCH_DELAY);
  this.forwardBatchMaxSize=config.getIntProperty(FORWARD_MAX_BATCH_SIZE,DEFAULT_FORWARD_MAX_BATCH_SIZE);
  this.selectorThreadCount=config.getIntProperty(SELECTOR_THREADS,DEFAULT_SELECTOR_THREADS);
  this.clientRequestBufferSize=config.getIntProperty(CLIENT_REQUEST_BUFFER_SIZE,DEFAULT_CLIENT_REQUEST_BUFFER_SIZE);
  this.maxBatchFetchingTimeoutMs=config.getIntProperty(MAX_BATCH_FETCHING_TIME_MS,DEFAULT_MAX_BATCH_FETCHING_TIME_MS);
  this.multicastPort=config.getIntProperty(MULTICAST_PORT,DEFAULT_MULTICAST_PORT);
  this.multicastIpAddress=config.getProperty(MULTICAST_IP_ADDRESS,DEFAULT_MULTICAST_IP_ADDRESS);
  this.mtu=config.getIntProperty(MTU,DEFAULT_MTU);
  this.indirectConsensus=config.getBooleanProperty(INDIRECT_CONSENSUS,DEFAULT_INDIRECT_CONSENSUS);
  this.augmentedPaxos=config.getBooleanProperty(AUGMENTED_PAXOS,DEFAULT_AUGMENTED_PAXOS);
  String crash=config.getProperty(CRASH_MODEL,DEFAULT_CRASH_MODEL.toString());
  CrashModel crashModel;
  try {
    crashModel=CrashModel.valueOf(crash);
  }
 catch (  IllegalArgumentException e) {
    throw new RuntimeException("String_Node_Str" + crash + "String_Node_Str");
  }
  this.crashModel=crashModel;
  majority=(numReplicas + 1) / 2;
  printProcessDescriptor(config,crashModel);
  logMark_Benchmark.add(logMark_OldBenchmark);
}