Skip to content
New issue

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

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

Already on GitHub? # to your account

Fixing race condition and adding fuzzy test #24

Merged
merged 1 commit into from
Oct 7, 2024
Merged

Conversation

ineiti
Copy link
Member

@ineiti ineiti commented Sep 24, 2024

  • Fixed a race-condition in the echoHandler
  • Changed the tests to wait for the accurate number of messages, instead of waiting for 2 seconds.
  • Also fixed an incompatibility in the Makefile wrt the github runners using sh instead of bash
  • Added a test to the fuzzy tests in the Makefile

@ineiti ineiti force-pushed the fix_failing_test branch 5 times, most recently from d198f79 to 2906a6f Compare September 24, 2024 12:11
@ineiti ineiti self-assigned this Sep 24, 2024
@ineiti ineiti mentioned this pull request Sep 24, 2024
@PascalinDe
Copy link
Member

looks good to me - is the reason for some tests being flaky documented somewhere?

@ineiti
Copy link
Member Author

ineiti commented Sep 24, 2024

No, I don't know the reason :( For most of the tests, I can't even reproduce the flakiness on my computer...

- There was a race-condition in the echoHandler which made it fail on
fast machines.
- Changed the tests to wait for the accurate number of messages, instead
of waiting for 2 seconds.
- Also fixed an incompatibility in the Makefile wrt the github runners.
- Added a test to the fuzzy tests in the Makefile
@ineiti ineiti changed the title Loop-testing failing test Fixing race condition and adding fuzzy test Sep 24, 2024
@ineiti
Copy link
Member Author

ineiti commented Sep 24, 2024

looks good to me - is the reason for some tests being flaky documented somewhere?

Added an issue: dedis#291

@ineiti ineiti merged commit fe6f6b8 into main Oct 7, 2024
5 checks passed
@ineiti ineiti deleted the fix_failing_test branch October 7, 2024 07:36
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants