Add output_file option to gather_statistics.

It is optional. When specified it will also forward the final results output to the provided file.
This commit is contained in:
Tomasz Sobczyk
2021-05-20 13:22:11 +02:00
parent 733f22e7c2
commit 0f241355da
2 changed files with 19 additions and 3 deletions

View File

@@ -10,6 +10,8 @@ Any name that doesn't designate an argument name or is not an argument will be i
`input_file` - the path to the .bin or .binpack input file to read
`output_file` - optional path to the output file to write the results too. Results are always written on the console, so if this is specified the results will be written in both places.
`max_count` - the maximum number of positions to process. Default: no limit.
## Groups