8000 MSVC bytecode fails to find Bigarray STM counterexample · Issue #467 · ocaml-multicore/multicoretests · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

MSVC bytecode fails to find Bigarray STM counterexample #467

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
jmid opened this issue Aug 9, 2024 · 0 comments
Open

MSVC bytecode fails to find Bigarray STM counterexample #467

jmid opened this issue Aug 9, 2024 · 0 comments
Labels
test suite reliability Issue concerns tests that should behave more predictably

Comments

@jmid
Copy link
Collaborator
jmid commented Aug 9, 2024 •
edited
Loading

4 weeks back the scheduled trunk tests failed to find a Bigarray STM test counterexample on MSVC bytecode:
https://github.com/ocaml-multicore/multicoretests/actions/runs/9932690046/job/27434370275

random seed: 171860057
generated error fail pass / total     time test name

[ ]    0    0    0    0 / 1000     0.0s STM BigArray test sequential
[ ]    0    0    0    0 / 1000     0.0s STM BigArray test sequential (generating)
[✓] 1000    0    0 1000 / 1000     2.3s STM BigArray test sequential

[ ]    0    0    0    0 / 5000     0.0s STM BigArray test parallel
[ ]   86    0    0   86 / 5000    58.3s STM BigArray test parallel
[ ]  241    0    0  241 / 5000   119.3s STM BigArray test parallel
[ ]  358    0    0  358 / 5000   187.6s STM BigArray test parallel
[ ]  485    0    0  485 / 5000   247.7s STM BigArray test parallel
[ ]  605    0    0  605 / 5000   310.6s STM BigArray test parallel
[ ]  692    0    0  692 / 5000   372.4s STM BigArray test parallel
[ ]  797    0    0  797 / 5000   433.8s STM BigArray test parallel
[ ]  931    0    0  931 / 5000   495.8s STM BigArray test parallel
[ ] 1007    0    0 1007 / 5000   556.4s STM BigArray test parallel
[ ] 1115    0    0 1115 / 5000   618.3s STM BigArray test parallel
[ ] 1252    0    0 1252 / 5000   679.1s STM BigArray test parallel
[ ] 1363    0    0 1363 / 5000   741.2s STM BigArray test parallel
[ ] 1478    0    0 1478 / 5000   806.4s STM BigArray test parallel
[ ] 1572    0    0 1572 / 5000   867.2s STM BigArray test parallel
[ ] 1737    0    0 1737 / 5000   933.8s STM BigArray test parallel
[ ] 1803    0    0 1803 / 5000  1003.8s STM BigArray test parallel
[ ] 1852    0    0 1852 / 5000  1066.7s STM BigArray test parallel
[ ] 1934    0    0 1934 / 5000  1128.7s STM BigArray test parallel
[ ] 1989    0    0 1989 / 5000  1188.8s STM BigArray test parallel
[ ] 2099    0    0 2099 / 5000  1254.4s STM BigArray test parallel
[ ] 2177    0    0 2177 / 5000  1315.5s STM BigArray test parallel
[ ] 2260    0    0 2260 / 5000  1382.2s STM BigArray test parallel
[ ] 2347    0    0 2347 / 5000  1443.0s STM BigArray test parallel
[ ] 2471    0    0 2471 / 5000  1505.6s STM BigArray test parallel
[ ] 2618    0    0 2618 / 5000  1566.7s STM BigArray test parallel
[ ] 2714    0    0 2714 / 5000  1626.8s STM BigArray test parallel
[ ] 2819    0    0 2819 / 5000  1697.4s STM BigArray test parallel
[ ] 2922    0    0 2922 / 5000  1759.4s STM BigArray test parallel
[ ] 3010    0    0 3010 / 5000  1821.1s STM BigArray test parallel
[ ] 3112    0    0 3112 / 5000  1886.8s STM BigArray test parallel
[ ] 3212    0    0 3212 / 5000  1952.8s STM BigArray test parallel
[ ] 3323    0    0 3323 / 5000  2019.0s STM BigArray test parallel
[ ] 3415    0    0 3415 / 5000  2079.1s STM BigArray test parallel
[ ] 3536    0    0 3536 / 5000  2141.2s STM BigArray test parallel
[ ] 3647    0    0 3647 / 5000  2201.7s STM BigArray test parallel
[ ] 3759    0    0 3759 / 5000  2267.0s STM BigArray test parallel
[ ] 3849    0    0 3849 / 5000  2330.8s STM BigArray test parallel
[ ] 3968    0    0 3968 / 5000  2391.4s STM BigArray test parallel
[ ] 4071    0    0 4071 / 5000  2456.7s STM BigArray test parallel
[ ] 4170    0    0 4170 / 5000  2517.2s STM BigArray test parallel
[ ] 4281    0    0 4281 / 5000  2578.3s STM BigArray test parallel
[ ] 4358    0    0 4358 / 5000  2640.2s STM BigArray test parallel
[ ] 4438    0    0 4438 / 5000  2700.8s STM BigArray test parallel
[ ] 4615    0    0 4615 / 5000  2762.4s STM BigArray test parallel
[ ] 4734    0    0 4734 / 5000  2826.9s STM BigArray test parallel
[ ] 4831    0    0 4831 / 5000  2895.5s STM BigArray test parallel
[ ] 4941    0    0 4941 / 5000  2955.5s STM BigArray test parallel
[✗] 5000    0    0 5000 / 5000  2972.4s STM BigArray test parallel

--- Failure --------------------------------------------------------------------

Test STM BigArray test parallel failed:

Negative test STM BigArray test parallel succeeded but was expected to fail
================================================================================
failure (1 tests failed, 0 tests errored, ran 2 tests)
File "src/bigarray/dune", line 4, characters 7-16:
4 |  (name stm_tests)
           ^^^^^^^^^
(cd _build/default/src/bigarray && ./stm_tests.exe --verbose)
Command exited with code 1.
@jmid jmid added the test suite reliability Issue concerns tests that should behave more predictably label Aug 9, 2024
@jmid jmid mentioned this issue Jan 6, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
test suite reliability Issue concerns tests that should behave more predictably
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jmid
0