Skip to content

[ocaml5-issue] Assertion error on weak/lin_tests_hashset with trunk #572

@jmid

Description

@jmid

The cron job running the test suite triggered an assertion error on weak/lin_tests_hashset on trunk with Linux this morning:
https://github.com/ocaml-multicore/multicoretests/actions/runs/19221060057/job/54939121980

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

[02] file runtime/major_gc.c; line 508 ### Assertion failed: Has_status_val(v, status)
File "src/weak/dune", line 60, characters 7-24:
60 |  (name lin_tests_hashset)
            ^^^^^^^^^^^^^^^^^
(cd _build/default/src/weak && ./lin_tests_hashset.exe --verbose)
Command got signal ILL.
### OCaml runtime: debug mode ###
### set OCAMLRUNPARAM=v=0 to silence this message
[ ]    0    0    0    0 / 1000     0.0s Lin Weak HashSet stress test with Domain

Since this is only on trunk and has not been observed before, I'm guessing it is caused (or surfaced) by a PR merged within the past week.

Metadata

Metadata

Assignees

No one assigned

    Labels

    ocaml5-issueA potential issue in the OCaml5 compiler/runtime

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions