multicoretests icon indicating copy to clipboard operation
multicoretests copied to clipboard

[ocaml5-issue] Segfault in Lin Out_channel test in 32-bit and bytecode mode

Open jmid opened this issue 1 year ago • 0 comments

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

jmid avatar Nov 12 '23 21:11 jmid