Program: 159256
Project: 159256
Buggy source:
@Test public void test(){
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,RedManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,WhiteManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
}

Fixed version (ground truth):
@Test public void test(){
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,RedManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,RedManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,RedManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,RedManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,RedManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,1);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,WhiteManaAbility.class);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
  testManaToPayVsLand("String_Node_Str","String_Node_Str",2,2);
}