multicoretests
multicoretests copied to clipboard
[ocaml5-issue] Segfault in Lin Out_channel test in 32-bit and bytecode mode
On #411 we saw a segfault in Lin Out_channel test with Domain in a 32-bit trunk/5.2 run:
https://github.com/ocaml-multicore/multicoretests/actions/runs/6826699760/job/18567181221?pr=411
random seed: 125264582
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin In_channel test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin In_channel test with Domain (generating)
[✓] 4 0 1 3 / 1000 12.8s Lin In_channel test with Domain
File "src/io/dune", line 21, characters 7-23:
21 | (name lin_tests_domain)
^^^^^^^^^^^^^^^^
(cd _build/default/src/io && ./lin_tests_domain.exe --verbose)
Command got signal SEGV.
[ ] 0 0 0 0 / 5000 0.0s Lin Out_channel test with Domain