Print dbg counters after bench

Print last debug counters update just
before to exit benchmark.

Suggested by Stephane Nicolet.

No functional change.

diff --git a/src/benchmark.cpp b/src/benchmark.cpp
index 63a9d84c7eaf5369d873df9d0dbded8f18df49e0..08768cde57cdb37bdcaa1627b7a00a5d668b08e0 100644 (file)
--- a/src/benchmark.cpp
+++ b/src/benchmark.cpp
@@ -152,6 +152,8 @@ void benchmark(const Position& current, istream& is) {
 
   elapsed = Time::now() - elapsed + 1; // Ensure positivity to avoid a 'divide by zero'
 
+  dbg_print(); // Just before to exit
+
   cerr << "\n==========================="
        << "\nTotal time (ms) : " << elapsed
        << "\nNodes searched  : " << nodes