Program: 27395
Project: 27395
Buggy source:
public void testPinpointTypeDiffWhenMismatch(){
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str"));
}

Fixed version (ground truth):
public void testPinpointTypeDiffWhenMismatch(){
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str"));
  typeCheckMessageContents(LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"),NewTypeInference.INVALID_ARGUMENT_TYPE,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str" + "String_Node_Str"));
  typeCheckMessageContents("String_Node_Str",NewTypeInference.MISTYPED_ASSIGN_RHS,LINE_JOINER.join("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
}