Print dbg counters after bench
authorMarco Costalba <mcostalba@gmail.com>
Tue, 11 Mar 2014 21:19:14 +0000 (22:19 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Tue, 11 Mar 2014 21:19:14 +0000 (22:19 +0100)
Print last debug counters update just
before to exit benchmark.

Suggested by Stephane Nicolet.

No functional change.

src/benchmark.cpp

index 63a9d84c7eaf5369d873df9d0dbded8f18df49e0..08768cde57cdb37bdcaa1627b7a00a5d668b08e0 100644 (file)
@@ -152,6 +152,8 @@ void benchmark(const Position& current, istream& is) {
 
   elapsed = Time::now() - elapsed + 1; // Ensure positivity to avoid a 'divide by zero'
 
 
   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
   cerr << "\n==========================="
        << "\nTotal time (ms) : " << elapsed
        << "\nNodes searched  : " << nodes