Build:
- 0
2023-06-07 12:47.48: New job: test linux-s390x/s390x/5.2/fe9a203a85eed7f8e0ad155ae8fa98d26e0b7665
2023-06-07 12:47.48: Using cache hint "linux-s390x/s390x/5.2/fe9a203a85eed7f8e0ad155ae8fa98d26e0b7665"
2023-06-07 12:47.48: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2)
(env QCHECK_MSG_INTERVAL 60)
(user (uid 1000) (gid 1000))
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5aa202f789d49e132cbc119a75f84a161456587d || git fetch origin master) && git reset -q --hard 5aa202f789d49e132cbc119a75f84a161456587d && git log --no-decorate -n1 --oneline && opam update -u"))
(run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
(copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
(env CI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
(copy (src .) (dst /src))
(run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet"))
)
2023-06-07 12:47.48: Waiting for resource in pool OCluster
2023-06-07 12:47.48: Waiting for worker…
2023-06-07 12:49.24: Got resource from pool OCluster
Building on s390x-worker-02.marist.ci.dev
HEAD is now at 27759e7 Update README to reflect 4.13.x support
HEAD is now at fe9a203 Remove unused Permission-denied cases
(from ocaml/opam:debian-11-ocaml-5.2)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2' locally
debian-11-ocaml-5.2: Pulling from ocaml/opam
8a18452ddd8f: Pulling fs layer
8a18452ddd8f: Verifying Checksum
8a18452ddd8f: Download complete
8a18452ddd8f: Pull complete
Digest: sha256:6e358bf8c322522a30959b93b9dc797b9f6c3c8c8b5ff7aca30c4260a3aa90dd
Status: Downloaded newer image for ocaml/opam:debian-11-ocaml-5.2
2023-06-07 12:49.26 ---> using "fb289611763f002c540721e7fb072277a4d5808532a1d370959ee2bf497ec930" from cache
/: (env QCHECK_MSG_INTERVAL 60)
/: (user (uid 1000) (gid 1000))
/: (workdir /src)
/src: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com"
[default] synchronised from file:///home/opam/opam-repository
2023-06-07 12:49.26 ---> using "8cb8319e05b9ace0f96e4074cad7f2ca9d1838d13b431fd3b1c5bf1bc8ec4383" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2023-06-07 12:49.26 ---> using "3752d02157628d76e4f22e51bf4481325eb0675b41aefc201db59974879d077f" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5aa202f789d49e132cbc119a75f84a161456587d || git fetch origin master) && git reset -q --hard 5aa202f789d49e132cbc119a75f84a161456587d && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
5db1152b08..5aa202f789 master -> origin/master
5aa202f789 Merge pull request #23886 from reynir/release-tar-v2.5.0
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[beta] no changes from git+https://github.com/ocaml/ocaml-beta-repository
[default] synchronised from file:///home/opam/opam-repository
<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><>
Already up-to-date.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2023-06-07 12:49.26 ---> using "e8b9498fb85ca6844b2f285044aa1ac8f1be6764fdeb453fd6e71c360428f637" from cache
/src: (run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
[override] Initialised
2023-06-07 12:49.26 ---> using "d162417bdd157a3d11be642b55f9709f46a62069490470c913abe00e939b93a9" from cache
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2023-06-07 12:49.26 ---> using "d7177a1b015e79c5984e0b1b019973dd6232455db283f31e2348cdadb8267157" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
[qcheck-multicoretests-util.dev] synchronised (file:///src)
qcheck-multicoretests-util is now pinned to file:///src (version dev)
[qcheck-lin.dev] synchronised (file:///src)
qcheck-lin is now pinned to file:///src (version dev)
[qcheck-stm.dev] synchronised (file:///src)
qcheck-stm is now pinned to file:///src (version dev)
Package multicoretests does not exist, create as a NEW package? [Y/n] y
[multicoretests.dev] synchronised (file:///src)
multicoretests is now pinned to file:///src (version dev)
2023-06-07 12:49.26 ---> using "f4aecadffbfb6d364c47da7b46c939ac2f871295ec42cc4722a767271ee3f806" from cache
/src: (env CI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [48.4 kB]
- Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB]
- Get:4 http://deb.debian.org/debian-security bullseye-security/main s390x Packages [210 kB]
- Fetched 303 kB in 1s (257 kB/s)
- Reading package lists...
-
[qcheck-lin.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2023-06-07 12:49.26 ---> using "0fdd31b232792bba1becd26256427c985fa1b6e55e8ef103e4bab96b8ab662c0" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
[multicoretests.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
The following actions will be performed:
- install dune 3.8.1 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install ocamlfind 1.9.5 [required by base-bytes]
- install base-bytes base [required by qcheck-core]
- install qcheck-core 0.21.1 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install qcheck-multicoretests-util dev*
- install qcheck-stm dev*
- install qcheck-lin dev*
- install multicoretests dev*
===== 8 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved multicoretests.dev (file:///src)
-> retrieved ocamlfind.1.9.5 (cached)
-> retrieved dune.3.8.1 (cached)
-> retrieved qcheck-core.0.21.1 (cached)
-> retrieved qcheck-lin.dev (file:///src)
-> retrieved qcheck-multicoretests-util.dev (file:///src)
-> retrieved qcheck-stm.dev (file:///src)
-> installed ocamlfind.1.9.5
-> installed base-bytes.base
-> installed dune.3.8.1
-> installed qcheck-core.0.21.1
-> installed qcheck-multicoretests-util.dev
-> installed qcheck-lin.dev
-> installed qcheck-stm.dev
-> installed multicoretests.dev
Done.
# Run eval $(opam env) to update the current shell environment
2023-06-07 12:49.26 ---> using "c99124da3ee0c8c642349acb0e64d31a399490d27da5f6b00c0f0afd229f8136" from cache
/src: (copy (src .) (dst /src))
2023-06-07 12:49.26 ---> saved as "9ded14bb5f7d9a281e59a784507baa24bf234c27f36a4324610a07c07e2bd0c9"
/src: (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet"))
Skipping src/array/lin_tests.exe from the test suite
Skipping src/atomic/lin_tests.exe from the test suite
Skipping src/bigarray/stm_tests.exe from the test suite
Skipping src/hashtbl/lin_tests.exe from the test suite
Skipping src/lazy/lin_tests.exe from the test suite
Skipping src/queue/lin_tests.exe from the test suite
Skipping src/stack/lin_tests.exe from the test suite
Skipping src/lazy/lin_tests_dsl.exe from the test suite
Skipping src/neg_tests/lin_tests_dsl_thread.exe from the test suite
Skipping src/io/lin_tests.exe from the test suite
Skipping src/neg_tests/lin_tests_domain.exe from the test suite
Skipping src/neg_tests/lin_tests_effect.exe from the test suite
Skipping src/io/lin_tests_dsl_thread.exe from the test suite
random seed: 198739098
generated error fail pass / total time test name
[ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains
[ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains (generating)
[ ] 24 0 0 24 / 500 62.5s Mash up of threads and domains
[ ] 43 0 0 43 / 500 126.6s Mash up of threads and domains
[ ] 71 0 0 71 / 500 187.2s Mash up of threads and domains
[ ] 95 0 0 95 / 500 249.7s Mash up of threads and domains
[ ] 121 0 0 121 / 500 310.8s Mash up of threads and domains
[ ] 140 0 0 140 / 500 374.3s Mash up of threads and domains
[ ] 169 0 0 169 / 500 436.2s Mash up of threads and domains
[ ] 191 0 0 191 / 500 497.7s Mash up of threads and domains
[ ] 209 0 0 209 / 500 561.6s Mash up of threads and domains
[ ] 240 0 0 240 / 500 625.1s Mash up of threads and domains
[ ] 266 0 0 266 / 500 688.4s Mash up of threads and domains
[ ] 285 0 0 285 / 500 748.7s Mash up of threads and domains
[ ] 305 0 0 305 / 500 809.7s Mash up of threads and domains
[ ] 331 0 0 331 / 500 870.1s Mash up of threads and domains
[ ] 354 0 0 354 / 500 932.0s Mash up of threads and domains
[ ] 383 0 0 383 / 500 992.1s Mash up of threads and domains
[ ] 410 0 0 410 / 500 1053.7s Mash up of threads and domains
[ ] 434 0 0 434 / 500 1114.2s Mash up of threads and domains
[ ] 462 0 0 462 / 500 1174.7s Mash up of threads and domains
[ ] 491 0 0 491 / 500 1236.9s Mash up of threads and domains
[✓] 500 0 0 500 / 500 1262.8s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 85480715
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s Thread.create/join - tak work
[ ] 0 0 0 0 / 100 0.0s Thread.create/join - tak work (generating)
[ ] 9 0 0 9 / 100 60.1s Thread.create/join - tak work
[ ] 20 0 0 20 / 100 120.2s Thread.create/join - tak work
[ ] 31 0 0 31 / 100 181.3s Thread.create/join - tak work
[ ] 43 0 0 43 / 100 243.7s Thread.create/join - tak work
[ ] 53 0 0 53 / 100 306.7s Thread.create/join - tak work
[ ] 63 0 0 63 / 100 368.9s Thread.create/join - tak work
[ ] 76 0 0 76 / 100 434.0s Thread.create/join - tak work
[ ] 88 0 0 88 / 100 497.9s Thread.create/join - tak work
[ ] 99 0 0 99 / 100 560.7s Thread.create/join - tak work
[✓] 100 0 0 100 / 100 571.9s Thread.create/join - tak work
[ ] 0 0 0 0 / 500 0.0s Thread.create/join - atomic
[✓] 500 0 0 500 / 500 23.2s Thread.create/join - atomic
================================================================================
success (ran 2 tests)
random seed: 515072695
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work (generating)
[ ] 17 0 0 17 / 100 61.4s Domain.spawn/join - tak work
[ ] 34 0 0 34 / 100 127.3s Domain.spawn/join - tak work
[ ] 50 0 0 50 / 100 193.4s Domain.spawn/join - tak work
[ ] 66 0 0 66 / 100 256.6s Domain.spawn/join - tak work
[ ] 87 0 0 87 / 100 318.1s Domain.spawn/join - tak work
[✓] 100 0 0 100 / 100 354.7s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[ ] 65 0 0 65 / 500 23.4s Domain.spawn/join - atomic
[ ] 307 0 0 307 / 500 83.6s Domain.spawn/join - atomic
[ ] 399 0 0 399 / 500 144.6s Domain.spawn/join - atomic
[ ] 457 0 0 457 / 500 205.3s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 236.4s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 486091516
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic
[ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic (generating)Thread 14618 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14657 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14659 killed on uncaught exception Out_of_memory
Thread 14463 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14465 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 62925 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 62923 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 62805 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 62926 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 62930 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 71263 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 71267 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 119680 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 119430 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 119889 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 142068 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 142070 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 142073 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 142085 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 142086 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 141998 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 142089 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 141965 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 61.5s thread_createtree - with Atomic (shrinking: 4.0011)Thread 955418 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 955553 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 955548 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 970015 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1030022 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1255346 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1255347 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1255349 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1255351 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 122.0s thread_createtree - with Atomic (shrinking: 8.0005)Thread 1388072 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1388152 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1388106 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1388166 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1553246 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1553254 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1553255 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1553268 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1577694 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1577801 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1654427 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1798024 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1798028 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1798000 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 183.0s thread_createtree - with Atomic (shrinking: 13.0005)Thread 1887774 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2081799 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2081802 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2081803 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2081816 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2164012 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 245.3s thread_createtree - with Atomic (shrinking: 16.0014)Thread 2612295 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2612251 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 306.1s thread_createtree - with Atomic (shrinking: 17.0018)Thread 2927285 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2927281 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2927282 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2927308 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2927311 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2927312 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3229718 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3374825 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3374828 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3467824 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3467827 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3467828 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3467829 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3467834 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3467835 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3467798 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 366.5s thread_createtree - with Atomic (shrinking: 20)Thread 3690719 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3690720 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3690722 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3690726 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3707651 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3820067 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3820068 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3820069 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 427.6s thread_createtree - with Atomic (shrinking: 23.0017)Thread 4225169 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4225172 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4225173 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4531868 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4531875 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4531878 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4531858 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4531876 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4531885 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 488.6s thread_createtree - with Atomic (shrinking: 25.0012)
[ ] 391 0 0 391 / 1000 549.6s thread_createtree - with Atomic (shrinking: 25.0049)Thread 5300090 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5444108 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5444120 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5444121 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5444126 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5444127 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5660714 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5660723 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5811540 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5811543 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5811545 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 609.8s thread_createtree - with Atomic (shrinking: 29.0007)Thread 5933232 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5986070 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6055240 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6095661 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6200298 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6200301 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6200302 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6200310 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6215932 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6278723 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6314203 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6314156 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6452749 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6452748 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6452744 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6452745 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6452741 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 670.6s thread_createtree - with Atomic (shrinking: 38.0005)Thread 6520508 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6520533 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6554873 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6569032 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6569070 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6837251 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6837250 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6923848 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6944672 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6977521 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6977507 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6977519 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6977558 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6977532 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6977535 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7028464 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7028467 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7028468 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7076874 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7076876 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7076881 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 731.2s thread_createtree - with Atomic (shrinking: 47.0005)Thread 7131357 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7131377 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7131354 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7131364 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7176810 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7277754 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7277742 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7353568 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7384930 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7384928 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7479172 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7532438 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7576586 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7587878 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7665669 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7665673 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7670562 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 791.8s thread_createtree - with Atomic (shrinking: 57.0004)Thread 7756211 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7766333 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7812863 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7812867 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7853416 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8055347 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8111048 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8113984 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8201229 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8201206 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8265601 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8265603 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8265605 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8292716 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8292715 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 391 0 0 391 / 1000 852.3s thread_createtree - with Atomic (shrinking: 65)Thread 8315799 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8315804 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8325638 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[✗] 392 0 1 391 / 1000 897.5s thread_createtree - with Atomic
--- Failure --------------------------------------------------------------------
Test thread_createtree - with Atomic failed (67 shrink steps):
Create [Incr; Incr; Incr; Incr; Incr; Decr; Decr; Create [Incr; Incr; Decr;
Incr; Create [Incr; Incr; Incr]; Create [Create [Incr; Incr; Create [Decr;
Incr; Decr; Decr; Incr; Decr; Decr]; Create [Incr; Decr; Decr; Decr; Decr;
Decr; Incr; Decr; Decr]; Create [Decr]; Decr; Incr; Create [Incr; Decr; Incr;
Decr]]]; Incr; Create [Incr; Create [Decr; Create [Incr; Decr]]; Create [];
Incr; Create [Decr; Create [Incr; Incr; Decr; Decr; Incr]]]]; Create [Decr];
Decr]
================================================================================
failure (1 tests failed, 0 tests errored, ran 1 tests)
File "src/thread/dune", line 14, characters 7-24:
14 | (name thread_createtree)
^^^^^^^^^^^^^^^^^
(cd _build/default/src/thread && ./thread_createtree.exe --verbose)
Command exited with code 1.
random seed: 79410961
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s domain_spawntree - with Atomic
[ ] 0 0 0 0 / 100 0.0s domain_spawntree - with Atomic (generating)
[✓] 100 0 0 100 / 100 28.2s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 452116805
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test sequential (generating)
[✓] 1000 0 0 1000 / 1000 2.2s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 2 0 1 1 / 1000 35.6s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (39 shrink steps):
|
Set (3, 'S')
|
.---------------------.
| |
To_list Sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
Set (3, 'S') : Ok (())
|
.-------------------------------------------------------------------------------------------.
| |
To_list : ['a'; 'S'; 'a'; 'a'; 'S'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'] Sort : ()
================================================================================
success (ran 2 tests)
random seed: 372051879
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Array test with Domain (generating)
[✓] 2 0 1 1 / 1000 47.9s Lin DSL Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Array test with Domain failed as expected (45 shrink steps):
|
Array.set t 0 'b'
|
.---------------------.
| |
Array.sort t Array.to_seq t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Array test with Domain:
Results incompatible with sequential execution
|
Array.set t 0 'b' : Ok (())
|
.--------------------------------------------------------------------------------------------------.
| |
Array.sort t : () Array.to_seq t : <'b'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'b'>
================================================================================
success (ran 1 tests)
random seed: 332546582
generated error fail pass / total time test name
[ ] 0 0 0 0 / 250 0.0s STM Atomic test sequential
[ ] 0 0 0 0 / 250 0.0s STM Atomic test sequential (generating)
[✓] 250 0 0 250 / 250 0.1s STM Atomic test sequential
[ ] 0 0 0 0 / 250 0.0s STM Atomic test parallel
[✓] 250 0 0 250 / 250 34.5s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 346787124
generated error fail pass / total time test name
[ ] 0 0 0 0 / 200 0.0s STM Hashtbl test sequential
[ ] 0 0 0 0 / 200 0.0s STM Hashtbl test sequential (generating)
[✓] 200 0 0 200 / 200 0.2s STM Hashtbl test sequential
[ ] 0 0 0 0 / 200 0.0s STM Hashtbl test parallel
[✓] 2 0 1 1 / 200 21.6s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (19 shrink steps):
|
Replace ('[', 14)
|
.---------------------.
| |
Clear Remove '['
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Replace ('[', 14) : ()
|
.------------------------------------.
| |
Clear : () Remove '[' : ()
Length : -1
================================================================================
success (ran 2 tests)
random seed: 348012733
generated error fail pass / total time test name
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential (generating)
[✓] 200 0 0 200 / 200 16.3s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.4s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 16.4s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[ ] 10 0 0 10 / 200 27.9s STM Lazy test parallel
[ ] 14 0 0 14 / 200 90.1s STM Lazy test parallel (shrinking: 0.0003)
[ ] 14 0 0 14 / 200 161.6s STM Lazy test parallel (shrinking: 2.0002)
[ ] 14 0 0 14 / 200 237.8s STM Lazy test parallel (shrinking: 3.0003)
[ ] 14 0 0 14 / 200 312.2s STM Lazy test parallel (shrinking: 4.0003)
[ ] 14 0 0 14 / 200 386.4s STM Lazy test parallel (shrinking: 5.0003)
[ ] 14 0 0 14 / 200 461.2s STM Lazy test parallel (shrinking: 6.0003)
[✓] 15 0 1 14 / 200 509.8s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[ ] 32 0 0 32 / 200 11.5s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 46.1s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 10 0 0 10 / 200 25.8s STM Lazy test parallel from_fun
[ ] 14 0 0 14 / 200 89.6s STM Lazy test parallel from_fun (shrinking: 0.0003)
[ ] 14 0 0 14 / 200 165.2s STM Lazy test parallel from_fun (shrinking: 2.0002)
[ ] 14 0 0 14 / 200 238.8s STM Lazy test parallel from_fun (shrinking: 3.0003)
[ ] 14 0 0 14 / 200 314.4s STM Lazy test parallel from_fun (shrinking: 4.0003)
[ ] 14 0 0 14 / 200 390.5s STM Lazy test parallel from_fun (shrinking: 5.0003)
[ ] 14 0 0 14 / 200 465.6s STM Lazy test parallel from_fun (shrinking: 6.0003)
[✓] 15 0 1 14 / 200 514.8s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (6 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 89; _ -> 0}) Force
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.-------------------------------------------------------------------.
| |
Map_val ({700 -> 89; _ -> 0}) : Error (CamlinternalLazy.Undefined) Force : Ok (700)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (6 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 89; _ -> 0}) Force
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.-------------------------------------------------------------------.
| |
Map_val ({700 -> 89; _ -> 0}) : Error (CamlinternalLazy.Undefined) Force : Ok (700)
================================================================================
success (ran 6 tests)
random seed: 525426441
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test sequential (generating)
[✓] 1000 0 0 1000 / 1000 2.2s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[ ] 7 0 0 5 / 1000 58.2s STM Buffer test parallel (shrinking: 25.0005)
[✓] 8 0 1 5 / 1000 73.7s STM Buffer test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (27 shrink steps):
|
Add_string "(\217}\181\181\246\142\150\213y\191\163\133,\004\\\172\198\163+\144\027\019\188\024\132\014|#6\205\134\022\150\228=\249\143\222\240\012\180\230=\011\177\221\209\212\201\205\174w\227iu\026\156\184c\203\249g\001yQ\211\129\234g+c\240\142mG\245\185t\152\162\199\234\204<\145 W\t\236\\Axg\247\154Tt\031"
|
.-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Reset Contents
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
Add_string "(\217}\181\181\246\142\150\213y\191\163\133,\004\\\172\198\163+\144\027\019\188\024\132\014|#6\205\134\022\150\228=\249\143\222\240\012\180\230=\011\177\221\209\212\201\205\174w\227iu\026\156\184c\203\249g\001yQ\211\129\234g+c\240\142mG\245\185t\152\162\199\234\204<\145 W\t\236\\Axg\247\154Tt\031" : Ok (())
|
.---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Reset : Ok (()) Contents : Error (Invalid_argument("String.sub / Bytes.sub"))
================================================================================
success (ran 2 tests)
random seed: 434197957
generated error fail pass / total time test name
[ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test sequential
[ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test sequential (generating)
[✓] 200 0 0 200 / 200 0.1s STM Semaphore.Counting test sequential
[ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel
[✓] 442 0 0 200 / 200 36.9s STM Semaphore.Counting test parallel
================================================================================
success (ran 2 tests)
random seed: 47848445
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential (generating)
[✓] 1000 0 0 1000 / 1000 9.2s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[ ] 97 0 0 97 / 200 51.7s STM Sys test parallel
[✓] 200 0 0 200 / 200 102.8s STM Sys test parallel
================================================================================
success (ran 2 tests)
random seed: 152752021
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential (generating)
[✓] 1000 0 0 1000 / 1000 1.7s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 1 0 1 0 / 1000 13.1s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (8 shrink steps):
|
|
.---------------------.
| |
Fill (5, 3, '\\') To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.--------------------------------------------------------------------------------------------.
| |
Fill (5, 3, '\\') : Ok (()) To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; '\\'; '\\'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 44350113
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential (generating)
[✓] 1000 0 0 1000 / 1000 1.7s STM Ephemeron test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[ ] 24 0 0 24 / 1000 58.4s STM Ephemeron test parallel (shrinking: 16.0005)
[✓] 25 0 1 24 / 1000 104.5s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (18 shrink steps):
|
|
.------------------------------------------------------------------.
| |
Add ('G', "^|,bP`=INFqmXb31}M<vS}_yqTxV.{<rtY5\ncoWp0r}_YDt\":Y") Replace ('B', " NH2")
Find_opt 'G' Length
Length Remove 'B'
Mem '9'
Add ('4', ">:X")
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
|
.-----------------------------------------------------------------------------.
| |
Add ('G', "^|,bP`=INFqmXb31}M<vS}_yqTxV.{<rtY5\ncoWp0r}_YDt\":Y") : () Replace ('B', " NH2") : ()
Find_opt 'G' : Some ("^|,bP`=INFqmXb31}M<vS}_yqTxV.{<rtY5\ncoWp0r}_YDt\":Y") Length : 1
Length : 3 Remove 'B' : ()
Mem '9' : false
Add ('4', ">:X") : ()
================================================================================
success (ran 2 tests)
random seed: 75832893
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test sequential (generating)
[✓] 1000 0 0 1000 / 1000 2.6s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[ ] 1 0 0 1 / 1000 57.8s STM Float Array test parallel (shrinking: 25.0002)
[✓] 2 0 1 1 / 1000 80.8s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (32 shrink steps):
|
Fill (0, 14, 0.000117790887986)
|
.--------------------------------.
| |
Sort To_list
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
Fill (0, 14, 0.000117790887986) : Ok (())
|
.---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Sort : () To_list : [0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 1.; 0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 0.000117790887986; 1.]
================================================================================
success (ran 2 tests)
random seed: 324294316
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential (generating)
[✓] 1000 0 0 1000 / 1000 1.7s STM Weak test sequential
================================================================================
success (ran 1 tests)
random seed: 435558132
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet test sequential (generating)
[✓] 1000 0 0 1000 / 1000 1.9s STM Weak HashSet test sequential
================================================================================
success (ran 1 tests)
random seed: 14727183
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Atomic test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Atomic test with Domain (generating)
[ ] 357 0 0 357 / 1000 60.0s Lin DSL Atomic test with Domain
[ ] 762 0 0 762 / 1000 120.2s Lin DSL Atomic test with Domain
[✓] 1000 0 0 1000 / 1000 157.7s Lin DSL Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 14182302
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s Lin DSL Bigarray.Array1 (of ints) test with Domain
[ ] 0 0 0 0 / 5000 0.0s Lin DSL Bigarray.Array1 (of ints) test with Domain (generating)
[ ] 255 0 0 255 / 5000 60.2s Lin DSL Bigarray.Array1 (of ints) test with Domain
[ ] 273 0 0 273 / 5000 120.6s Lin DSL Bigarray.Array1 (of ints) test with Domain (shrinking: 11.0002)
[ ] 273 0 0 273 / 5000 181.3s Lin DSL Bigarray.Array1 (of ints) test with Domain (shrinking: 18.0010)
[ ] 273 0 0 273 / 5000 241.5s Lin DSL Bigarray.Array1 (of ints) test with Domain (shrinking: 24.0003)
[ ] 273 0 0 273 / 5000 301.9s Lin DSL Bigarray.Array1 (of ints) test with Domain (shrinking: 29.0002)
[ ] 273 0 0 273 / 5000 362.8s Lin DSL Bigarray.Array1 (of ints) test with Domain (shrinking: 33.0002)
[✓] 274 0 1 273 / 5000 387.1s Lin DSL Bigarray.Array1 (of ints) test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Bigarray.Array1 (of ints) test with Domain failed as expected (33 shrink steps):
|
|
.--------------------------------.
| |
Bigarray.Array1.fill t 14 Bigarray.Array1.fill t 3
Bigarray.Array1.set t 1 27 Bigarray.Array1.get t 4
Bigarray.Array1.get t 4
Bigarray.Array1.size_in_bytes t
Bigarray.Array1.get t 14
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Bigarray.Array1 (of ints) test with Domain:
Results incompatible with sequential execution
|
|
.--------------------------------------.
| |
Bigarray.Array1.fill t 14 : () Bigarray.Array1.fill t 3 : ()
Bigarray.Array1.set t 1 27 : Ok (()) Bigarray.Array1.get t 4 : Ok (14)
Bigarray.Array1.get t 4 : Ok (14)
Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.get t 14 : Ok (3)
================================================================================
success (ran 1 tests)
random seed: 526265614
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Hashtbl test with Domain (generating)
[ ] 0 0 0 0 / 1000 60.1s Lin DSL Hashtbl test with Domain (shrinking: 35.0008)
[ ] 0 0 0 0 / 1000 120.6s Lin DSL Hashtbl test with Domain (shrinking: 47.0008)
[✓] 1 0 1 0 / 1000 155.4s Lin DSL Hashtbl test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Hashtbl test with Domain failed as expected (54 shrink steps):
|
Hashtbl.add t 'a' 0
|
.---------------------.
| |
Hashtbl.add t 'a' 4 Hashtbl.clear t
Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Hashtbl test with Domain:
Results incompatible with sequential execution
|
Hashtbl.add t 'a' 0 : ()
|
.------------------------------------.
| |
Hashtbl.add t 'a' 4 : () Hashtbl.clear t : ()
Hashtbl.length t : 2
================================================================================
success (ran 1 tests)
random seed: 417213446
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Queue test with Domain (generating)
[ ] 1 0 1 0 / 1000 60.2s Lin DSL Queue test with Domain
[✓] 1 0 1 0 / 1000 60.2s Lin DSL Queue test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Queue test with Thread
[ ] 126 0 0 126 / 250 60.1s Lin DSL Queue test with Thread
[ ] 249 0 0 249 / 250 120.3s Lin DSL Queue test with Thread
[✓] 250 0 0 250 / 250 120.7s Lin DSL Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Queue test with Domain failed as expected (29 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.add 0 t Queue.take_opt t
Queue.is_empty t
Queue.peek_opt t
Queue.take_opt t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Queue test with Domain:
Results incompatible with sequential execution
|
Queue.add 0 t : ()
|
.------------------------------------.
| |
Queue.add 0 t : () Queue.take_opt t : Some (0)
Queue.is_empty t : false
Queue.peek_opt t : None
Queue.take_opt t : None
================================================================================
success (ran 2 tests)
random seed: 420128168
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Float.Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Float.Array test with Domain (generating)
[✓] 1 0 1 0 / 1000 54.2s Lin DSL Float.Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Float.Array test with Domain failed as expected (27 shrink steps):
|
Float.Array.fill t 0 1 -9.62341029391
|
.--------------------------------------.
| |
Float.Array.to_array t Float.Array.fast_sort t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Float.Array test with Domain:
Results incompatible with sequential execution
|
Float.Array.fill t 0 1 -9.62341029391 : Ok (())
|
.--------------------------------------------------------------------------------------------------------------------.
| |
Float.Array.to_array t : [|-9.62341029391; 0.; 0.; 0.; -9.62341029391; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.|] Float.Array.fast_sort t : ()
================================================================================
success (ran 1 tests)
random seed: 303912819
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak test with Domain (generating)
[ ] 135 0 0 135 / 1000 60.7s Lin DSL Weak test with Domain (shrinking: 1.0002)
[ ] 135 0 0 135 / 1000 121.7s Lin DSL Weak test with Domain (shrinking: 7.0006)
[✓] 136 0 1 135 / 1000 174.1s Lin DSL Weak test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Weak test with Domain failed as expected (15 shrink steps):
|
|
.-------------------------.
| |
Weak.fill t 1 7 Some (9) Weak.fill t 6 2 Some (8)
Weak.get_copy t 7
Weak.get t 6
Weak.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Weak test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Weak.fill t 1 7 Some (9) : Ok (()) Weak.fill t 6 2 Some (8) : Ok (())
Weak.get_copy t 7 : Ok (Some (8))
Weak.get t 6 : Ok (Some (9))
Weak.length t : 16
================================================================================
success (ran 1 tests)
random seed: 33794252
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak HashSet test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak HashSet test with Domain (generating)
[ ] 0 0 0 0 / 1000 60.5s Lin DSL Weak HashSet test with Domain (shrinking: 10.0003)
[ ] 0 0 0 0 / 1000 120.9s Lin DSL Weak HashSet test with Domain (shrinking: 13.0037)
[ ] 0 0 0 0 / 1000 181.5s Lin DSL Weak HashSet test with Domain (shrinking: 13.0089)
[ ] 0 0 0 0 / 1000 242.4s Lin DSL Weak HashSet test with Domain (shrinking: 14.0014)
[ ] 0 0 0 0 / 1000 303.3s Lin DSL Weak HashSet test with Domain (shrinking: 15.0004)
[ ] 0 0 0 0 / 1000 363.6s Lin DSL Weak HashSet test with Domain (shrinking: 15.0053)
[ ] 0 0 0 0 / 1000 424.6s Lin DSL Weak HashSet test with Domain (shrinking: 17.0039)
[ ] 0 0 0 0 / 1000 486.2s Lin DSL Weak HashSet test with Domain (shrinking: 18.0014)
[ ] 0 0 0 0 / 1000 546.9s Lin DSL Weak HashSet test with Domain (shrinking: 19.0047)
[ ] 0 0 0 0 / 1000 607.5s Lin DSL Weak HashSet test with Domain (shrinking: 21.0016)
[ ] 0 0 0 0 / 1000 669.2s Lin DSL Weak HashSet test with Domain (shrinking: 21.0055)
[ ] 0 0 0 0 / 1000 729.7s Lin DSL Weak HashSet test with Domain (shrinking: 21.0092)
[ ] 0 0 0 0 / 1000 789.9s Lin DSL Weak HashSet test with Domain (shrinking: 23.0029)
[ ] 0 0 0 0 / 1000 851.1s Lin DSL Weak HashSet test with Domain (shrinking: 23.0090)
[ ] 0 0 0 0 / 1000 912.1s Lin DSL Weak HashSet test with Domain (shrinking: 24.0010)
[ ] 0 0 0 0 / 1000 972.6s Lin DSL Weak HashSet test with Domain (shrinking: 24.0071)
[ ] 0 0 0 0 / 1000 1033.7s Lin DSL Weak HashSet test with Domain (shrinking: 24.0115)
[ ] 0 0 0 0 / 1000 1094.9s Lin DSL Weak HashSet test with Domain (shrinking: 25.0012)
[ ] 0 0 0 0 / 1000 1155.6s Lin DSL Weak HashSet test with Domain (shrinking: 26.0034)
[ ] 0 0 0 0 / 1000 1215.8s Lin DSL Weak HashSet test with Domain (shrinking: 28.0011)
[ ] 0 0 0 0 / 1000 1276.0s Lin DSL Weak HashSet test with Domain (shrinking: 28.0048)
[ ] 0 0 0 0 / 1000 1337.9s Lin DSL Weak HashSet test with Domain (shrinking: 28.0087)
[ ] 0 0 0 0 / 1000 1398.2s Lin DSL Weak HashSet test with Domain (shrinking: 28.0127)
[ ] 0 0 0 0 / 1000 1458.2s Lin DSL Weak HashSet test with Domain (shrinking: 28.0163)
[ ] 0 0 0 0 / 1000 1519.5s Lin DSL Weak HashSet test with Domain (shrinking: 29.0015)
[ ] 0 0 0 0 / 1000 1580.5s Lin DSL Weak HashSet test with Domain (shrinking: 29.0044)
[ ] 0 0 0 0 / 1000 1641.7s Lin DSL Weak HashSet test with Domain (shrinking: 29.0080)
[ ] 0 0 0 0 / 1000 1703.8s Lin DSL Weak HashSet test with Domain (shrinking: 29.0117)
[ ] 0 0 0 0 / 1000 1764.7s Lin DSL Weak HashSet test with Domain (shrinking: 29.0149)
[ ] 0 0 0 0 / 1000 1826.0s Lin DSL Weak HashSet test with Domain (shrinking: 29.0182)
[ ] 0 0 0 0 / 1000 1886.4s Lin DSL Weak HashSet test with Domain (shrinking: 29.0218)
[ ] 0 0 0 0 / 1000 1947.4s Lin DSL Weak HashSet test with Domain (shrinking: 30.0015)
[ ] 0 0 0 0 / 1000 2008.0s Lin DSL Weak HashSet test with Domain (shrinking: 30.0048)
[ ] 0 0 0 0 / 1000 2069.6s Lin DSL Weak HashSet test with Domain (shrinking: 30.0085)
[ ] 0 0 0 0 / 1000 2130.1s Lin DSL Weak HashSet test with Domain (shrinking: 30.0121)
[ ] 0 0 0 0 / 1000 2191.0s Lin DSL Weak HashSet test with Domain (shrinking: 31.0033)
[ ] 0 0 0 0 / 1000 2251.5s Lin DSL Weak HashSet test with Domain (shrinking: 31.0052)
[ ] 0 0 0 0 / 1000 2312.9s Lin DSL Weak HashSet test with Domain (shrinking: 31.0070)
[ ] 0 0 0 0 / 1000 2374.4s Lin DSL Weak HashSet test with Domain (shrinking: 31.0087)
[ ] 0 0 0 0 / 1000 2434.9s Lin DSL Weak HashSet test with Domain (shrinking: 31.0125)
[ ] 0 0 0 0 / 1000 2495.3s Lin DSL Weak HashSet test with Domain (shrinking: 32.0043)
[ ] 0 0 0 0 / 1000 2555.3s Lin DSL Weak HashSet test with Domain (shrinking: 32.0085)
[ ] 0 0 0 0 / 1000 2617.4s Lin DSL Weak HashSet test with Domain (shrinking: 32.0128)
[ ] 0 0 0 0 / 1000 2677.9s Lin DSL Weak HashSet test with Domain (shrinking: 32.0189)
[ ] 0 0 0 0 / 1000 2738.5s Lin DSL Weak HashSet test with Domain (shrinking: 32.0254)
[ ] 0 0 0 0 / 1000 2799.6s Lin DSL Weak HashSet test with Domain (shrinking: 32.0285)
[ ] 0 0 0 0 / 1000 2860.4s Lin DSL Weak HashSet test with Domain (shrinking: 32.0324)
[ ] 0 0 0 0 / 1000 2920.8s Lin DSL Weak HashSet test with Domain (shrinking: 32.0379)
[ ] 0 0 0 0 / 1000 2982.9s Lin DSL Weak HashSet test with Domain (shrinking: 32.0405)
[ ] 0 0 0 0 / 1000 3043.4s Lin DSL Weak HashSet test with Domain (shrinking: 32.0432)
[ ] 0 0 0 0 / 1000 3104.5s Lin DSL Weak HashSet test with Domain (shrinking: 32.0469)
[✓] 1 0 1 0 / 1000 3162.0s Lin DSL Weak HashSet test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Weak HashSet test with Domain failed as expected (32 shrink steps):
|
|
.--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Weak.S.add t "\132\149\023\206\171qf\208fga\188\252\142GaR\168oLM\0232\144\248" Weak.S.add t "G"
Weak.S.count t
Weak.S.find_all t "\249\178C\147e\205\178WhA\184\195DZ\238n\152\001\223@\139\209\142\026^\193\244\199\241'\000f\203@f\003\007\222\224z_'\2280\145\129\147\197h\246\251\219\021\145\194\17807\137C\195\001\212\189&\232~\028\208\167W"
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Weak HashSet test with Domain:
Results incompatible with sequential execution
|
|
.----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Weak.S.add t "\132\149\023\206\171qf\208fga\188\252\142GaR\168oLM\0232\144\248" : Ok (()) Weak.S.add t "G" : Ok (())
Weak.S.count t : 1
Weak.S.find_all t "\249\178C\147e\205\178WhA\184\195DZ\238n\152\001\223@\139\209\142\026^\193\244\199\241'\000f\203@f\003\007\222\224z_'\2280\145\129\147\197h\246\251\219\021\145\194\17807\137C\195\001\212\189&\232~\028\208\167W" : Error (Invalid_argument("index out of bounds"))
================================================================================
success (ran 1 tests)
Lin DSL Stack test with Thread disabled under bytecode
random seed: 426862166
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Stack test with Domain (generating)
[ ] 0 0 0 0 / 1000 60.2s Lin DSL Stack test with Domain (shrinking: 26.0008)
[ ] 0 0 0 0 / 1000 121.0s Lin DSL Stack test with Domain (shrinking: 33.0004)
[ ] 0 0 0 0 / 1000 182.8s Lin DSL Stack test with Domain (shrinking: 39.0008)
[✓] 1 0 1 0 / 1000 184.3s Lin DSL Stack test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Stack test with Domain failed as expected (39 shrink steps):
|
|
.---------------------.
| |
Stack.push 0 t Stack.push 1 t
Stack.pop_opt t
Stack.top_opt t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Stack test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Stack.push 0 t : () Stack.push 1 t : ()
Stack.pop_opt t : Some (0)
Stack.top_opt t : None
================================================================================
success (ran 1 tests)
random seed: 373883100
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Domain (generating)2023-06-07 15:28.51: Job failed: Disconnected: Switch turned off