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

Sort search results to prevent random failures due to racing search threads. #4925

Merged
merged 1 commit into from
Feb 23, 2025

Conversation

Rot127
Copy link
Member

@Rot127 Rot127 commented Feb 22, 2025

Your checklist for this pull request

  • I've read the guidelines for contributing to this repository.
  • I made sure to follow the project's coding style.
  • I've documented every RZ_API function and struct this PR changes.
  • I've added tests that prove my changes are effective (required for changes to RZ_API).
  • I've updated the Rizin book with the relevant information (if needed).

Detailed description

As can be observed here: https://github.com/rizinorg/rizin/actions/runs/13472829107/job/37648425720?pr=4923

Test plan

...

Closing issues

...

@wargio
Copy link
Member

wargio commented Feb 22, 2025

just sort the results once the iteration ends. this is what we do for basefind

@kazarmy kazarmy merged commit 89dcfe2 into rizinorg:dev Feb 23, 2025
46 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants