Program: 73965
Project: 73965
Buggy source:
/** 
 * Resolve the property values for the toplevel entity that contains this solver, given the model analyzer that invokes this.
 * @param analyzer The given model analyzer.
 */
protected void _resolveProperties(NamedObj analyzer) throws KernelException {
  NamedObj toplevel=_toplevel();
  PropertyConstraintHelper toplevelHelper=(PropertyConstraintHelper)getHelper(toplevel);
  toplevelHelper.reinitialize();
  toplevelHelper._addDefaultConstraints(_getConstraintType(actorConstraintType.stringValue()));
  toplevelHelper._setConnectionConstraintType(_getConstraintType(connectionConstraintType.stringValue()),_getConstraintType(compositeConnectionConstraintType.stringValue()),_getConstraintType(fsmConstraintType.stringValue()),_getConstraintType(expressionASTNodeConstraintType.stringValue()));
  List<Inequality> constraintList=toplevelHelper.constraintList();
  List<Inequality> errorList=constraintList;
  List<Inequality> testList=errorList;
  _resolveProperties(toplevel,toplevelHelper,testList);
  int blockSize=errorList.size() / 2;
  WHILE_LOOP:   while (blockSize >= 1) {
    for (int i=0; i < errorList.size(); i+=blockSize) {
      Set<Inequality> tmpSet=new HashSet(errorList.subList(i,Math.min(errorList.size(),i + blockSize)));
      testList=new LinkedList(errorList);
      testList.removeAll(tmpSet);
      if (testList.size() > 0) {
        _resolveProperties(toplevel,toplevelHelper,testList);
        errorList=testList;
        if (blockSize > errorList.size())         blockSize=errorList.size() / 2;
        continue WHILE_LOOP;
      }
    }
    blockSize/=2;
    System.err.println("String_Node_Str" + blockSize);
  }
  System.out.println(errorList);
  _resolveProperties(toplevel,toplevelHelper,errorList);
}

Fixed version (ground truth):
/** 
 * Resolve the property values for the toplevel entity that contains this solver, given the model analyzer that invokes this.
 * @param analyzer The given model analyzer.
 */
protected void _resolveProperties(NamedObj analyzer) throws KernelException {
  NamedObj toplevel=_toplevel();
  PropertyConstraintHelper toplevelHelper=(PropertyConstraintHelper)getHelper(toplevel);
  toplevelHelper.reinitialize();
  toplevelHelper._addDefaultConstraints(_getConstraintType(actorConstraintType.stringValue()));
  toplevelHelper._setConnectionConstraintType(_getConstraintType(connectionConstraintType.stringValue()),_getConstraintType(compositeConnectionConstraintType.stringValue()),_getConstraintType(fsmConstraintType.stringValue()),_getConstraintType(expressionASTNodeConstraintType.stringValue()));
  List<Inequality> constraintList=toplevelHelper.constraintList();
  List<Inequality> errorList=constraintList;
  List<Inequality> testList=errorList;
  _resolveProperties(toplevel,toplevelHelper,testList);
  if (!checkForErrors()) {
    return;
  }
  int blockSize=errorList.size() / 2;
  WHILE_LOOP:   while (blockSize >= 1) {
    for (int i=0; i < errorList.size(); i+=blockSize) {
      Set<Inequality> tmpSet=new HashSet(errorList.subList(i,Math.min(errorList.size(),i + blockSize)));
      testList=new LinkedList(errorList);
      testList.removeAll(tmpSet);
      if (testList.size() > 0) {
        _resolveProperties(toplevel,toplevelHelper,testList);
        if (checkForErrors()) {
          errorList=testList;
          if (blockSize > errorList.size())           blockSize=errorList.size() / 2;
          continue WHILE_LOOP;
        }
      }
    }
    blockSize/=2;
    System.err.println("String_Node_Str" + blockSize);
  }
  System.out.println(errorList);
  _resolveProperties(toplevel,toplevelHelper,errorList);
}