Debugging: print to file

Print debug info on log file, not only on std::cout

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
This commit is contained in:
Marco Costalba
2008-12-14 14:57:17 +01:00
parent 8ee3124487
commit 5f8f83bc05
2 changed files with 23 additions and 1 deletions

View File

@@ -26,6 +26,7 @@
//// Includes
////
#include <fstream>
#include <string>
@@ -60,6 +61,7 @@ extern int Bioskey();
////
//// Debug
////
extern bool dbg_show_mean;
extern bool dbg_show_hit_rate;
@@ -76,5 +78,7 @@ inline void dbg_mean_of(int v) { dbg_cnt0++; dbg_cnt1 += v; }
extern void dbg_print_hit_rate();
extern void dbg_print_mean();
extern void dbg_print_hit_rate(std::ofstream& logFile);
extern void dbg_print_mean(std::ofstream& logFile);
#endif // !defined(MISC_H_INCLUDED)