random seed: 86271143
generated error fail pass / total time test name
[ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain (generating)
[✓] 1 0 1 0 / 10000 3.7s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain
[✓] 1 0 1 0 / 10000 1.0s Lin ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain
[✓] 3 0 1 2 / 10000 5.0s Lin CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain
[✓] 3 0 1 2 / 10000 1.8s Lin CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin ref int test with Domain failed as expected (17 shrink steps):
|
|
.---------------------.
| |
Sut_int.decr t Sut_int.set t 1
Sut_int.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int test with Domain:
File "src/neg_tests/dune", line 73, characters 7-23:
73 | (name lin_tests_domain)
^^^^^^^^^^^^^^^^
(cd _build/default/src/neg_tests && ./lin_tests_domain.exe --verbose)
Command got signal SEGV.
The merge to main of #438 crashed with a segfault on trunk in 32-bit mode: https://github.com/ocaml-multicore/multicoretests/actions/runs/8156987450/job/22295610813