Searched refs:stmtrace_data_filename (Results 1 – 1 of 1) sorted by relevance
80 const char *stmtrace_data_filename = "cstraceitm.bin"; variable159 trace_data_filename = stmtrace_data_filename; in process_cmd_line()