Documents and implements a convention of resetting stderr to decimal format in all print_results() and handle_memref() functions that change the output format to hex, to better support chaining multiple tools.
Documents and implements a convention of resetting stderr to decimal format in all print_results() and handle_memref() functions that change the output format to hex, to better support chaining multiple tools.