server: benchmark: add proper CLI args management
Benchmark tools now accept options such as 'nb-nodes' and 'seed' instead
of default hard-coded values.
haltode | Authored on Aug 14 2019, 2:52 PM |
haltode | Pushed on Aug 14 2019, 9:39 PM |
Buildable 7265 | |
Build 10275: test-and-build | Jenkins |