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
Concuerror assumes instant delivery of {'DOWN', _Mref, ..., noproc} message #354
Comments
Thank you for the report, @ieQu1 ! However, have you tested this also with |
Hi, Yes, in fact I did try to disable instant delivery, but strangely enough I got the same result:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Describe the bug
It looks like Concuerror assumes that
DOWN
messages are delivered instantaneously.Consider the following testcase:
This assertion shouldn't hold, because BEAM doesn't guarantee that the second
DOWN
message will arrive immediately.To Reproduce
I'm using fairly standard CLI options:
Erlang version:
Also reproduces on the upstream OTP26 version.
Expected behavior
Concuerror explores both branches of the
receive
.Assertion fails with value
not_delivered
.Environment (please complete the following information):
Linux 5.15.0-76-generic #83-Ubuntu SMP Thu Jun 15 19:16:32 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux
Concuerror 0.21.0+build.2371.refaf91d78
Additional context
The text was updated successfully, but these errors were encountered: