Program: 155993
Project: 155993
Buggy source:
@Test public void testDecode() throws Exception {
  Gl200ProtocolDecoder decoder=new Gl200ProtocolDecoder(new Gl200Protocol());
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,false,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyNotNull(decoder,text("String_Node_Str"));
  verifyNotNull(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyNotNull(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyNotNull(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyPositions(decoder,false,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyNothing(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyPositions(decoder,text("String_Node_Str"));
  verifyNotNull(decoder,text("String_Node_Str"));
  verifyNotNull(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyNothing(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
}

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