Searched refs:debug_output (Results 1 – 2 of 2) sorted by relevance
26 debug_output = sys.stderr variable28 debug_output.write(string + "\n")29 debug_output.flush()
803 friend ostream& operator<<(ostream& os, const DebugOutput& debug_output) {804 debug_output.OutputToStream(os);