Program: 87172
Project: 87172
Buggy source:
@Test public void post() throws Exception {
  ClientDispatcher myClient=new ClientDispatcher();
  TransportImpl myTransport=new TransportImpl(null);
  myClient.init(myTransport);
  FDUtil.ensureFD(_tport1.getFD());
  FDUtil.ensureFD(_tport2.getFD());
  System.err.println("String_Node_Str");
  for (int i=0; i < 5; i++) {
    ByteBuffer myBuffer=ByteBuffer.allocate(4);
    myBuffer.putInt(i);
    Proposal myProp=new Proposal("String_Node_Str",myBuffer.array());
    myClient.send(new Envelope(myProp),_tport2.getLocalAddress());
    VoteOutcome myEv=myClient.getNext(10000);
    Assert.assertFalse((myEv == null));
    Assert.assertTrue(myEv.getResult() == VoteOutcome.Reason.VALUE);
    Assert.assertTrue(myEv.getSeqNum() == i);
  }
  Thread.sleep(5000);
  System.err.println("String_Node_Str");
  Listener myListener=new Listener();
  _node3=new ServerDispatcher(new HowlLogger(_node3Log));
  _tport3=new TransportImpl(new FailureDetectorImpl(5000,FailureDetectorImpl.OPEN_PIN));
  _node3.init(_tport3);
  _node3.add(myListener);
  FDUtil.ensureFD(_tport3.getFD());
  System.err.println("String_Node_Str");
  ByteBuffer myBuffer=ByteBuffer.allocate(4);
  myBuffer.putInt(67);
  Proposal myProp=new Proposal("String_Node_Str",myBuffer.array());
  myClient.send(new Envelope(myProp),_tport2.getLocalAddress());
  VoteOutcome myOutcome=myClient.getNext(10000);
  System.err.println("String_Node_Str");
  Thread.sleep(5000);
  Assert.assertTrue(myListener.didOOD());
  boolean isInactive=false;
  try {
    _node3.getCore().submit(myProp,anOutcome -> {
    }
);
  }
 catch (  InactiveException anIE) {
    isInactive=true;
  }
  Assert.assertTrue(isInactive);
  boolean stateChecked=false;
  try {
    _node3.getCore().newCheckpoint();
  }
 catch (  IllegalStateException anISE) {
    stateChecked=true;
  }
  Assert.assertTrue(stateChecked);
  Thread.sleep(5000);
  System.err.println("String_Node_Str");
  myTransport.terminate();
}

Fixed version (ground truth):
@Test public void post() throws Exception {
  ClientDispatcher myClient=new ClientDispatcher();
  TransportImpl myTransport=new TransportImpl(null);
  myClient.init(myTransport);
  FDUtil.ensureFD(_tport1.getFD());
  FDUtil.ensureFD(_tport2.getFD());
  System.err.println("String_Node_Str");
  for (int i=0; i < 5; i++) {
    ByteBuffer myBuffer=ByteBuffer.allocate(4);
    myBuffer.putInt(i);
    Proposal myProp=new Proposal("String_Node_Str",myBuffer.array());
    myClient.send(new Envelope(myProp),_tport2.getLocalAddress());
    VoteOutcome myEv=myClient.getNext(10000);
    Assert.assertFalse((myEv == null));
    Assert.assertTrue(myEv.getResult() == VoteOutcome.Reason.VALUE);
    Assert.assertTrue(myEv.getSeqNum() == i);
  }
  Thread.sleep(5000);
  System.err.println("String_Node_Str");
  Listener myListener=new Listener();
  _node3=new ServerDispatcher(new HowlLogger(_node3Log),org.dancres.paxos.Listener.NULL_LISTENER);
  _tport3=new TransportImpl(new FailureDetectorImpl(5000,FailureDetectorImpl.OPEN_PIN));
  _node3.init(_tport3);
  _node3.add(myListener);
  FDUtil.ensureFD(_tport3.getFD());
  System.err.println("String_Node_Str");
  ByteBuffer myBuffer=ByteBuffer.allocate(4);
  myBuffer.putInt(67);
  Proposal myProp=new Proposal("String_Node_Str",myBuffer.array());
  myClient.send(new Envelope(myProp),_tport2.getLocalAddress());
  VoteOutcome myOutcome=myClient.getNext(10000);
  System.err.println("String_Node_Str");
  Thread.sleep(5000);
  Assert.assertTrue(myListener.didOOD());
  boolean isInactive=false;
  try {
    _node3.getCore().submit(myProp,anOutcome -> {
    }
);
  }
 catch (  InactiveException anIE) {
    isInactive=true;
  }
  Assert.assertTrue(isInactive);
  boolean stateChecked=false;
  try {
    _node3.getCore().newCheckpoint();
  }
 catch (  IllegalStateException anISE) {
    stateChecked=true;
  }
  Assert.assertTrue(stateChecked);
  Thread.sleep(5000);
  System.err.println("String_Node_Str");
  myTransport.terminate();
}