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

[ocaml5-issue] Assertion failure in the debug runtime on STM int ref test #386

Closed
shym opened this issue Aug 23, 2023 · 1 comment
Closed
Labels
ocaml5-issue A potential issue in the OCaml5 compiler/runtime

Comments

@shym
Copy link
Collaborator

shym commented Aug 23, 2023

In a CI log we have seen an assertion failure in the debug runtime for 5.1~rc1:

random seed: 465451623
generated error fail pass / total     time test name

[ ]    0    0    0    0 / 1000     0.0s STM int ref test parallel
[02] file runtime/domain.c; line 1001 ### Assertion failed: di->backup_thread_msg == BT_INIT || di->backup_thread_msg == BT_TERMINATE
File "src/neg_tests/dune", line 19, characters 7-27:
19 |  (name stm_tests_domain_ref)
            ^^^^^^^^^^^^^^^^^^^^
(cd _build/default/src/neg_tests && ./stm_tests_domain_ref.exe --verbose)
Command got signal ABRT.

It looks a lot like ocaml/ocaml#11800.

@jmid
Copy link
Collaborator

jmid commented Nov 1, 2023

Fixed in ocaml/ocaml#12707

@jmid jmid closed this as completed Nov 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ocaml5-issue A potential issue in the OCaml5 compiler/runtime
Projects
None yet
Development

No branches or pull requests

2 participants