tree 11cdc64f1d1ca17548a18f8ef7caa2a922e10fca
parent defed1013fdacd7090617ecc1ced8bdcc3c617d6
author Simon Resch <simon.resch@code-intelligence.de> 1742315549 +0100
committer Simon Resch <simon.resch@code-intelligence.de> 1742316145 +0100

Include corpus queue size in stats file

Adds the size of the dynamic corpus to the stats file. This metric is
otherwise only output in the TTY output.