Program: 156191
Project: 156191
Buggy source:
@Test public void testDecode() throws Exception {
  Gl200ProtocolDecoder decoder=new Gl200ProtocolDecoder(new Gl200Protocol());
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,"String_Node_Str"));
}

Fixed version (ground truth):
@Test public void testDecode() throws Exception {
  Gl200ProtocolDecoder decoder=new Gl200ProtocolDecoder(new Gl200Protocol());
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,"String_Node_Str"));
}