Program: 62913
Project: 62913
Buggy source:
@Test public void testExecuteAndPostProcess() throws Exception {
  InstructorAttributes instructor1ofCourse1=dataBundle.instructors.get("String_Node_Str");
  ______TS("String_Node_Str");
  gaeSimulation.loginAsInstructor(instructor1ofCourse1.googleId);
  verifyAssumptionFailure();
  ______TS("String_Node_Str");
  String[] params=createParamsForTypicalFeedbackSession(instructor1ofCourse1.courseId,"String_Node_Str");
  InstructorFeedbackAddAction a=getAction(params);
  RedirectResult rr=(RedirectResult)a.executeAndPostProcess();
  assertEquals(Const.ActionURIs.INSTRUCTOR_FEEDBACK_EDIT_PAGE + "String_Node_Str" + instructor1ofCourse1.courseId+ "String_Node_Str"+ "String_Node_Str"+ instructor1ofCourse1.googleId+ "String_Node_Str"+ "String_Node_Str",rr.getDestinationWithParams());
  String expectedLogMessage="String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
  assertEquals(expectedLogMessage,a.getLogMessage());
  ______TS("String_Node_Str");
  a=getAction(params);
  ShowPageResult pr=(ShowPageResult)a.executeAndPostProcess();
  assertEquals(Const.ViewURIs.INSTRUCTOR_FEEDBACKS + "String_Node_Str",pr.getDestinationWithParams());
  assertEquals(true,pr.isError);
  assertEquals(Const.StatusMessages.FEEDBACK_SESSION_EXISTS,pr.getStatusMessage());
  ______TS("String_Node_Str");
  gaeSimulation.loginAsAdmin("String_Node_Str");
  params=createParamsForTypicalFeedbackSession(instructor1ofCourse1.courseId,"String_Node_Str");
  params=addUserIdToParams(instructor1ofCourse1.googleId,params);
  a=getAction(params);
  rr=(RedirectResult)a.executeAndPostProcess();
  assertEquals(Const.ActionURIs.INSTRUCTOR_FEEDBACK_EDIT_PAGE + "String_Node_Str" + instructor1ofCourse1.courseId+ "String_Node_Str"+ "String_Node_Str"+ instructor1ofCourse1.googleId+ "String_Node_Str"+ "String_Node_Str",rr.getDestinationWithParams());
  expectedLogMessage="String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
  assertEquals(expectedLogMessage,a.getLogMessage());
}

Fixed version (ground truth):
@Test public void testExecuteAndPostProcess() throws Exception {
  InstructorAttributes instructor1ofCourse1=dataBundle.instructors.get("String_Node_Str");
  ______TS("String_Node_Str");
  gaeSimulation.loginAsInstructor(instructor1ofCourse1.googleId);
  verifyAssumptionFailure();
  ______TS("String_Node_Str");
  String[] params=createParamsForTypicalFeedbackSession(instructor1ofCourse1.courseId,"String_Node_Str");
  InstructorFeedbackAddAction a=getAction(params);
  RedirectResult rr=(RedirectResult)a.executeAndPostProcess();
  assertEquals(Const.ActionURIs.INSTRUCTOR_FEEDBACK_EDIT_PAGE + "String_Node_Str" + instructor1ofCourse1.courseId+ "String_Node_Str"+ "String_Node_Str"+ instructor1ofCourse1.googleId+ "String_Node_Str"+ "String_Node_Str",rr.getDestinationWithParams());
  String expectedLogMessage="String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
  assertEquals(expectedLogMessage,a.getLogMessage());
  ______TS("String_Node_Str");
  a=getAction(params);
  ShowPageResult pr=(ShowPageResult)a.executeAndPostProcess();
  assertEquals(Const.ViewURIs.INSTRUCTOR_FEEDBACKS + "String_Node_Str",pr.getDestinationWithParams());
  assertEquals(true,pr.isError);
  assertEquals(Const.StatusMessages.FEEDBACK_SESSION_EXISTS,pr.getStatusMessage());
  ______TS("String_Node_Str");
  params=createParamsForTypicalFeedbackSession(instructor1ofCourse1.courseId,"String_Node_Str");
  a=getAction(params);
  rr=(RedirectResult)a.executeAndPostProcess();
  assertEquals(Const.ActionURIs.INSTRUCTOR_FEEDBACK_EDIT_PAGE + "String_Node_Str" + instructor1ofCourse1.courseId+ "String_Node_Str"+ "String_Node_Str"+ instructor1ofCourse1.googleId+ "String_Node_Str"+ "String_Node_Str",rr.getDestinationWithParams());
  expectedLogMessage="String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
  assertEquals(expectedLogMessage,a.getLogMessage());
  ______TS("String_Node_Str");
  gaeSimulation.loginAsAdmin("String_Node_Str");
  params=createParamsForTypicalFeedbackSession(instructor1ofCourse1.courseId,"String_Node_Str");
  params=addUserIdToParams(instructor1ofCourse1.googleId,params);
  a=getAction(params);
  rr=(RedirectResult)a.executeAndPostProcess();
  assertEquals(Const.ActionURIs.INSTRUCTOR_FEEDBACK_EDIT_PAGE + "String_Node_Str" + instructor1ofCourse1.courseId+ "String_Node_Str"+ "String_Node_Str"+ instructor1ofCourse1.googleId+ "String_Node_Str"+ "String_Node_Str",rr.getDestinationWithParams());
  expectedLogMessage="String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
  assertEquals(expectedLogMessage,a.getLogMessage());
}