Allow specifying number of benchmarks in eval scripts

formalsec / smtml

A frontend for multiple SMT solvers in OCaml

https://formalsec.github.io/smtml/smtml/

MIT License

27 stars 8 forks source link

Allow specifying number of benchmarks in eval scripts #252

Closed filipeom closed 1 week ago

filipeom commented 1 week ago

Due to the large cpu usage of the evaluation scripts we introduce a -n flag that allows specifying the number of benchmarks to use in each evaluation script. Thereby reducing the cpu usage of each script and producing an approximation of the real results