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: 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 text was updated successfully, but these errors were encountered:
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
The text was updated successfully, but these errors were encountered: