Program: 156036
Project: 156036
Buggy source:
@Test public void testDecode() throws Exception {
  Tk103ProtocolDecoder decoder=new Tk103ProtocolDecoder(new Tk103Protocol());
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyPosition(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"),position("String_Node_Str",true,-25.92255,28.92222));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyNothing(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"));
  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"),position("String_Node_Str",true,45.45586,9.16626));
  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"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyNothing(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
}

Fixed version (ground truth):
@Test public void testDecode() throws Exception {
  Tk103ProtocolDecoder decoder=new Tk103ProtocolDecoder(new Tk103Protocol());
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyAttributes(decoder,text("String_Node_Str"));
  verifyPosition(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"),position("String_Node_Str",true,-25.92255,28.92222));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyNothing(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"));
  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"),position("String_Node_Str",true,45.45586,9.16626));
  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"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
  verifyNothing(decoder,text("String_Node_Str"));
  verifyPosition(decoder,text("String_Node_Str"));
}