Program: 156047
Project: 156047
Buggy source:
@Test public void testDecode() throws Exception {
  MeiligaoProtocolDecoder decoder=new MeiligaoProtocolDecoder(new MeiligaoProtocol());
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"),position("String_Node_Str",true,10.63280,-61.35947));
  verifyPosition(decoder,binary("String_Node_Str"),position("String_Node_Str",true,24.00000,121.00000));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
}

Fixed version (ground truth):
@Test public void testDecode() throws Exception {
  MeiligaoProtocolDecoder decoder=new MeiligaoProtocolDecoder(new MeiligaoProtocol());
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"),position("String_Node_Str",true,10.63280,-61.35947));
  verifyPosition(decoder,binary("String_Node_Str"),position("String_Node_Str",true,24.00000,121.00000));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyNothing(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyAttributes(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
  verifyPosition(decoder,binary("String_Node_Str"));
}