question: private void writeTest ( PrintStream out , String className , String methodName , ExecutableSequence s ) { out . println ( "  @Test" ) ; out . println ( "  public void " + methodName + "() throws Throwable {" ) ; out . println ( ) ; out . println ( indent ( "if (debug) { System.out.format(\"%n%s%n\",\"" + className + "." + methodName + "\"); }" ) ) ; out . println ( ) ; out . println ( indent ( s . toCodeString ( ) ) ) ; out . println ( "  }" ) ; }
target:  Writes a test method to the output stream for the sequence s.