Introduce BenchmarkConfig
to selectively use config in benchmark#414
Merged
PragTob merged 2 commits intomainfrom minimize-benchmark-dataDec 18, 2023
+90-26
BenchmarkConfig
to selectively use config in benchmark#414