Lines Matching defs:output
85 static void run_gdb(const char* program, const char* core_name, FILE* output)
116 /// \param output Stream to which to send the output of GDB.
118 run_gdb(const char* program, const char* core_name, FILE* output)
132 const int output_fd = fileno(output);
143 fclose(output);
299 /// \param output Stream into which to dump the stack trace and any additional
303 /// output. This function returns no errors.
306 const kyua_run_params_t* original_run_params, FILE* output)
308 fprintf(output, "Process with PID %d dumped core; attempting to gather "
319 fprintf(output, "Cannot find any core file\n");
323 // We must flush the output stream right before invoking fork, so that the
325 // the messages above being written twice to the output.
326 fflush(output);
330 run_gdb(program, core_file, output);
342 fprintf(output, "GDB failed; timed out\n");
346 fprintf(output, "GDB exited successfully\n");
348 fprintf(output, "GDB failed with code %d; see output above for "
352 fprintf(output, "GDB received signal %d; see output above for "
361 kyua_error_fprintf(output, error, "Failed to gather stacktrace");