Program: 76338
Project: 76338
Buggy source:
/** 
 * Propagate the number of fractional firings decided for this actor through the specified input port.   Set and verify the fractional firing for each Actor that is connected through this input port. Any actors that we calculate their firing vector for the first time are moved from RemainingActors to pendingActors.
 * @param currentPort The port that we are propagating from.
 * @param firings The current LLMap of fractional firings for eachActor.
 * @param remainingActors The set of actors that have not had theirfractional firing set.
 * @param pendingActors The set of actors that have had their rateset, but have not been propagated onwards.
 * @exception NotSchedulableException If the CompositeActor is notschedulable.
 * @exception IllegalActionException If any called method throws it.
 */
private void _propagateInputPort(IOPort currentPort,LLMap firings,CircularList remainingActors,CircularList pendingActors) throws NotSchedulableException, IllegalActionException {
  ComponentEntity currentActor=(ComponentEntity)currentPort.getContainer();
  int currentRate=_getTokenConsumptionRate(currentPort);
  if (currentRate > 0) {
    Enumeration connectedPorts=currentPort.deepConnectedOutPorts();
    while (connectedPorts.hasMoreElements()) {
      IOPort connectedPort=(IOPort)connectedPorts.nextElement();
      ComponentEntity connectedActor=(ComponentEntity)connectedPort.getContainer();
      _debug("String_Node_Str" + connectedActor.getName());
      int connectedRate=_getTokenProductionRate(connectedPort);
      Fraction currentFiring=(Fraction)firings.at(currentActor);
      Fraction desiredFiring=currentFiring.multiply(new Fraction(currentRate,connectedRate));
      try {
        Fraction presentFiring=(Fraction)firings.at(connectedActor);
        if (presentFiring.equals(Fraction.ZERO)) {
          firings.putAt(connectedActor,desiredFiring);
          remainingActors.removeOneOf(connectedActor);
          pendingActors.insertLast(connectedActor);
        }
 else         if (!presentFiring.equals(desiredFiring))         throw new NotSchedulableException("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
      }
 catch (      NoSuchElementException e) {
        throw new InternalErrorException("String_Node_Str" + "String_Node_Str" + ((ComponentEntity)connectedActor).getName() + "String_Node_Str");
      }
      _debug("String_Node_Str");
      _debug(firings.toString());
    }
  }
}

Fixed version (ground truth):
/** 
 * Propagate the number of fractional firings decided for this actor through the specified input port.   Set and verify the fractional firing for each Actor that is connected through this input port. Any actors that we calculate their firing vector for the first time are moved from RemainingActors to pendingActors.
 * @param currentPort The port that we are propagating from.
 * @param firings The current Map of fractional firings for eachActor.
 * @param remainingActors The set of actors that have not had theirfractional firing set.
 * @param pendingActors The set of actors that have had their rateset, but have not been propagated onwards.
 * @exception NotSchedulableException If the CompositeActor is notschedulable.
 * @exception IllegalActionException If any called method throws it.
 */
private void _propagateInputPort(IOPort currentPort,Map firings,LinkedList remainingActors,LinkedList pendingActors) throws NotSchedulableException, IllegalActionException {
  ComponentEntity currentActor=(ComponentEntity)currentPort.getContainer();
  int currentRate=_getTokenConsumptionRate(currentPort);
  if (currentRate > 0) {
    Enumeration connectedPorts=currentPort.deepConnectedOutPorts();
    while (connectedPorts.hasMoreElements()) {
      IOPort connectedPort=(IOPort)connectedPorts.nextElement();
      ComponentEntity connectedActor=(ComponentEntity)connectedPort.getContainer();
      _debug("String_Node_Str" + connectedActor.getName());
      int connectedRate=_getTokenProductionRate(connectedPort);
      Fraction currentFiring=(Fraction)firings.get(currentActor);
      Fraction desiredFiring=currentFiring.multiply(new Fraction(currentRate,connectedRate));
      try {
        Fraction presentFiring=(Fraction)firings.get(connectedActor);
        if (presentFiring.equals(Fraction.ZERO)) {
          firings.put(connectedActor,desiredFiring);
          remainingActors.remove(connectedActor);
          pendingActors.addLast(connectedActor);
        }
 else         if (!presentFiring.equals(desiredFiring))         throw new NotSchedulableException("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
      }
 catch (      NoSuchElementException e) {
        throw new InternalErrorException("String_Node_Str" + "String_Node_Str" + ((ComponentEntity)connectedActor).getName() + "String_Node_Str");
      }
      _debug("String_Node_Str");
      _debug(firings.toString());
    }
  }
}