Program: 155974
Project: 155974
Buggy source:
@Test public void testDecode() throws Exception {
  Gl200TextProtocolDecoder decoder=new Gl200TextProtocolDecoder(new Gl200Protocol());
  verifyNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,false,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,false,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNull(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
}

Fixed version (ground truth):
@Test public void testDecode() throws Exception {
  Gl200TextProtocolDecoder decoder=new Gl200TextProtocolDecoder(new Gl200Protocol());
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,false,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,false,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNull(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPosition(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyPositions(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyNotNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyNull(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
  verifyAttributes(decoder,buffer("String_Node_Str"));
}