Build:
- 0
2023-06-06 08:56.08: New job: test macos-arm64/arm64/5.1/fa1c8e0deabcd8265405c3f1c798bdd245f98c71
2023-06-06 08:56.08: Using cache hint "macos-arm64/arm64/5.1/fa1c8e0deabcd8265405c3f1c798bdd245f98c71"
2023-06-06 08:56.08: Using OBuilder spec:
((from macos-homebrew-ocaml-5.1)
(env QCHECK_MSG_INTERVAL 60)
(user (uid 1000) (gid 1000))
(run (shell "ln -f ~/local/bin/opam-2.1 ~/local/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"))
(copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./src/))
(run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./src/ && opam pin --no-action qcheck-lin.dev ./src/ && opam pin --no-action qcheck-stm.dev ./src/ && opam pin --no-action multicoretests.dev ./src/"))
(env CI true)
(run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./src/"))
(run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam install ./src/"))
(copy (src .) (dst ./src))
(run (shell "cd ./src && eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet"))
)
2023-06-06 08:56.08: Waiting for resource in pool OCluster
2023-06-06 08:56.08: Waiting for worker…
2023-06-06 09:24.59: Got resource from pool OCluster
Building on m1-worker-02
All commits already cached
HEAD is now at fa1c8e0 Update CHANGES with #324 Print commands with uncaught exceptions
(from macos-homebrew-ocaml-5.1)
2023-06-06 09:25.00 ---> using "b7b1005f775d216bee3ed8ddea7a5cf967981ce80479def84cf765e6fa9c281f" from cache
/: (env QCHECK_MSG_INTERVAL 60)
/: (user (uid 1000) (gid 1000))
/: (run (shell "ln -f ~/local/bin/opam-2.1 ~/local/bin/opam && opam init --reinit -ni"))
No configuration file found, using 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.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///Users/mac1000/opam-repository
2023-06-06 09:25.00 ---> using "2a7265db9e3e95a828d2dbc79942298b3b0da3549cc23c21048904015212ccf4" from cache
/: (run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
[override] Initialised
2023-06-06 09:25.00 ---> using "71e315505b2c5a19dae20433f7b4e66064169cf81d8998bb9a214c1f91290c8d" from cache
/: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./src/))
2023-06-06 09:25.00 ---> using "b1c7a9a9389ec0c26679e739673970ae5c3934c5864bfa30494299c02510d17f" from cache
/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./src/ && opam pin --no-action qcheck-lin.dev ./src/ && opam pin --no-action qcheck-stm.dev ./src/ && opam pin --no-action multicoretests.dev ./src/"))
[qcheck-multicoretests-util.dev] synchronised (file:///Users/mac1000/src)
qcheck-multicoretests-util is now pinned to file:///Users/mac1000/src (version dev)
[qcheck-lin.dev] synchronised (file:///Users/mac1000/src)
qcheck-lin is now pinned to file:///Users/mac1000/src (version dev)
[qcheck-stm.dev] synchronised (file:///Users/mac1000/src)
qcheck-stm is now pinned to file:///Users/mac1000/src (version dev)
Package multicoretests does not exist, create as a NEW package? [Y/n] y
[multicoretests.dev] synchronised (file:///Users/mac1000/src)
multicoretests is now pinned to file:///Users/mac1000/src (version dev)
2023-06-06 09:25.01 ---> using "e23cb6874063eb611910fe7d0abf60ece4f403215604712eb189a38b4fe520d1" from cache
/: (env CI true)
/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./src/"))
+ /opt/homebrew/bin/brew "update"
- Already up-to-date.
[multicoretests.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2023-06-06 09:25.01 ---> using "d51eed705dd8cdf4fec5187165528e14e2ffea5e42c5a0f0700fbe258433d1a4" from cache
/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam install ./src/"))
[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.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 multicoretests.dev (file:///Users/mac1000/src)
-> retrieved ocamlfind.1.9.5 (cached)
-> retrieved qcheck-lin.dev (file:///Users/mac1000/src)
-> retrieved qcheck-core.0.20 (cached)
-> retrieved qcheck-multicoretests-util.dev (file:///Users/mac1000/src)
-> retrieved dune.3.7.1 (cached)
-> retrieved qcheck-stm.dev (file:///Users/mac1000/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-lin.dev
-> installed qcheck-stm.dev
-> installed multicoretests.dev
Done.
# Run eval $(opam env) to update the current shell environment
2023-06-06 09:25.01 ---> using "c1737a10a75b07db37496442fe5528c3405574a1274e6d60451ebb105104532a" from cache
/: (copy (src .) (dst ./src))
2023-06-06 09:25.04 ---> saved as "3251dcdf2f309f8f3c6812bc8cb8e37f4573bd1fad195acad5ff555bbee78df7"
/: (run (shell "cd ./src && 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: 312189160
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.2s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 1 0 1 0 / 1000 8.4s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (41 shrink steps):
|
|
.---------------------.
| |
Fill (6, 3, '9') To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------.
| |
Fill (6, 3, '9') : Ok (()) To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; '9'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 361181621
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 3.8s Lin DSL Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Array test with Domain failed as expected (18 shrink steps):
|
Array.set t 0 'h'
|
.---------------------.
| |
Array.copy t Array.sort t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Array test with Domain:
Results incompatible with sequential execution
|
Array.set t 0 'h' : Ok (())
|
.--------------------------------------------------------------------------------------------------.
| |
Array.copy t : [|'h'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'h'|] Array.sort t : ()
================================================================================
success (ran 1 tests)
random seed: 169885921
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)
[ ] 115 0 0 115 / 500 60.2s Mash up of threads and domains
[ ] 240 0 0 240 / 500 120.2s Mash up of threads and domains
[ ] 365 0 0 365 / 500 180.7s Mash up of threads and domains
[ ] 488 0 0 488 / 500 240.9s Mash up of threads and domains
[✓] 500 0 0 500 / 500 246.8s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 65091367
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)
[✓] 100 0 0 100 / 100 32.4s Thread.create/join - tak work
[ ] 0 0 0 0 / 500 0.0s Thread.create/join - atomic
[✓] 500 0 0 500 / 500 1.2s Thread.create/join - atomic
================================================================================
success (ran 2 tests)
random seed: 22640283
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 7.4s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 12.1s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 407452986
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 0.7s thread_createtree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 108311494
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 0.5s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 449623492
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 3.1s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 314539282
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
[✓] 1 0 1 0 / 200 1.9s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (25 shrink steps):
|
Add ('h', 534)
|
.---------------------.
| |
Clear Remove 'h'
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Add ('h', 534) : ()
|
.------------------------------------.
| |
Clear : () Remove 'h' : ()
Length : -1
================================================================================
success (ran 2 tests)
random seed: 479604798
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 1.3s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.1s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 1.3s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[✓] 24 0 1 23 / 200 19.4s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 2.7s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[✓] 24 0 1 23 / 200 23.2s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (5 shrink steps):
|
|
.---------------------.
| |
Force_val Force_val
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.-----------------------------------------------.
| |
Force_val : Ok (700) Force_val : Error (CamlinternalLazy.Undefined)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (5 shrink steps):
|
|
.---------------------.
| |
Force_val Force_val
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.-----------------------------------------------.
| |
Force_val : Error (CamlinternalLazy.Undefined) Force_val : Ok (700)
================================================================================
success (ran 6 tests)
random seed: 176043805
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.2s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[✓] 2 0 1 1 / 1000 0.7s STM Buffer test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (14 shrink steps):
|
Add_bytes "\152\169\000\143c\185"
|
.----------------------------------.
| |
Contents Truncate 0
Add_char '\154'
Reset
Sub (2, 6)
To_bytes
Add_char 'v'
Nth 3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
Add_bytes "\152\169\000\143c\185" : Ok (())
|
.----------------------------------------------------.
| |
Contents : Ok ("\154\169\000\143c\185") Truncate 0 : Ok (())
Add_char '\154' : Ok (())
Reset : Ok (())
Sub (2, 6) : Error (Invalid_argument("Buffer.sub"))
To_bytes : Ok ("")
Add_char 'v' : Ok (())
Nth 3 : Error (Invalid_argument("Buffer.nth"))
================================================================================
success (ran 2 tests)
random seed: 247183524
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
[✓] 466 0 0 200 / 200 2.2s STM Semaphore.Counting test parallel
================================================================================
success (ran 2 tests)
random seed: 475469294
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 11.4s STM Sys test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Sys test parallel
[ ] 169 0 0 169 / 1000 48.7s STM Sys test parallel
[ ] 380 0 0 380 / 1000 108.7s STM Sys test parallel
[ ] 587 0 0 587 / 1000 168.7s STM Sys test parallel
[ ] 795 0 0 795 / 1000 228.8s STM Sys test parallel
[✗] 1000 0 0 1000 / 1000 288.0s STM Sys test parallel
--- Failure --------------------------------------------------------------------
Test STM Sys test parallel failed:
Negative test STM Sys test parallel succeeded but was expected to fail
================================================================================
failure (1 tests failed, 0 tests errored, ran 2 tests)
File "src/sys/dune", line 4, characters 7-16:
4 | (name stm_tests)
^^^^^^^^^
(cd _build/default/src/sys && ./stm_tests.exe --verbose)
Command exited with code 1.
random seed: 446700386
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.1s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 8 0 1 7 / 1000 1.6s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (22 shrink steps):
|
|
.---------------------.
| |
Fill (7, 3, ' ') Copy
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill (7, 3, ' ') : Ok (()) Copy : "aaaaaaa aaaaaaaa"
================================================================================
success (ran 2 tests)
random seed: 428171365
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.1s STM Ephemeron test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[✓] 1 0 1 0 / 1000 3.0s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (7 shrink steps):
|
Add ('v', "P")
|
.-----------------------------------------------.
| |
Remove 'D' Add ('D', "")
Find 't' Replace ('D', "NK:\\nEL2cePN@fOL'% 0\\?9ZKjh")
Find_all 'v' Find 'D'
Replace ('v', "9<T|Cx") Find_all 'N'
Find_all 'v' Length
Remove 'v' Find_all '#'
Find_all 'D' Remove 'v'
Find_all 'D'
Clear
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
Add ('v', "P") : ()
|
.----------------------------------------------------.
| |
Remove 'D' : () Add ('D', "") : ()
Find 't' : Error (Not_found) Replace ('D', "NK:\\nEL2cePN@fOL'% 0\\?9ZKjh") : ()
Find_all 'v' : ["P"] Find 'D' : Ok ("NK:\\nEL2cePN@fOL'% 0\\?9ZKjh")
Replace ('v', "9<T|Cx") : () Find_all 'N' : []
Find_all 'v' : ["9<T|Cx"] Length : 2
Remove 'v' : () Find_all '#' : []
Find_all 'D' : [""] Remove 'v' : ()
Find_all 'D' : ["NK:\\nEL2cePN@fOL'% 0\\?9ZKjh"]
Clear : ()
================================================================================
success (ran 2 tests)
random seed: 323183582
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.2s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 1 0 1 0 / 1000 2.1s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (19 shrink steps):
|
|
.----------------------------.
| |
To_list Fill (1, 6, 0.178023951855)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
|
.---------------------------------------------------------------------------------------------------------------------------------------.
| |
To_list : [1.; 1.; 0.178023951855; 0.178023951855; 0.178023951855; 0.178023951855; 0.178023951855; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.] Fill (1, 6, 0.178023951855) : Ok (())
================================================================================
success (ran 2 tests)
random seed: 252066042
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.2s STM Weak test sequential
================================================================================
success (ran 1 tests)
random seed: 313387429
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.2s STM Weak HashSet test sequential
================================================================================
success (ran 1 tests)
random seed: 388902060
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 14.5s Lin DSL Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 360016002
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)
[✓] 103 0 1 102 / 5000 9.8s Lin DSL Bigarray.Array1 (of ints) test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Bigarray.Array1 (of ints) test with Domain failed as expected (4 shrink steps):
|
Bigarray.Array1.size_in_bytes t
Bigarray.Array1.fill t 1
Bigarray.Array1.get t 2
Bigarray.Array1.set t 0 9
Bigarray.Array1.fill t 1
Bigarray.Array1.set t 8 3
Bigarray.Array1.size_in_bytes t
Bigarray.Array1.get t 7
Bigarray.Array1.size_in_bytes t
Bigarray.Array1.get t 1
Bigarray.Array1.get t 2
Bigarray.Array1.fill t 72
Bigarray.Array1.size_in_bytes t
Bigarray.Array1.size_in_bytes t
|
.--------------------------------.
| |
Bigarray.Array1.fill t 8 Bigarray.Array1.fill t 3
Bigarray.Array1.get t 9 Bigarray.Array1.fill t 3
Bigarray.Array1.get t 83 Bigarray.Array1.size_in_bytes t
Bigarray.Array1.fill t 2 Bigarray.Array1.size_in_bytes t
Bigarray.Array1.get t 5 Bigarray.Array1.get t 7
Bigarray.Array1.get t 45 Bigarray.Array1.set t 0 6
Bigarray.Array1.get t 7 Bigarray.Array1.size_in_bytes t
Bigarray.Array1.fill t 7
Bigarray.Array1.size_in_bytes t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Bigarray.Array1 (of ints) test with Domain:
Results incompatible with sequential execution
|
Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.fill t 1 : ()
Bigarray.Array1.get t 2 : Ok (1)
Bigarray.Array1.set t 0 9 : Ok (())
Bigarray.Array1.fill t 1 : ()
Bigarray.Array1.set t 8 3 : Ok (())
Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.get t 7 : Ok (1)
Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.get t 1 : Ok (1)
Bigarray.Array1.get t 2 : Ok (1)
Bigarray.Array1.fill t 72 : ()
Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.size_in_bytes t : 128
|
.---------------------------------------------------------------------------.
| |
Bigarray.Array1.fill t 8 : () Bigarray.Array1.fill t 3 : ()
Bigarray.Array1.get t 9 : Ok (3) Bigarray.Array1.fill t 3 : ()
Bigarray.Array1.get t 83 : Error (Invalid_argument("index out of bounds")) Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.fill t 2 : () Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.get t 5 : Ok (2) Bigarray.Array1.get t 7 : Ok (8)
Bigarray.Array1.get t 45 : Error (Invalid_argument("index out of bounds")) Bigarray.Array1.set t 0 6 : Ok (())
Bigarray.Array1.get t 7 : Ok (7) Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.fill t 7 : ()
Bigarray.Array1.size_in_bytes t : 128
================================================================================
success (ran 1 tests)
random seed: 253915365
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)
[✓] 14 0 1 13 / 1000 7.2s Lin DSL Hashtbl test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Hashtbl test with Domain failed as expected (38 shrink steps):
|
Hashtbl.replace t 'a' 0
|
.------------------------.
| |
Hashtbl.add t 'a' 0 Hashtbl.clear t
Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Hashtbl test with Domain:
Results incompatible with sequential execution
|
Hashtbl.replace t 'a' 0 : ()
|
.------------------------------------.
| |
Hashtbl.add t 'a' 0 : () Hashtbl.clear t : ()
Hashtbl.length t : 2
================================================================================
success (ran 1 tests)
random seed: 93985891
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 1.6s Lin DSL Queue test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Queue test with Thread
[✓] 250 0 0 250 / 250 1.9s Lin DSL Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Queue test with Domain failed as expected (27 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.take 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.take t : Ok (0) Queue.take_opt t : Some (0)
================================================================================
success (ran 2 tests)
random seed: 508030531
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)
[✓] 2 0 1 1 / 1000 3.5s Lin DSL Float.Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Float.Array test with Domain failed as expected (45 shrink steps):
|
Float.Array.fill t 0 1 -187.998506625
|
.--------------------------------------.
| |
Float.Array.sort t Float.Array.to_seq t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Float.Array test with Domain:
Results incompatible with sequential execution
|
Float.Array.fill t 0 1 -187.998506625 : Ok (())
|
.----------------------------------------------------------------------------------------------------------------.
| |
Float.Array.sort t : () Float.Array.to_seq t : <-187.998506625; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; -187.998506625; 0.; 0.>
================================================================================
success (ran 1 tests)
random seed: 186368981
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)
[✓] 102 0 1 101 / 1000 13.7s Lin DSL Weak test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Weak test with Domain failed as expected (35 shrink steps):
|
|
.-------------------------.
| |
Weak.set t 2 Some (9) Weak.fill t 0 5 Some (7)
Weak.check t 0
Weak.get_copy t 3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Weak test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Weak.set t 2 Some (9) : Ok (()) Weak.fill t 0 5 Some (7) : Ok (())
Weak.check t 0 : Ok (true)
Weak.get_copy t 3 : Ok (None)
================================================================================
success (ran 1 tests)
random seed: 192897047
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)
[✓] 17 0 1 16 / 1000 7.0s Lin DSL Weak HashSet test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Weak HashSet test with Domain failed as expected (26 shrink steps):
|
Weak.S.merge t ""
Weak.S.add t "a"
|
.---------------------.
| |
Weak.S.clear t Weak.S.count t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Weak HashSet test with Domain:
Results incompatible with sequential execution
|
Weak.S.merge t "" : Ok ("")
Weak.S.add t "a" : Ok (())
|
.------------------------------------.
| |
Weak.S.clear t : () Weak.S.count t : 1
================================================================================
success (ran 1 tests)
random seed: 426341245
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)
[✓] 1 0 1 0 / 1000 1.4s Lin DSL Stack test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Stack test with Thread
[✓] 250 0 0 250 / 250 1.7s Lin DSL Stack test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Stack test with Domain failed as expected (16 shrink steps):
|
Stack.push 0 t
|
.---------------------.
| |
Stack.pop t Stack.pop t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Stack test with Domain:
Results incompatible with sequential execution
|
Stack.push 0 t : ()
|
.------------------------------------.
| |
Stack.pop t : Ok (0) Stack.pop t : Ok (0)
================================================================================
success (ran 2 tests)
random seed: 407853520
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 13.5s Lin DSL Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 6.9s Lin DSL Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 348655691
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 1 0 / 1000 5.4s Lin DSL Ephemeron test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Ephemeron test with Thread
[✓] 250 0 0 250 / 250 6.2s Lin DSL Ephemeron test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Ephemeron test with Domain failed as expected (18 shrink steps):
|
Ephemeron.replace t 9 ""
|
.-------------------------.
| |
Ephemeron.clear t Ephemeron.clean t
Ephemeron.find_opt t 9
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Ephemeron test with Domain:
Results incompatible with sequential execution
|
Ephemeron.replace t 9 "" : ()
|
.------------------------------------.
| |
Ephemeron.clear t : () Ephemeron.clean t : ()
Ephemeron.find_opt t 9 : Some ("")
================================================================================
success (ran 2 tests)
random seed: 47680207
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.1s STM int64 ref test sequential
================================================================================
success (ran 2 tests)
random seed: 252554204
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 7.3s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 1 0 1 0 / 1000 2.1s STM int64 ref test parallel
[ ] 0 0 0 0 / 2000 0.0s STM int ref test parallel asymmetric
[✓] 847 0 1 846 / 2000 11.6s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 2000 0.0s STM int64 ref test parallel asymmetric
[✓] 11 0 1 10 / 2000 2.0s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (39 shrink steps):
|
|
.---------------------.
| |
Incr Add 1
Get Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Incr : () Add 1 : ()
Get : 1 Get : 1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (30 shrink steps):
|
|
.---------------------.
| |
Add 17L Incr
Add 794L
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 17L : () Incr : ()
Add 794L : ()
Get : 17
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (6 shrink steps):
|
|
.---------------------.
| |
Get Get
Add 1 Set 39
Get Incr
Get
Add 6
Decr
Decr
Add 9
Get
Get
Incr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Get : 46 Get : 0
Add 1 : () Set 39 : ()
Get : 45 Incr : ()
Get : 40
Add 6 : ()
Decr : ()
Decr : ()
Add 9 : ()
Get : 53
Get : 53
Incr : ()
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (1 shrink steps):
|
Add 4L
Set 9L
Get
Get
Set 324L
Decr
Decr
Decr
Set 8L
Add 986L
Add 6L
Set 9L
Incr
Get
Add 83L
Decr
Get
|
.---------------------.
| |
Decr Decr
Incr Decr
Get Decr
Incr Add 8957L
Get Decr
Get Get
Decr Incr
Decr Add 72L
Set 9L Set 1L
Add 8L Decr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
Add 4L : ()
Set 9L : ()
Get : 9
Get : 9
Set 324L : ()
Decr : ()
Decr : ()
Decr : ()
Set 8L : ()
Add 986L : ()
Add 6L : ()
Set 9L : ()
Incr : ()
Get : 10
Add 83L : ()
Decr : ()
Get : 92
|
.------------------------------------.
| |
Decr : () Decr : ()
Incr : () Decr : ()
Get : 9118 Decr : ()
Incr : () Add 8957L : ()
Get : 9118 Decr : ()
Get : 9118 Get : 9045
Decr : () Incr : ()
Decr : () Add 72L : ()
Set 9L : () Set 1L : ()
Add 8L : () Decr : ()
================================================================================
success (ran 4 tests)
random seed: 49136658
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 1.9s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 2.5s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 2 0 1 1 / 1000 2.5s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 2 0 1 1 / 1000 1.7s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (28 shrink steps):
|
|
.---------------------.
| |
Add_node (5) Add_node (9)
Member (9)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (5) : true Add_node (9) : true
Member (9) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (28 shrink steps):
|
|
.---------------------.
| |
Add_node (5) Add_node (9)
Member (9)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (5) : true Add_node (9) : true
Member (9) : false
================================================================================
success (ran 4 tests)
random seed: 231625838
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)
[✓] 4 0 1 3 / 10000 1.4s Lin DSL ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int64 test with Domain
[✓] 4 0 1 3 / 10000 0.8s Lin DSL ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int test with Domain
[✓] 1 0 1 0 / 10000 1.4s Lin DSL CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int64 test with Domain
[✓] 1 0 1 0 / 10000 1.9s Lin DSL CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int test with Domain failed as expected (37 shrink steps):
|
|
.---------------------.
| |
Sut_int.incr t Sut_int.add t 2
Sut_int.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int.incr t : () Sut_int.add t 2 : ()
Sut_int.get t : 1
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int64 test with Domain failed as expected (29 shrink steps):
|
|
.---------------------.
| |
Sut_int64.incr t Sut_int64.set t 3
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.incr t : () Sut_int64.set t 3 : ()
Sut_int64.get t : 1
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int test with Domain failed as expected (27 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0 CList.add_node t 1
CList.member t 1
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL CList int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 0 : true CList.add_node t 1 : true
CList.member t 1 : false
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int64 test with Domain failed as expected (27 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0 CList.add_node t 9
CList.member t 9
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL CList int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 0 : true CList.add_node t 9 : true
CList.member t 9 : false
================================================================================
success (ran 4 tests)
Lin DSL Out_channel test with Domain disabled under macOS
random seed: 298838474
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)
[✓] 137 0 1 136 / 1000 9.0s Lin DSL In_channel test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL In_channel test with Domain failed as expected (14 shrink steps):
|
In_channel.really_input_string t 1
|
.-----------------------------------.
| |
In_channel.input_line t In_channel.input_byte t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL In_channel test with Domain:
Results incompatible with sequential execution
|
In_channel.really_input_string t 1 : Ok (Some ("\207"))
|
.-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
In_channel.input_line t : Ok (Some ("\237\254\012\000\000\001\000\000\000\000\002\000\000\000\018\000\000\000\232\006\000\000\133\128\161\000\000\000\000\000\025\000\000\000H\000\000\000__PAGEZERO\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000(\002\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\192\018\000\000\000\000\000\000\000\000\000\000\000\000\000\000\192\018\000\000\000\000\000\005\000\000\000\005\000\000\000\006\000\000\000\000\000\000\000__text\000\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\152\031\000\000\001\000\000\000\204Y\015\000\000\000\000\000\152\031\000\000\003\000\000\000\000\000\000\000\000\000\000\000\000\004\000\128\000\000\000\000\000\000\000\000\000\000\000\000__stubs\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000dy\015\000\001\000\000\000\236\n")) In_channel.input_byte t : Ok (Some (250))
================================================================================
success (ran 1 tests)
random seed: 337648518
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)
[✓] 250 0 0 250 / 250 3.0s STM int ref test with Thread
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test with Thread
[✓] 28 0 1 27 / 1000 3.1s STM int64 ref test with Thread
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test with Thread failed as expected (6 shrink steps):
|
Incr
Get
Incr
Get
Add 642L
Decr
Set 23L
|
.---------------------.
| |
Add 4L Add 1L
Get Decr
Add 6L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test with Thread:
Results incompatible with linearized model
|
Incr : ()
Get : 1
Incr : ()
Get : 2
Add 642L : ()
Decr : ()
Set 23L : ()
|
.------------------------------------.
| |
Add 4L : () Add 1L : ()
Get : 24 Decr : ()
Add 6L : ()
================================================================================
success (ran 2 tests)
random seed: 49075693
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.2s 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.2s 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.3s 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.3s Lin DSL CList int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL ref int test with Effect
[✓] 3 0 1 2 / 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
[✓] 2 0 1 1 / 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 (108 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 (75 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 (80 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 (82 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: 39709057
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 5.1s negative Lin DSL Dynlink test with Domain
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL Dynlink test with Domain failed as expected (0 shrink steps):
|
|
.------------------------------.
| |
Dynlink.loadfile libB.cmxs Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.loadfile libA.cmxs Dynlink.all_units ()
Dynlink.loadfile libB.cmxs Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.all_units ()
Dynlink.loadfile libB.cmxs Dynlink.loadfile libA.cmxs
Dynlink.loadfile libB.cmxs Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.loadfile libB.cmxs
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.loadfile libA.cmxs
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL Dynlink test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) 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.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) Dynlink.all_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 : 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"; "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"; "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 : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) Dynlink.loadfile libA.cmxs : Ok (())
Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) 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.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.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.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
================================================================================
success (ran 1 tests)
random seed: 304913555
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)
[✓] 1000 0 0 1000 / 1000 8.8s Lin ref int test with Thread
[ ] 0 0 0 0 / 15000 0.0s Lin ref int64 test with Thread
[✓] 444 0 1 443 / 15000 12.4s Lin ref int64 test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin ref int64 test with Thread failed as expected (3 shrink steps):
|
Incr
Incr
Decr
Set 5L
Set 530L
Decr
|
.---------------------.
| |
Add 1L Add 3L
Set 921L Set 4L
Decr Decr
Add 0L Decr
Get Add 498L
Decr Incr
Decr Get
Incr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int64 test with Thread:
Results incompatible with sequential execution
|
Incr : RIncr
Incr : RIncr
Decr : RDecr
Set 5L : RSet
Set 530L : RSet
Decr : RDecr
|
.------------------------------------.
| |
Add 1L : RAdd Add 3L : RAdd
Set 921L : RSet Set 4L : RSet
Decr : RDecr Decr : RDecr
Add 0L : RAdd Decr : RDecr
Get : RGet 919L Add 498L : RAdd
Decr : RDecr Incr : RIncr
Decr : RDecr Get : RGet 919L
Incr : RIncr
================================================================================
success (ran 2 tests)
random seed: 403213050
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)
[✓] 1000 0 0 1000 / 1000 8.1s Lin CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin CList int64 test with Thread
[✓] 1000 0 0 1000 / 1000 8.1s 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" "cd ./src && eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet" failed with exit status 1
2023-06-06 09:39.59: Job failed: Failed: Build failed