Program: 109107
Project: 109107
Buggy source:
@Override protected void processGroupify(){
  int processed=0;
  while (element != null) {
    intuple=data[element.representant];
    outtuple=buffer[element.representant];
    outtuple[outindex0]=idindex0[intuple[index0]][stateindex0];
    outtuple[outindex1]=idindex1[intuple[index1]][stateindex1];
    outtuple[outindex2]=idindex2[intuple[index2]][stateindex2];
    outtuple[outindex3]=idindex3[intuple[index3]][stateindex3];
    outtuple[outindex4]=idindex4[intuple[index4]][stateindex4];
    outtuple[outindex5]=idindex5[intuple[index5]][stateindex5];
    outtuple[outindex6]=idindex6[intuple[index6]][stateindex6];
    outtuple[outindex7]=idindex7[intuple[index7]][stateindex7];
    outtuple[outindex8]=idindex8[intuple[index8]][stateindex8];
    outtuple[outindex9]=idindex9[intuple[index9]][stateindex9];
    outtuple[outindex10]=idindex10[intuple[index10]][stateindex10];
    outtuple[outindex11]=idindex11[intuple[index11]][stateindex11];
    outtuple[outindex12]=idindex12[intuple[index12]][stateindex12];
    outtuple[outindex13]=idindex13[intuple[index13]][stateindex13];
switch (requirements) {
case ARXConfiguration.REQUIREMENT_COUNTER:
      groupify.addGroupify(outtuple,element.representant,element.count,null,-1);
    break;
case ARXConfiguration.REQUIREMENT_COUNTER | ARXConfiguration.REQUIREMENT_SECONDARY_COUNTER:
  groupify.addGroupify(outtuple,element.representant,element.count,null,element.pcount);
break;
case ARXConfiguration.REQUIREMENT_COUNTER | ARXConfiguration.REQUIREMENT_SECONDARY_COUNTER | ARXConfiguration.REQUIREMENT_DISTRIBUTION:
groupify.addGroupify(outtuple,element.representant,element.count,element.distribution,element.pcount);
break;
case ARXConfiguration.REQUIREMENT_COUNTER | ARXConfiguration.REQUIREMENT_DISTRIBUTION:
groupify.addGroupify(outtuple,element.representant,element.count,element.distribution,-1);
default :
throw new RuntimeException("String_Node_Str" + requirements);
}
processed++;
if (processed == numElements) {
return;
}
element=element.nextOrdered;
}
}

Fixed version (ground truth):
@Override protected void processGroupify(){
  int processed=0;
  while (element != null) {
    intuple=data[element.representant];
    outtuple=buffer[element.representant];
    outtuple[outindex0]=idindex0[intuple[index0]][stateindex0];
    outtuple[outindex1]=idindex1[intuple[index1]][stateindex1];
    outtuple[outindex2]=idindex2[intuple[index2]][stateindex2];
    outtuple[outindex3]=idindex3[intuple[index3]][stateindex3];
    outtuple[outindex4]=idindex4[intuple[index4]][stateindex4];
    outtuple[outindex5]=idindex5[intuple[index5]][stateindex5];
    outtuple[outindex6]=idindex6[intuple[index6]][stateindex6];
    outtuple[outindex7]=idindex7[intuple[index7]][stateindex7];
    outtuple[outindex8]=idindex8[intuple[index8]][stateindex8];
    outtuple[outindex9]=idindex9[intuple[index9]][stateindex9];
    outtuple[outindex10]=idindex10[intuple[index10]][stateindex10];
    outtuple[outindex11]=idindex11[intuple[index11]][stateindex11];
    outtuple[outindex12]=idindex12[intuple[index12]][stateindex12];
    outtuple[outindex13]=idindex13[intuple[index13]][stateindex13];
switch (requirements) {
case ARXConfiguration.REQUIREMENT_COUNTER:
      groupify.addGroupify(outtuple,element.representant,element.count,null,-1);
    break;
case ARXConfiguration.REQUIREMENT_COUNTER | ARXConfiguration.REQUIREMENT_SECONDARY_COUNTER:
  groupify.addGroupify(outtuple,element.representant,element.count,null,element.pcount);
break;
case ARXConfiguration.REQUIREMENT_COUNTER | ARXConfiguration.REQUIREMENT_SECONDARY_COUNTER | ARXConfiguration.REQUIREMENT_DISTRIBUTION:
groupify.addGroupify(outtuple,element.representant,element.count,element.distribution,element.pcount);
break;
case ARXConfiguration.REQUIREMENT_COUNTER | ARXConfiguration.REQUIREMENT_DISTRIBUTION:
groupify.addGroupify(outtuple,element.representant,element.count,element.distribution,-1);
break;
default :
throw new RuntimeException("String_Node_Str" + requirements);
}
processed++;
if (processed == numElements) {
return;
}
element=element.nextOrdered;
}
}