Program: 37894
Project: 37894
Buggy source:
@Test public void testOkToBadTransition(){
  Transition transition;
  RealCheck<?,?> check=newCheck(4,4);
  CheckState state=newState(Status.OK,"String_Node_Str",true,4,false);
  Result result=newResult(false,"String_Node_Str","String_Node_Str");
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
}

Fixed version (ground truth):
@Test public void testOkToBadTransition(){
  System.out.println("String_Node_Str");
  Transition transition;
  RealCheck<?,?> check=newCheck(4,4);
  CheckState state=newState(Status.OK,"String_Node_Str",true,4,false);
  Result result=newResult(false,"String_Node_Str","String_Node_Str");
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  transition=this.computeResultTransition(check,state,result);
  System.out.println("String_Node_Str" + transition.stateChange + "String_Node_Str"+ transition.hardChange+ "String_Node_Str"+ transition.previousState+ "String_Node_Str"+ transition.nextState);
  state=transition.nextState;
  System.out.println("String_Node_Str");
}