initialize_debugger

36

void initialize_debugger(const char *filename);

95

#define INITIALIZE_DEBUGGING_OUTPUT_FILE(filename) initialize_debugger(filename);

32

void initialize_debugger(const char *filename);

90

#define INITIALIZE_DEBUGGING_OUTPUT_FILE(filename) initialize_debugger(filename);