// Load a previously recorded binary trace file // filename - trace file success load_trace_file(string filename);// Save current trace to a binary trace file // filename - trace file // description - trace description success save_trace_file(string filename, string description);
// Check the given binary trace file // filename - trace file success is_valid_trace_file(string filename);
// Diff current trace buffer against given trace // filename - trace file success diff_trace_file(string filename);
// Clear the current trace buffer void clear_trace();
// Update the trace description of the given binary trace file // filename - trace file // description - trace description success set_trace_file_desc(string filename, string description);
// Get the trace description of the given binary trace file // filename - trace file string get_trace_file_desc(string filename);