Program: 112690
Project: 112690
Buggy source:
@Override public boolean equals(Object other){
  if (!super.equals(other)) {
    return false;
  }
  Minion otherMinion=(Minion)other;
  if (health_ != otherMinion.health_)   return false;
  if (maxHealth_ != otherMinion.maxHealth_)   return false;
  if (auraHealth_ != otherMinion.auraHealth_)   return false;
  if (attack_ != otherMinion.attack_)   return false;
  if (extraAttackUntilTurnEnd_ != otherMinion.extraAttackUntilTurnEnd_)   return false;
  if (auraAttack_ != otherMinion.auraAttack_)   return false;
  if (taunt_ != otherMinion.taunt_)   return false;
  if (divineShield_ != otherMinion.divineShield_)   return false;
  if (windFury_ != otherMinion.windFury_)   return false;
  if (charge_ != otherMinion.charge_)   return false;
  if (stealthedUntilRevealed != otherMinion.stealthedUntilRevealed)   return false;
  if (stealthedUntilNextTurn != otherMinion.stealthedUntilNextTurn)   return false;
  if (hasAttacked_ != otherMinion.hasAttacked_)   return false;
  if (heroTargetable_ != otherMinion.heroTargetable_)   return false;
  if (hasWindFuryAttacked_ != otherMinion.hasWindFuryAttacked_)   return false;
  if (frozen_ != otherMinion.frozen_)   return false;
  if (silenced_ != otherMinion.silenced_)   return false;
  if (destroyOnTurnStart_ != otherMinion.destroyOnTurnStart_)   return false;
  if (destroyOnTurnEnd_ != otherMinion.destroyOnTurnEnd_)   return false;
  if (spellDamage_ != otherMinion.spellDamage_)   return false;
  if (deathrattleAction_ == null && ((Minion)other).deathrattleAction_ != null)   return false;
  if (deathrattleAction_ != null && !deathrattleAction_.equals(((Minion)other).deathrattleAction_))   return false;
  return true;
}

Fixed version (ground truth):
@Override public boolean equals(Object other){
  if (!super.equals(other)) {
    return false;
  }
  Minion otherMinion=(Minion)other;
  if (health_ != otherMinion.health_)   return false;
  if (maxHealth_ != otherMinion.maxHealth_)   return false;
  if (auraHealth_ != otherMinion.auraHealth_)   return false;
  if (attack_ != otherMinion.attack_)   return false;
  if (extraAttackUntilTurnEnd_ != otherMinion.extraAttackUntilTurnEnd_)   return false;
  if (auraAttack_ != otherMinion.auraAttack_)   return false;
  if (taunt_ != otherMinion.taunt_)   return false;
  if (divineShield_ != otherMinion.divineShield_)   return false;
  if (windFury_ != otherMinion.windFury_)   return false;
  if (charge_ != otherMinion.charge_)   return false;
  if (stealthedUntilRevealed != otherMinion.stealthedUntilRevealed)   return false;
  if (stealthedUntilNextTurn != otherMinion.stealthedUntilNextTurn)   return false;
  if (hasAttacked_ != otherMinion.hasAttacked_)   return false;
  if (heroTargetable_ != otherMinion.heroTargetable_)   return false;
  if (hasWindFuryAttacked_ != otherMinion.hasWindFuryAttacked_)   return false;
  if (frozen_ != otherMinion.frozen_)   return false;
  if (silenced_ != otherMinion.silenced_)   return false;
  if (destroyOnTurnStart_ != otherMinion.destroyOnTurnStart_)   return false;
  if (destroyOnTurnEnd_ != otherMinion.destroyOnTurnEnd_)   return false;
  if (spellDamage_ != otherMinion.spellDamage_)   return false;
  if (immune_ != otherMinion.immune_)   return false;
  if (cantAttack != otherMinion.cantAttack)   return false;
  if (deathrattleAction_ == null && ((Minion)other).deathrattleAction_ != null)   return false;
  if (deathrattleAction_ != null && !deathrattleAction_.equals(((Minion)other).deathrattleAction_))   return false;
  return true;
}