Program: 63847
Project: 63847
Buggy source:
public void verifyCalls(String clusterName){
  verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
  Verification distributeVerification=verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1);
  for (  CloudVmMetaDataStatus status : getInstanceMap().values()) {
    distributeVerification.bodyContains("String_Node_Str" + status.getMetaData().getPrivateIp());
  }
  distributeVerification.verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(2).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).bodyContains("String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str" + clusterName,"String_Node_Str").exactTimes(1).bodyContains("String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").verify();
  verify(AMBARI_API_ROOT + "String_Node_Str" + clusterName+ "String_Node_Str","String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").atLeast(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(2).verify();
  verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(0).verify();
  verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(4).verify();
}

Fixed version (ground truth):
public void verifyCalls(String clusterName){
  verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
  Verification distributeVerification=verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1);
  for (  CloudVmMetaDataStatus status : getInstanceMap().values()) {
    distributeVerification.bodyContains("String_Node_Str" + status.getMetaData().getPrivateIp());
  }
  distributeVerification.verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(2).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).bodyContains("String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
  verify(AMBARI_API_ROOT + "String_Node_Str" + clusterName,"String_Node_Str").exactTimes(1).bodyContains("String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").verify();
  verify(AMBARI_API_ROOT + "String_Node_Str" + clusterName+ "String_Node_Str","String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(0).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").bodyContains("String_Node_Str").exactTimes(0).verify();
  verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
  verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(0).verify();
  verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").exactTimes(4).verify();
}