+
+ // pretty_pv() creates a human-readable string from a position and a PV.
+ // It is used to write search information to the log file (which is created
+ // when the UCI parameter "Use Search Log" is "true"). It uses the two helpers
+ // time_to_string() and score_to_string() to format time and score respectively.
+