multicoretests
multicoretests copied to clipboard
[ocaml5-issue] Assertion failure on live words in GC test
The new Gc test in #469 triggered an assertion failure in Linux debug 5.3.0+trunk: https://github.com/ocaml-multicore/multicoretests/actions/runs/10581716289/job/29319700079?pr=469
random seed: 369983017
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Gc test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Gc test sequential (generating)
[ ] 728 0 0 728 / 1000 61.9s STM Gc test sequential
[✓] 1000 0 0 1000 / 1000 104.3s STM Gc test sequential
[00] file runtime/shared_heap.c; line 1392 ### Assertion failed: local->stats.pool_live_words == pool_stats.live
File "src/gc/dune", line 4, characters 7-16:
4 | (name stm_tests)
^^^^^^^^^
(cd _build/default/src/gc && ./stm_tests.exe --verbose)
Command got signal ILL.
[ ] 0 0 0 0 / 1000 0.0s STM Gc test parallel