You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
random seed: 313499378
generated error fail pass / total time test name
[ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains
[ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains (generating)
[00] file runtime/domain.c; line 1526 ### Assertion failed: (uintnat)dom_st->young_ptr > (uintnat)dom_st->young_trigger
File "src/threadomain/dune", line 4, characters 7-18:
4 | (name threadomain)
^^^^^^^^^^^
(cd _build/default/src/threadomain && ./threadomain.exe --verbose)
Command got signal ABRT.
[ ] 194 0 0 194 / 500 60.2s Mash up of threads and domains
I suspect this is the same bug as #353 as it is the same assertion failure being triggered.
I'm more uncertain whether this is the issue underlying #203... 🤔
The text was updated successfully, but these errors were encountered:
On the CI run for #403 the
threadomain
test triggered an assertion failure under Linux 5.1 with the debug runtime:https://github.com/ocaml-multicore/multicoretests/actions/runs/6718030607/job/18256960646?pr=403#step:18:76
I suspect this is the same bug as #353 as it is the same assertion failure being triggered.
I'm more uncertain whether this is the issue underlying #203... 🤔
The text was updated successfully, but these errors were encountered: