multicoretests icon indicating copy to clipboard operation
multicoretests copied to clipboard

[ocaml5-issue] Assertion failure on live words in GC test

Open jmid opened this issue 1 year ago • 4 comments

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

jmid avatar Aug 27 '24 19:08 jmid