Benchmark script expects wrong paths
kiwixz opened this issue · comments
Describe the bug
benchmark.py is looking for tests with {target}/{target} but tests should be called with ../build/benchmarks/bench_{target} (if started from benchmarks directory).
To Reproduce
Follow the instructions of benchmark.md.
Desktop (please complete the following information):
- OS: Debian
- Version 12
Thanks for the catch up. Feel free to help create a pull request to fix this!