Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add generalized benchmarking script #459

Merged
merged 5 commits into from
May 3, 2024
Merged

Add generalized benchmarking script #459

merged 5 commits into from
May 3, 2024

Conversation

FabijanC
Copy link
Contributor

@FabijanC FabijanC commented May 3, 2024

Usage related changes

  • None

Development related changes

  • The script, runnable with ./scripts/benchmark/command_stat_test.py expects to be modified as described in its code documentation.
  • Add requirements.txt for Python dependencies.

Checklist:

  • Checked the relevant parts of development docs
  • Applied formatting - ./scripts/format.sh
  • No linter errors - ./scripts/clippy_check.sh
  • No unused dependencies - ./scripts/check_unused_deps.sh
  • No spelling errors - ./scripts/check_spelling.sh
  • Performed code self-review
  • Rebased to the latest commit of the target branch (or merged it into my branch)
  • Updated the docs if needed, including the TODO section
  • Linked the issues which this PR resolves
  • Updated the tests if needed; all passing (execution info)

@FabijanC FabijanC requested review from ivpavici and mikiw May 3, 2024 13:30
@FabijanC FabijanC merged commit 63f9d75 into main May 3, 2024
@FabijanC FabijanC deleted the benchmark branch May 3, 2024 14:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants