Build:
- 0
2023-06-05 13:23.28: New job: test linux-arm64/arm64/5.1/ead6067cdfb34c27dfd6b4bd344bdbbcc145f92b
2023-06-05 13:23.28: Using cache hint "linux-arm64/arm64/5.1/ead6067cdfb34c27dfd6b4bd344bdbbcc145f92b"
2023-06-05 13:23.28: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.1)
(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"))
(run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(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-05 13:23.28: Waiting for resource in pool OCluster
2023-06-05 13:23.28: Waiting for worker…
2023-06-05 13:23.45: Got resource from pool OCluster
Building on okypous.caelum.ci.dev
All commits already cached
HEAD is now at ead6067 Remove unused Permission-denied cases
(from ocaml/opam:debian-11-ocaml-5.1)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.1' locally
debian-11-ocaml-5.1: Pulling from ocaml/opam
493ff6e3e5b6: Pulling fs layer
493ff6e3e5b6: Verifying Checksum
493ff6e3e5b6: Download complete
493ff6e3e5b6: Pull complete
Digest: sha256:ca1efc72929b9325b044533d86b1b74aedac295a501381b41cd775ebdb651e8c
Status: Downloaded newer image for ocaml/opam:debian-11-ocaml-5.1
2023-06-05 13:23.52 ---> using "bde20767b95fb00df88cc3ca72c37a9b7f19a4b7d866263d35b05ec309cb816b" 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-05 13:25.32 ---> saved as "18bc66cf5b4286750dad1a1f4a8066838b75362d6496898e6ed7d7be76659063"
/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-05 13:25.47 ---> saved as "a66d2f622f3c1cfda21f61c3761b0275d3523849dd9662e8b1faf3106bbfa6d8"
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2023-06-05 13:26.01 ---> saved as "f620e72c75c63a6bc575b072600990bf333502d861fc7981d7a3544301859ab3"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2023-06-05 13:26.21 ---> saved as "70c3363e1a06bdb3eb49d58dd330a0ee1d61143b08ca2b6b3c1c73bd226085b3"
/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-05 13:26.46 ---> saved as "380350584bf968393ab60936f1537dcc0a1fcc611c8e000d7596ba68c3ac51e6"
/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 arm64 Packages [240 kB]
- Get:5 http://deb.debian.org/debian bullseye-updates/main arm64 Packages.diff/Index [18.5 kB]
- Get:6 http://deb.debian.org/debian bullseye-updates/main arm64 Packages T-2023-05-24-2006.01-F-2023-05-24-2006.01.pdiff [362 B]
- Get:6 http://deb.debian.org/debian bullseye-updates/main arm64 Packages T-2023-05-24-2006.01-F-2023-05-24-2006.01.pdiff [362 B]
- Fetched 352 kB in 2s (216 kB/s)
- Reading package lists...
-
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2023-06-05 13:27.58 ---> saved as "796c7bae3c9a9a19e5bdcab81dd475659a7d075eec08e202dbdd5c1cf3dc65f4"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
[qcheck-lin.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
The following actions will be performed:
- install dune 3.7.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.20 [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 ocamlfind.1.9.5 (cached)
-> retrieved dune.3.7.1 (cached)
-> retrieved multicoretests.dev (file:///src)
-> retrieved qcheck-core.0.20 (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.7.1
-> installed qcheck-core.0.20
-> installed qcheck-multicoretests-util.dev
-> installed qcheck-stm.dev
-> installed qcheck-lin.dev
-> installed multicoretests.dev
Done.
# Run eval $(opam env) to update the current shell environment
2023-06-05 13:28.58 ---> saved as "3135b9196b99dc411f09881e0c296689e0036c69e0dd07c91d29cbf70fb2f3f7"
/src: (copy (src .) (dst /src))
2023-06-05 13:29.03 ---> saved as "f1c26db3afed9c178b80cd1b43f5cda1b3ae9ffd7f6bc4d4c82a05c73b696c9e"
/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: 296911010
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 0.5s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 1 0 1 0 / 1000 14.9s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (32 shrink steps):
|
Sort
|
.---------------------.
| |
Set (9, '>') Sort
Sub (9, 2) Copy
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
Sort : ()
|
.------------------------------------------------------------------------------------------.
| |
Set (9, '>') : Ok (()) Sort : ()
Sub (9, 2) : Ok ([|'a'; 'a'|]) Copy : [|'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'|]
Length : 16
================================================================================
success (ran 2 tests)
random seed: 457834253
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)
[✓] 1 0 1 0 / 1000 20.9s Lin DSL Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Array test with Domain failed as expected (31 shrink steps):
|
Array.fill t 0 1 '`'
|
.---------------------.
| |
Array.sort t Array.to_list t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Array test with Domain:
Results incompatible with sequential execution
|
Array.fill t 0 1 '`' : Ok (())
|
.---------------------------------------------------------------------------------------------------.
| |
Array.sort t : () Array.to_list t : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 1 tests)
random seed: 37287495
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)
[ ] 89 0 0 89 / 500 60.4s Mash up of threads and domains
[ ] 216 0 0 216 / 500 121.0s Mash up of threads and domains
[ ] 350 0 0 350 / 500 181.1s Mash up of threads and domains
[✓] 500 0 0 500 / 500 237.1s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 228886156
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)
[ ] 85 0 0 85 / 100 61.3s Thread.create/join - tak work
[✓] 100 0 0 100 / 100 72.6s Thread.create/join - tak work
[ ] 0 0 0 0 / 500 0.0s Thread.create/join - atomic
[✓] 500 0 0 500 / 500 9.6s Thread.create/join - atomic
================================================================================
success (ran 2 tests)
random seed: 146982851
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)
[✓] 100 0 0 100 / 100 15.1s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 42.1s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 328914007
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)
[✓] 1000 0 0 1000 / 1000 9.1s thread_createtree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 301803309
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 31.2s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 134498890
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.0s STM Atomic test sequential
[ ] 0 0 0 0 / 250 0.0s STM Atomic test parallel
[✓] 250 0 0 250 / 250 14.1s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 283107411
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.0s STM Hashtbl test sequential
[ ] 0 0 0 0 / 200 0.0s STM Hashtbl test parallel
[✓] 3 0 1 2 / 200 7.0s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (7 shrink steps):
|
Replace ('x', 61)
|
.---------------------.
| |
Clear Replace ('5', 4)
Find 'x'
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Replace ('x', 61) : ()
|
.------------------------------------.
| |
Clear : () Replace ('5', 4) : ()
Find 'x' : Error (Not_found)
Length : 2
================================================================================
success (ran 2 tests)
random seed: 299172876
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 2.4s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.2s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 2.4s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[ ] 5 0 0 5 / 200 55.3s STM Lazy test parallel (shrinking: 5.0003)
[✓] 6 0 1 5 / 200 78.2s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 7.1s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 5 0 0 5 / 200 31.0s STM Lazy test parallel from_fun (shrinking: 3.0003)
[✓] 6 0 1 5 / 200 78.0s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (6 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 1; _ -> 30}) Map ({700 -> 3; _ -> 9})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.--------------------------------------------------------------.
| |
Map_val ({700 -> 1; _ -> 30}) : Ok (1) Map ({700 -> 3; _ -> 9}) : Error (CamlinternalLazy.Undefined)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (6 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 1; _ -> 30}) Map ({700 -> 3; _ -> 9})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.--------------------------------------------------------------.
| |
Map_val ({700 -> 1; _ -> 30}) : Ok (1) Map ({700 -> 3; _ -> 9}) : Error (CamlinternalLazy.Undefined)
================================================================================
success (ran 6 tests)
random seed: 89349234
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 0.5s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[✓] 3 0 1 1 / 1000 11.2s STM Buffer test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (39 shrink steps):
|
|
.---------------------.
| |
Add_char '\239' Add_string ".\n\138"
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_char '\239' : Ok (()) Add_string ".\n\138" : Ok (())
Length : 3
================================================================================
success (ran 2 tests)
random seed: 184850047
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.0s STM Semaphore.Counting test sequential
[ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel
[✓] 515 0 0 200 / 200 5.3s STM Semaphore.Counting test parallel
================================================================================
success (ran 2 tests)
random seed: 465394918
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 6.9s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[✓] 200 0 0 200 / 200 29.7s STM Sys test parallel
================================================================================
success (ran 2 tests)
random seed: 334066324
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 0.4s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 10 0 1 9 / 1000 5.2s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (14 shrink steps):
|
|
.---------------------.
| |
To_seq Fill (1, 3, ':')
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------.
| |
To_seq : ['a'; 'a'; ':'; ':'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'] Fill (1, 3, ':') : Ok (())
================================================================================
success (ran 2 tests)
random seed: 241362642
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 0.3s STM Ephemeron test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[✓] 10 0 1 9 / 1000 12.5s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (19 shrink steps):
|
|
.--------------------------------------.
| |
Replace ('Z', "{I") Replace ('Z', "\\KtO#D5YZSNZl<|D0|,")
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
|
.-------------------------------------------.
| |
Replace ('Z', "{I") : () Replace ('Z', "\\KtO#D5YZSNZl<|D0|,") : ()
Length : 2
================================================================================
success (ran 2 tests)
random seed: 376704093
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 0.6s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 2 0 1 1 / 1000 13.1s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (25 shrink steps):
|
Fill (2, 3, 0.00468254999342)
|
.------------------------------.
| |
To_list Sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
Fill (2, 3, 0.00468254999342) : Ok (())
|
.-------------------------------------------------------------------------------------------------------.
| |
To_list : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 0.00468254999342; 1.; 1.; 0.00468254999342; 1.; 1.; 1.; 1.; 1.] Sort : ()
================================================================================
success (ran 2 tests)
random seed: 368961053
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 0.3s STM Weak test sequential
================================================================================
success (ran 1 tests)
random seed: 507140655
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 0.4s STM Weak HashSet test sequential
================================================================================
success (ran 1 tests)
random seed: 4626070
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)
[✓] 1000 0 0 1000 / 1000 47.1s Lin DSL Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 417947898
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)
[✓] 50 0 1 49 / 5000 24.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 (32 shrink steps):
|
|
.-------------------------.
| |
Bigarray.Array1.fill t 0 Bigarray.Array1.fill t 1
Bigarray.Array1.get t 0 Bigarray.Array1.get t 4
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Bigarray.Array1 (of ints) test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Bigarray.Array1.fill t 0 : () Bigarray.Array1.fill t 1 : ()
Bigarray.Array1.get t 0 : Ok (1) Bigarray.Array1.get t 4 : Ok (0)
================================================================================
success (ran 1 tests)
random seed: 187437282
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)
[✓] 7 0 1 6 / 1000 41.7s Lin DSL Hashtbl test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Hashtbl test with Domain failed as expected (44 shrink steps):
|
|
.------------------------.
| |
Hashtbl.add t '_' 0 Hashtbl.replace t '^' 0
Hashtbl.find t 'a' Hashtbl.remove t '_'
Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Hashtbl test with Domain:
Results incompatible with sequential execution
|
|
.---------------------------------------.
| |
Hashtbl.add t '_' 0 : () Hashtbl.replace t '^' 0 : ()
Hashtbl.find t 'a' : Error (Not_found) Hashtbl.remove t '_' : ()
Hashtbl.length t : 0
================================================================================
success (ran 1 tests)
random seed: 123743599
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 2.4s Lin DSL Queue test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Queue test with Thread
[ ] 144 0 0 144 / 250 57.7s Lin DSL Queue test with Thread
[✓] 250 0 0 250 / 250 97.1s Lin DSL Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Queue test with Domain failed as expected (9 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.take t Queue.take t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Queue test with Domain:
Results incompatible with sequential execution
|
Queue.add 0 t : ()
|
.------------------------------------.
| |
Queue.take t : Ok (0) Queue.take t : Ok (0)
================================================================================
success (ran 2 tests)
random seed: 108034572
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)
[✓] 3 0 1 2 / 1000 5.9s Lin DSL Float.Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Float.Array test with Domain failed as expected (34 shrink steps):
|
Float.Array.set t 1 -8.03078984235
|
.-----------------------------------.
| |
Float.Array.to_list t Float.Array.stable_sort t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Float.Array test with Domain:
Results incompatible with sequential execution
|
Float.Array.set t 1 -8.03078984235 : Ok (())
|
.-----------------------------------------------------------------------------------------------------------------.
| |
Float.Array.to_list t : [0.; -8.03078984235; 0.; 0.; -8.03078984235; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.] Float.Array.stable_sort t : ()
================================================================================
success (ran 1 tests)
random seed: 398927405
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)
[✓] 53 0 1 52 / 1000 19.6s Lin DSL Weak test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Weak test with Domain failed as expected (2 shrink steps):
|
Weak.set t 9 None
|
.--------------------------.
| |
Weak.get_copy t 4 Weak.get_copy t 0
Weak.check t 0 Weak.fill t 2 2 Some (8)
Weak.fill t 8 31 None Weak.get t 1
Weak.get_copy t 7 Weak.set t 3 Some (7)
Weak.length t Weak.check t 76
Weak.fill t 5 53 Some (3) Weak.fill t 7 9 Some (1)
Weak.length t Weak.get_copy t 30
Weak.get_copy t 2 Weak.fill t 7 4 Some (7)
Weak.get t 3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Weak test with Domain:
Results incompatible with sequential execution
|
Weak.set t 9 None : Ok (())
|
.------------------------------------------------------------------.
| |
Weak.get_copy t 4 : Ok (None) Weak.get_copy t 0 : Ok (None)
Weak.check t 0 : Ok (false) Weak.fill t 2 2 Some (8) : Ok (())
Weak.fill t 8 31 None : Error (Invalid_argument("Weak.fill")) Weak.get t 1 : Ok (None)
Weak.get_copy t 7 : Ok (None) Weak.set t 3 Some (7) : Ok (())
Weak.length t : 16 Weak.check t 76 : Error (Invalid_argument("Weak.check"))
Weak.fill t 5 53 Some (3) : Error (Invalid_argument("Weak.fill")) Weak.fill t 7 9 Some (1) : Ok (())
Weak.length t : 16 Weak.get_copy t 30 : Error (Invalid_argument("Weak.get_copy"))
Weak.get_copy t 2 : Ok (Some (8)) Weak.fill t 7 4 Some (7) : Ok (())
Weak.get t 3 : Ok (None)
================================================================================
success (ran 1 tests)
random seed: 262097398
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)
[ ] 14 0 0 14 / 1000 60.0s Lin DSL Weak HashSet test with Domain (shrinking: 24.0013)
[✓] 15 0 1 14 / 1000 76.3s Lin DSL Weak HashSet test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Weak HashSet test with Domain failed as expected (25 shrink steps):
|
Weak.S.add t "j\174\139'\219"
|
.--------------------------------.
| |
Weak.S.clear t Weak.S.merge t "S\150\026/\156"
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Weak HashSet test with Domain:
Results incompatible with sequential execution
|
Weak.S.add t "j\174\139'\219" : Ok (())
|
.----------------------------------------------------------------------------------.
| |
Weak.S.clear t : () Weak.S.merge t "S\150\026/\156" : Error (Invalid_argument("index out of bounds"))
================================================================================
success (ran 1 tests)
random seed: 91052629
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)
[✓] 2 0 1 1 / 1000 5.9s Lin DSL Stack test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Stack test with Thread
[ ] 130 0 0 130 / 250 54.2s Lin DSL Stack test with Thread
[✓] 250 0 0 250 / 250 99.7s Lin DSL Stack test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Stack test with Domain failed as expected (43 shrink steps):
|
Stack.push 0 t
|
.---------------------.
| |
Stack.pop_opt t Stack.pop_opt t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Stack test with Domain:
Results incompatible with sequential execution
|
Stack.push 0 t : ()
|
.------------------------------------.
| |
Stack.pop_opt t : Some (0) Stack.pop_opt t : Some (0)
================================================================================
success (ran 2 tests)
random seed: 294541715
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)
[✓] 1000 0 0 1000 / 1000 58.0s Lin DSL Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Thread
[ ] 5 0 0 5 / 1000 2.0s Lin DSL Bytes test with Thread
[ ] 185 0 0 185 / 1000 62.2s Lin DSL Bytes test with Thread
[ ] 359 0 0 359 / 1000 122.2s Lin DSL Bytes test with Thread
[ ] 552 0 0 552 / 1000 182.5s Lin DSL Bytes test with Thread
[ ] 733 0 0 733 / 1000 242.7s Lin DSL Bytes test with Thread
[ ] 957 0 0 957 / 1000 302.8s Lin DSL Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 314.1s Lin DSL Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 360957408
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Ephemeron test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Ephemeron test with Domain (generating)
[ ] 1 0 0 1 / 1000 60.3s Lin DSL Ephemeron test with Domain (shrinking: 29.0005)
[ ] 1 0 0 1 / 1000 120.3s Lin DSL Ephemeron test with Domain (shrinking: 35.0017)
[ ] 1 0 0 1 / 1000 180.7s Lin DSL Ephemeron test with Domain (shrinking: 39.0033)
[ ] 1 0 0 1 / 1000 241.0s Lin DSL Ephemeron test with Domain (shrinking: 49.0056)
[ ] 1 0 0 1 / 1000 301.7s Lin DSL Ephemeron test with Domain (shrinking: 55.0041)
[ ] 1 0 0 1 / 1000 361.9s Lin DSL Ephemeron test with Domain (shrinking: 63.0016)
[ ] 1 0 0 1 / 1000 422.0s Lin DSL Ephemeron test with Domain (shrinking: 65.0114)
[ ] 1 0 0 1 / 1000 482.0s Lin DSL Ephemeron test with Domain (shrinking: 71.0033)
[ ] 1 0 0 1 / 1000 542.2s Lin DSL Ephemeron test with Domain (shrinking: 77.0030)
[ ] 1 0 0 1 / 1000 602.3s Lin DSL Ephemeron test with Domain (shrinking: 83.0093)
[ ] 1 0 0 1 / 1000 662.4s Lin DSL Ephemeron test with Domain (shrinking: 93.0023)
[ ] 1 0 0 1 / 1000 722.7s Lin DSL Ephemeron test with Domain (shrinking: 99.0043)
[ ] 1 0 0 1 / 1000 782.8s Lin DSL Ephemeron test with Domain (shrinking: 112.0010)
[ ] 1 0 0 1 / 1000 843.0s Lin DSL Ephemeron test with Domain (shrinking: 118.0016)
[ ] 1 0 0 1 / 1000 903.2s Lin DSL Ephemeron test with Domain (shrinking: 124.0029)
[ ] 1 0 0 1 / 1000 963.3s Lin DSL Ephemeron test with Domain (shrinking: 130.0043)
[ ] 1 0 0 1 / 1000 1023.3s Lin DSL Ephemeron test with Domain (shrinking: 137.0021)
[ ] 1 0 0 1 / 1000 1083.4s Lin DSL Ephemeron test with Domain (shrinking: 144.0012)
[ ] 1 0 0 1 / 1000 1143.4s Lin DSL Ephemeron test with Domain (shrinking: 155.0031)
[ ] 1 0 0 1 / 1000 1203.8s Lin DSL Ephemeron test with Domain (shrinking: 164.0070)
[ ] 1 0 0 1 / 1000 1263.9s Lin DSL Ephemeron test with Domain (shrinking: 164.0315)
[ ] 1 0 0 1 / 1000 1324.0s Lin DSL Ephemeron test with Domain (shrinking: 165.0263)
[✓] 2 0 1 1 / 1000 1356.3s Lin DSL Ephemeron test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Ephemeron test with Thread
[ ] 87 0 0 87 / 250 27.7s Lin DSL Ephemeron test with Thread
[✓] 250 0 0 250 / 250 84.9s Lin DSL Ephemeron test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Ephemeron test with Domain failed as expected (165 shrink steps):
|
|
.--------------------------------------------------------------------------------------.
| |
Ephemeron.add t 0 "" Ephemeron.replace t 2 "3lO+B&MKOF4g^ysj0I#2prgs"
Ephemeron.add t 8 "JtI[h6Gi<GEw;wKEZg;v#/lVx?\\svI1a5b#Ubd[H>R@N(66BC?I`N_LkZuaJ{zV&"
Ephemeron.find_opt t 3
Ephemeron.clear t
Ephemeron.length t
Ephemeron.add t 99 "aIZm"
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Ephemeron test with Domain:
Results incompatible with sequential execution
|
|
.-------------------------------------------------------------------------------------------.
| |
Ephemeron.add t 0 "" : () Ephemeron.replace t 2 "3lO+B&MKOF4g^ysj0I#2prgs" : ()
Ephemeron.add t 8 "JtI[h6Gi<GEw;wKEZg;v#/lVx?\\svI1a5b#Ubd[H>R@N(66BC?I`N_LkZuaJ{zV&" : ()
Ephemeron.find_opt t 3 : None
Ephemeron.clear t : ()
Ephemeron.length t : 3
Ephemeron.add t 99 "aIZm" : ()
================================================================================
success (ran 2 tests)
random seed: 101996305
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM int ref test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int ref test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.1s STM int ref test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test sequential
[✓] 1000 0 0 1000 / 1000 0.2s STM int64 ref test sequential
================================================================================
success (ran 2 tests)
random seed: 405788026
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel (generating)
[✓] 1 0 1 0 / 1000 3.6s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 1 0 1 0 / 1000 3.8s STM int64 ref test parallel
[ ] 0 0 0 0 / 2000 0.0s STM int ref test parallel asymmetric
[✓] 1 0 1 0 / 2000 1.7s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 2000 0.0s STM int64 ref test parallel asymmetric
[✓] 1 0 1 0 / 2000 1.7s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (19 shrink steps):
|
|
.---------------------.
| |
Decr Decr
Get Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Decr : () Decr : ()
Get : -1 Get : -1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (19 shrink steps):
|
|
.---------------------.
| |
Decr Decr
Get Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Decr : () Decr : ()
Get : -1 Get : -1
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (16 shrink steps):
|
Get
|
.---------------------.
| |
Decr Decr
Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
Get : 0
|
.------------------------------------.
| |
Decr : () Decr : ()
Decr : ()
Get : -1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (19 shrink steps):
|
|
.---------------------.
| |
Decr Decr
Get Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Decr : () Decr : ()
Get : -1 Get : -1
================================================================================
success (ran 4 tests)
random seed: 245125730
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential (generating)
[✓] 1000 0 0 1000 / 1000 4.0s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 5.1s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 9 0 1 8 / 1000 9.0s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 9 0 1 8 / 1000 10.0s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (37 shrink steps):
|
|
.---------------------.
| |
Add_node (0) Add_node (75)
Member (75)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (0) : true Add_node (75) : true
Member (75) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (37 shrink steps):
|
|
.---------------------.
| |
Add_node (0) Add_node (75)
Member (75)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (0) : true Add_node (75) : true
Member (75) : false
================================================================================
success (ran 4 tests)
random seed: 513253629
generated error fail pass / total time test name
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int test with Domain (generating)
[✓] 1 0 1 0 / 10000 3.6s Lin DSL ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int64 test with Domain
[✓] 1 0 1 0 / 10000 3.2s Lin DSL ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int test with Domain
[✓] 3 0 1 2 / 10000 13.3s Lin DSL CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int64 test with Domain
[✓] 3 0 1 2 / 10000 4.1s Lin DSL CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int test with Domain failed as expected (14 shrink steps):
|
|
.---------------------.
| |
Sut_int.set t 1 Sut_int.decr t
Sut_int.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int.set t 1 : () Sut_int.decr t : ()
Sut_int.get t : -1
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int64 test with Domain failed as expected (13 shrink steps):
|
|
.---------------------.
| |
Sut_int64.set t 1 Sut_int64.decr t
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.set t 1 : () Sut_int64.decr t : ()
Sut_int64.get t : -1
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int test with Domain failed as expected (34 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 6 CList.add_node t 0
CList.member t 6
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL CList int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 6 : true CList.add_node t 0 : true
CList.member t 6 : false
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int64 test with Domain failed as expected (29 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 6 CList.add_node t 9
CList.member t 6
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL CList int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 6 : true CList.add_node t 9 : true
CList.member t 6 : false
================================================================================
success (ran 4 tests)
random seed: 255390210
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL In_channel test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL In_channel test with Domain (generating)
[✓] 4 0 1 3 / 1000 5.6s Lin DSL In_channel test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Out_channel test with Domain
[ ] 61 0 0 61 / 1000 63.4s Lin DSL Out_channel test with Domain
[ ] 219 0 0 219 / 1000 212.7s Lin DSL Out_channel test with Domain
[ ] 560 0 0 560 / 1000 273.9s Lin DSL Out_channel test with Domain
[ ] 746 0 0 746 / 1000 334.4s Lin DSL Out_channel test with Domain
[ ] 858 0 0 858 / 1000 395.4s Lin DSL Out_channel test with Domain
[✗] 1000 0 0 1000 / 1000 418.3s Lin DSL Out_channel test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL In_channel test with Domain failed as expected (7 shrink steps):
|
|
.-----------------------------------.
| |
In_channel.input_line t In_channel.really_input_string t 6
In_channel.close t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL In_channel test with Domain:
Results incompatible with sequential execution
|
|
.--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
In_channel.input_line t : Ok (Some ("\001\000\000\000\000\000\000\000\000\000\003\000\183\000\001\000\000\000\148\235\016\000\000\000\000\000@\000\000\000\000\000\000\000\232GT\000\000\000\000\000\000\000\000\000@\0008\000\n\000@\000&\000")) In_channel.really_input_string t 6 : Ok (Some ("\127ELF\002\001"))
In_channel.close t : ()
--- Failure --------------------------------------------------------------------
Test Lin DSL Out_channel test with Domain failed:
Negative test Lin DSL Out_channel test with Domain succeeded but was expected to fail
================================================================================
failure (1 tests failed, 0 tests errored, ran 2 tests)
File "src/io/dune", line 21, characters 7-27:
21 | (name lin_tests_dsl_domain)
^^^^^^^^^^^^^^^^^^^^
(cd _build/default/src/io && ./lin_tests_dsl_domain.exe --verbose)
Command exited with code 1.
random seed: 66683186
generated error fail pass / total time test name
[ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread
[ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread (generating)
[ ] 110 0 0 110 / 250 60.1s STM int ref test with Thread
[ ] 182 0 0 182 / 250 120.4s STM int ref test with Thread
[✓] 250 0 0 250 / 250 164.6s STM int ref test with Thread
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test with Thread
[ ] 0 0 0 0 / 1000 16.2s STM int64 ref test with Thread (shrinking: 14)
[ ] 0 0 0 0 / 1000 76.2s STM int64 ref test with Thread (shrinking: 27.0005)
[✓] 1 0 1 0 / 1000 82.5s STM int64 ref test with Thread
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test with Thread failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Decr Incr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test with Thread:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Decr : () Incr : ()
Get : 1
================================================================================
success (ran 2 tests)
random seed: 47407929
generated error fail pass / total time test name
[ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int test with Effect (generating)
[✓] 20000 0 0 20000 / 20000 0.5s Lin DSL ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int64 test with Effect
[✓] 20000 0 0 20000 / 20000 0.6s Lin DSL ref int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL CList int test with Effect
[✓] 20000 0 0 20000 / 20000 0.6s Lin DSL CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL CList int64 test with Effect
[✓] 20000 0 0 20000 / 20000 0.7s Lin DSL CList int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL ref int test with Effect
[✓] 2 0 1 1 / 20000 0.0s negative Lin DSL ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL ref int64 test with Effect
[✓] 3 0 1 2 / 20000 0.0s negative Lin DSL ref int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL CList int test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin DSL CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL CList int64 test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin DSL CList int64 test with Effect
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL ref int test with Effect failed as expected (103 shrink steps):
|
|
.---------------------.
| |
Sut_int'.add t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL ref int test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Sut_int'.add t 0 : Ok (())
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL ref int64 test with Effect failed as expected (96 shrink steps):
|
|
.---------------------.
| |
Sut_int64'.add t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL ref int64 test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Sut_int64'.add t 0 : Ok (())
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL CList int test with Effect failed as expected (73 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL CList int test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
CList.add_node t 0 : Ok (true)
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL CList int64 test with Effect failed as expected (74 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL CList int64 test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
CList.add_node t 0 : Ok (true)
================================================================================
success (ran 8 tests)
random seed: 460859292
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s negative Lin DSL Dynlink test with Domain
[ ] 0 0 0 0 / 100 0.0s negative Lin DSL Dynlink test with Domain (generating)
[✓] 1 0 1 0 / 100 10.9s negative Lin DSL Dynlink test with Domain
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL Dynlink test with Domain failed as expected (0 shrink steps):
|
Dynlink.main_program_units ()
Dynlink.main_program_units ()
Dynlink.loadfile libA.cmxs
Dynlink.loadfile libC.cmxs
|
.------------------------------.
| |
Dynlink.loadfile libC.cmxs Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.loadfile libB.cmxs
Dynlink.main_program_units () Dynlink.loadfile libA.cmxs
Dynlink.loadfile libB.cmxs Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.loadfile libC.cmxs Dynlink.all_units ()
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL Dynlink test with Domain:
Results incompatible with sequential execution
|
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.loadfile libA.cmxs : Ok (())
Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
|
.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory\\\")\")")) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libB.cmxs : Ok (())
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory\\\")\")")) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
================================================================================
success (ran 1 tests)
random seed: 72506976
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin ref int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin ref int test with Thread (generating)
[ ] 186 0 0 186 / 1000 60.1s Lin ref int test with Thread
[ ] 320 0 0 320 / 1000 121.5s Lin ref int test with Thread
[ ] 415 0 0 415 / 1000 182.1s Lin ref int test with Thread
[ ] 598 0 0 598 / 1000 242.3s Lin ref int test with Thread
[ ] 781 0 0 781 / 1000 302.5s Lin ref int test with Thread
[ ] 918 0 0 918 / 1000 362.6s Lin ref int test with Thread
[✓] 1000 0 0 1000 / 1000 394.6s Lin ref int test with Thread
[ ] 0 0 0 0 / 15000 0.0s Lin ref int64 test with Thread
[ ] 21 0 0 21 / 15000 31.2s Lin ref int64 test with Thread (shrinking: 4.0006)
[ ] 21 0 0 21 / 15000 92.3s Lin ref int64 test with Thread (shrinking: 13.0005)
[✓] 22 0 1 21 / 15000 130.6s Lin ref int64 test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin ref int64 test with Thread failed as expected (16 shrink steps):
|
|
.---------------------.
| |
Set 2L Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int64 test with Thread:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Set 2L : RSet Decr : RDecr
Get : RGet (-1L)
================================================================================
success (ran 2 tests)
random seed: 400480015
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin CList int test with Thread (generating)
[ ] 143 0 0 143 / 1000 60.2s Lin CList int test with Thread
[ ] 309 0 0 309 / 1000 120.2s Lin CList int test with Thread
[ ] 446 0 0 446 / 1000 180.3s Lin CList int test with Thread
[ ] 593 0 0 593 / 1000 241.5s Lin CList int test with Thread
[ ] 685 0 0 685 / 1000 302.1s Lin CList int test with Thread
[ ] 846 0 0 846 / 1000 362.2s Lin CList int test with Thread
[ ] 970 0 0 970 / 1000 422.9s Lin CList int test with Thread
[✓] 1000 0 0 1000 / 1000 445.4s Lin CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin CList int64 test with Thread
[ ] 25 0 0 25 / 1000 38.9s Lin CList int64 test with Thread
[ ] 100 0 0 100 / 1000 100.6s Lin CList int64 test with Thread
[ ] 129 0 0 129 / 1000 161.2s Lin CList int64 test with Thread
[ ] 239 0 0 239 / 1000 222.0s Lin CList int64 test with Thread
[ ] 307 0 0 307 / 1000 282.7s Lin CList int64 test with Thread
[ ] 383 0 0 383 / 1000 382.9s Lin CList int64 test with Thread
[ ] 588 0 0 588 / 1000 443.1s Lin CList int64 test with Thread
[ ] 805 0 0 805 / 1000 503.5s Lin CList int64 test with Thread
[ ] 993 0 0 993 / 1000 563.5s Lin CList int64 test with Thread
[✓] 1000 0 0 1000 / 1000 566.6s Lin CList int64 test with Thread
================================================================================
success (ran 2 tests)
STM ensure cleanup: sequential test OK
STM ensure cleanup: parallel test OK
"/bin/bash" "-c" "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet" failed with exit status 1
2023-06-05 14:57.35: Job failed: Failed: Build failed