Do not hardcode Debug Log File

Allow to specifiy the log file name, this comes
handy in case of self-matches so that each SF
instance writes into a different log file.

No functional change.
This commit is contained in:
lucasart
2016-06-13 07:12:24 +08:00
committed by Marco Costalba
parent ca14345ba2
commit 126036abb0
3 changed files with 8 additions and 8 deletions

View File

@@ -57,7 +57,7 @@ void init(OptionsMap& o) {
const int MaxHashMB = Is64Bit ? 1024 * 1024 : 2048;
o["Write Debug Log"] << Option(false, on_logger);
o["Debug Log File"] << Option("", on_logger);
o["Contempt"] << Option(0, -100, 100);
o["Threads"] << Option(1, 1, 128, on_threads);
o["Hash"] << Option(16, 1, MaxHashMB, on_hash_size);