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: 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
The text was updated successfully, but these errors were encountered:
jmid
changed the title
[ocaml5-issue] Segfault in Lin Out_channel test in 32-bit mode
[ocaml5-issue] Segfault in Lin Out_channel test in 32-bit and bytecode mode
Dec 11, 2023
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
The text was updated successfully, but these errors were encountered: