Build:
- 0
2024-09-11 15:49.58: New job: test linux-s390x/s390x/5.2/cd5b374a7b3e6b0217bf808746fc005995260a50
2024-09-11 15:49.58: Using cache hint "linux-s390x/s390x/5.2/cd5b374a7b3e6b0217bf808746fc005995260a50"
2024-09-11 15:49.58: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2@sha256:1f83322450f1e098d6313e0820ad12e081427835b6d9e960c9272c2ae19c625c)
(env QCHECK_MSG_INTERVAL 60)
(user (uid 1000) (gid 1000))
(workdir /src)
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 0329818dcfd3de1a722ea09eeeed94cd24caa375 || git fetch origin master) && git reset -q --hard 0329818dcfd3de1a722ea09eeeed94cd24caa375 && git log --no-decorate -n1 --oneline && opam update -u"))
(run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
(copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
(env CI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
(run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
(copy (src .) (dst /src))
(run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice"))
)
2024-09-11 15:49.58: Waiting for resource in pool OCluster
2024-09-11 15:49.58: Waiting for worker…
2024-09-11 15:50.59: Got resource from pool OCluster
Building on s390x-worker-02.marist.ci.dev
HEAD is now at 3716ed7 Force v=0 in internal tests checked for output
HEAD is now at cd5b374 Drop the v=0 parameter in CI debug runs
(from ocaml/opam:debian-11-ocaml-5.2@sha256:1f83322450f1e098d6313e0820ad12e081427835b6d9e960c9272c2ae19c625c)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:1f83322450f1e098d6313e0820ad12e081427835b6d9e960c9272c2ae19c625c' locally
docker.io/ocaml/opam@sha256:1f83322450f1e098d6313e0820ad12e081427835b6d9e960c9272c2ae19c625c: Pulling from ocaml/opam
52560ec7a98b: Already exists
fc43c2620158: Already exists
1a0da8dce107: Already exists
084f9602ddb1: Already exists
a8ccfb2d452c: Already exists
80e0625dba56: Already exists
fdb8b9a4cd46: Already exists
7a3bfa0fc8a5: Already exists
17ced61d2a22: Already exists
68121d260ce3: Already exists
ece6008e5527: Already exists
04bd79074825: Already exists
7029e184360e: Already exists
9aa3927193fe: Already exists
5d5e9d8016cd: Already exists
38f79b8dab06: Already exists
db3a90a50702: Already exists
6fe6a44d3b20: Already exists
88dfc76ff524: Already exists
4f4fb700ef54: Already exists
93deefcdac36: Already exists
6ab4e3d1177d: Already exists
3d313d696c41: Already exists
3c835dc53d75: Already exists
86c9dfc1fa78: Already exists
d3b081306c3b: Already exists
d1ebf7a419d6: Already exists
d82846838d92: Already exists
05f5bd59136f: Already exists
fca527448e68: Already exists
ed870f695de5: Already exists
1232dcfb9b1b: Already exists
7b87644da75d: Already exists
bfda40b3011a: Already exists
101b22be307b: Already exists
4c165057b7ae: Already exists
fc6f266e2b26: Already exists
5f3f9279e800: Pulling fs layer
4c3a698059f7: Pulling fs layer
7cd5902884b2: Pulling fs layer
cbc140b69e9e: Pulling fs layer
f72fee0c17a4: Pulling fs layer
750f1c9a1a7d: Pulling fs layer
e32ee286e599: Pulling fs layer
cbc140b69e9e: Waiting
f72fee0c17a4: Waiting
750f1c9a1a7d: Waiting
e32ee286e599: Waiting
7cd5902884b2: Verifying Checksum
7cd5902884b2: Download complete
5f3f9279e800: Download complete
4c3a698059f7: Verifying Checksum
4c3a698059f7: Download complete
5f3f9279e800: Pull complete
4c3a698059f7: Pull complete
750f1c9a1a7d: Verifying Checksum
750f1c9a1a7d: Download complete
7cd5902884b2: Pull complete
f72fee0c17a4: Verifying Checksum
f72fee0c17a4: Download complete
e32ee286e599: Download complete
cbc140b69e9e: Verifying Checksum
cbc140b69e9e: Download complete
cbc140b69e9e: Pull complete
f72fee0c17a4: Pull complete
750f1c9a1a7d: Pull complete
e32ee286e599: Pull complete
Digest: sha256:1f83322450f1e098d6313e0820ad12e081427835b6d9e960c9272c2ae19c625c
Status: Downloaded newer image for ocaml/opam@sha256:1f83322450f1e098d6313e0820ad12e081427835b6d9e960c9272c2ae19c625c
2024-09-11 15:51.00 ---> using "604efa6ae672f23393573acfda1819314b26162918ac3713b573102c27dedf14" from cache
/: (env QCHECK_MSG_INTERVAL 60)
/: (user (uid 1000) (gid 1000))
/: (workdir /src)
/src: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
2024-09-11 15:51.00 Waiting for previous build to finish cancelling
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 development 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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-09-11 15:52.17 ---> saved as "21229380e350434db87fdf5919f611485496278129bd81e0ec259790dceb2415"
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-11 15:52.18 ---> saved as "3151d46274584d54f16c80ee4cf7ded785ab4b760952160dde670015e2da65b4"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 0329818dcfd3de1a722ea09eeeed94cd24caa375 || git fetch origin master) && git reset -q --hard 0329818dcfd3de1a722ea09eeeed94cd24caa375 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
7f8a1201e6..0329818dcf master -> origin/master
0329818dcf Merge pull request #26527 from dbuenzli/b0-publish-mtime.2.1.0-etc-b00ab5a8b3cb608d
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-09-11 15:53.15 ---> saved as "7d278b9aab3c8d782bb4d0042972b6dab8dc0df881d363914aa275993e16c1f6"
/src: (run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
[override] Initialised
2024-09-11 15:53.17 ---> saved as "efffdc6e213aef665f64ae184b9d054a6e10e06fb8a1748f0dcea0053f745eae"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2024-09-11 15:53.17 ---> saved as "726eec89626f5d2779c818e59db8f6edcc9882b8b5bc103dffcef21c16abdda0"
/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)
2024-09-11 15:53.24 ---> saved as "cfc4558ebbb3593603d3bb37bfb5edf653a0177c797f53c352d7bac814a4e430"
/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 [27.2 kB]
- Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB]
- Fetched 71.2 kB in 0s (177 kB/s)
- Reading package lists...
-
[multicoretests.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2024-09-11 15:53.36 ---> saved as "2027a547694d2bc14fdfacf8441aa538c60884eb7ff2781cae6f9956e4372c62"
/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.16.0 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install qcheck-core 0.22 [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*
===== 6 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved qcheck-core.0.22 (cached)
-> retrieved multicoretests.dev (file:///src)
-> retrieved qcheck-lin.dev (file:///src)
-> retrieved qcheck-multicoretests-util.dev (file:///src)
-> retrieved qcheck-stm.dev (file:///src)
-> retrieved dune.3.16.0 (cached)
-> installed dune.3.16.0
-> installed qcheck-core.0.22
-> 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
2024-09-11 15:54.21 ---> saved as "1b60b099928e0e169dc01d89588c9eb5991e8e0476cd7a04ff2cb3e31c1f2ad4"
/src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
version: 5.2.0
standard_library_default: /home/opam/.opam/5.2/lib/ocaml
standard_library: /home/opam/.opam/5.2/lib/ocaml
ccomp_type: cc
c_compiler: gcc
ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlc_cppflags: -D_FILE_OFFSET_BITS=64
ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64
bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
bytecomp_c_libraries: -lzstd -lm -ldl -lpthread
native_c_libraries: -lm -ldl -lpthread
native_ldflags:
native_pack_linker: ld -r -o
native_compiler: true
architecture: s390x
model: z10
int_size: 63
word_size: 64
system: linux
asm: gcc -c
asm_cfi_supported: true
with_frame_pointers: false
ext_exe:
ext_obj: .o
ext_asm: .s
ext_lib: .a
ext_dll: .so
os_type: Unix
default_executable_name: a.out
systhread_supported: true
host: s390x-ibm-linux-gnu
target: s390x-ibm-linux-gnu
flambda: false
safe_string: true
default_safe_string: true
flat_float_array: true
function_sections: false
afl_instrument: false
tsan: false
windows_unicode: false
supports_shared_libraries: true
native_dynlink: true
naked_pointers: false
exec_magic_number: Caml1999X034
cmi_magic_number: Caml1999I034
cmo_magic_number: Caml1999O034
cma_magic_number: Caml1999A034
cmx_magic_number: Caml1999Y034
cmxa_magic_number: Caml1999Z034
ast_impl_magic_number: Caml1999M034
ast_intf_magic_number: Caml1999N034
cmxs_magic_number: Caml1999D034
cmt_magic_number: Caml1999T034
linear_magic_number: Caml1999L034
<><> Global opam variables ><><><><><><><><><><><><><><><><><><><><><><><><><><>
arch s390x # Inferred from system
exe # Suffix needed for executable filenames (Windows)
jobs 3 # The number of parallel jobs set up in opam configuration
make make # The 'make' command to use
opam-version 2.1.6 # The currently running opam version
os linux # Inferred from system
os-distribution debian # Inferred from system
os-family debian # Inferred from system
os-version 11 # Inferred from system
root /home/opam/.opam # The current opam root directory
switch 5.2 # The identifier of the current switch
sys-ocaml-version # OCaml version present on your system independently of opam, if any
<><> Configuration variables from the current switch ><><><><><><><><><><><><><>
prefix /home/opam/.opam/5.2
lib /home/opam/.opam/5.2/lib
bin /home/opam/.opam/5.2/bin
sbin /home/opam/.opam/5.2/sbin
share /home/opam/.opam/5.2/share
doc /home/opam/.opam/5.2/doc
etc /home/opam/.opam/5.2/etc
man /home/opam/.opam/5.2/man
toplevel /home/opam/.opam/5.2/lib/toplevel
stublibs /home/opam/.opam/5.2/lib/stublibs
user opam
group opam
<><> Package variables ('opam var --package PKG' to show) <><><><><><><><><><><>
PKG:name # Name of the package
PKG:version # Version of the package
PKG:depends # Resolved direct dependencies of the package
PKG:installed # Whether the package is installed
PKG:enable # Takes the value "enable" or "disable" depending on whether the package is installed
PKG:pinned # Whether the package is pinned
PKG:bin # Binary directory for this package
PKG:sbin # System binary directory for this package
PKG:lib # Library directory for this package
PKG:man # Man directory for this package
PKG:doc # Doc directory for this package
PKG:share # Share directory for this package
PKG:etc # Etc directory for this package
PKG:build # Directory where the package was built
PKG:hash # Hash of the package archive
PKG:dev # True if this is a development package
PKG:build-id # A hash identifying the precise package version with all its dependencies
PKG:opamfile # Path of the curent opam file
# Packages matching: installed
# Name # Installed # Repository # Synopsis
base-bigarray base default
base-domains base default
base-nnp base default Naked pointers prohibited in the OCaml heap
base-threads base default
base-unix base default
dune 3.16.0 default Fast, portable, and opinionated build system
host-arch-s390x 1 default OCaml on 64-bit IBM z/Architecture
host-system-other 1 default OCaml on an unidentified system
multicoretests dev pinned to version dev at file:///src
ocaml 5.2.0 default The OCaml compiler (virtual package)
ocaml-base-compiler 5.2.0 default pinned to version 5.2.0
ocaml-config 3 default OCaml Switch Configuration
ocaml-options-vanilla 1 default Ensure that OCaml is compiled with no special options enabled
opam-depext 1.2.3 default Install OS distribution packages
qcheck-core 0.22 default Core qcheck library
qcheck-lin dev pinned to version dev at file:///src
qcheck-multicoretests-util dev pinned to version dev at file:///src
qcheck-stm dev pinned to version dev at file:///src
2024-09-11 15:54.22 ---> saved as "e6b69c3ec5c0986e43a80f562b59e555872dccddb6aeca73ffe4d3304b1b3ef9"
/src: (copy (src .) (dst /src))
2024-09-11 15:54.23 ---> saved as "d39f7f8da90139d766f049274e3f570e6a7bb33e9df8f79ae07945a17a6e6052"
/src: (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice"))
STM ensure cleanup: sequential test OK
STM ensure cleanup: parallel test OK
random seed: 301717275
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency
[ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency (generating)
[✓] 1000 0 0 1000 / 1000 0.0s STM test exception during next_state consistency
================================================================================
success (ran 1 tests)
STM test exception during next_state sequential failed with Random_next_state_failure as expected
STM test exception during next_state parallel failed with Random_next_state_failure as expected
random seed: 152828984
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 43.4s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[ ] 377 0 0 377 / 500 16.7s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 22.8s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 374349270
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 12.3s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 189532238
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.7s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 2 0 1 1 / 1000 31.5s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (45 shrink steps):
|
Fill (9, 7, ' ')
Fast_sort
|
.---------------------.
| |
Get 13 Sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
Fill (9, 7, ' ') : Ok (())
Fast_sort : ()
|
.------------------------------------.
| |
Get 13 : Ok (' ') Sort : ()
================================================================================
success (ran 2 tests)
random seed: 426843989
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 7.5s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 247229684
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
[✓] 6 0 1 5 / 200 13.6s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (26 shrink steps):
|
Replace ('.', 9)
|
.---------------------.
| |
Clear Remove '.'
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Replace ('.', 9) : ()
|
.------------------------------------.
| |
Clear : () Remove '.' : ()
Length : -1
================================================================================
success (ran 2 tests)
random seed: 206527218
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 4.1s 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 4.1s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[ ] 18 0 0 18 / 200 54.7s STM Lazy test parallel (shrinking: 3.0002)
[ ] 18 0 0 18 / 200 115.3s STM Lazy test parallel (shrinking: 6.0003)
[✓] 19 0 1 18 / 200 127.6s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 4.4s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 18 0 0 18 / 200 45.3s STM Lazy test parallel from_fun (shrinking: 2.0003)
[ ] 18 0 0 18 / 200 109.8s STM Lazy test parallel from_fun (shrinking: 5.0004)
[✓] 19 0 1 18 / 200 133.3s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (6 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 3; _ -> 6}) Map_val ({700 -> 57; _ -> 1})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------.
| |
Map_val ({700 -> 3; _ -> 6}) : Error (CamlinternalLazy.Undefined) Map_val ({700 -> 57; _ -> 1}) : Ok (57)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (6 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 3; _ -> 6}) Map_val ({700 -> 57; _ -> 1})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------.
| |
Map_val ({700 -> 3; _ -> 6}) : Error (CamlinternalLazy.Undefined) Map_val ({700 -> 57; _ -> 1}) : Ok (57)
================================================================================
success (ran 6 tests)
random seed: 342679221
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.7s STM Domain.DLS test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test parallel
[✓] 3 0 1 2 / 1000 0.6s STM Domain.DLS test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS stress test parallel
[✓] 1000 0 0 1000 / 1000 23.7s STM Domain.DLS stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Domain.DLS test parallel failed as expected (14 shrink steps):
|
|
.---------------------.
| |
Set (3, 6) Set (2, 38)
Get 2 Get 3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Domain.DLS test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Set (3, 6) : () Set (2, 38) : ()
Get 2 : 2 Get 3 : 3
================================================================================
success (ran 3 tests)
random seed: 487830031
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.5s STM Out_channel test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test parallel
[✓] 1140 0 0 1000 / 1000 34.4s STM Out_channel test parallel
================================================================================
success (ran 2 tests)
random seed: 141512309
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 2.9s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 3.6s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 1 0 1 0 / 1000 2.2s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 1 0 1 0 / 1000 2.2s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Add_node (6) Add_node (91)
Member (91)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (6) : true Add_node (91) : true
Member (91) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Add_node (6) Add_node (91)
Member (91)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (6) : true Add_node (91) : true
Member (91) : false
================================================================================
success (ran 4 tests)
random seed: 425835840
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: 194835341
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)
[✓] 4 0 1 3 / 1000 5.0s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 1 0 1 0 / 1000 4.3s STM int64 ref test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Incr Get
Get Add 4
Set 6 Decr
Set 8
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Incr : () Get : 0
Get : 3 Add 4 : ()
Set 6 : () Decr : ()
Set 8 : ()
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (33 shrink steps):
|
|
.---------------------.
| |
Add 4L Set 802L
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 4L : () Set 802L : ()
Get : 4
================================================================================
success (ran 2 tests)
random seed: 321572227
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 5000 0.0s STM int ref test parallel asymmetric (generating)
[✓] 3 0 1 2 / 5000 4.0s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test parallel asymmetric
[✓] 1 0 1 0 / 5000 1.2s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (25 shrink steps):
|
|
.---------------------.
| |
Decr Add 204
Get
Get
Incr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Decr : () Add 204 : ()
Get : -1
Get : -1
Incr : ()
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (35 shrink steps):
|
|
.---------------------.
| |
Add 3L Add 689L
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Add 3L : () Add 689L : ()
Get : 689
================================================================================
success (ran 2 tests)
random seed: 264069485
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 4.5s STM int ref test with Thread
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test with Thread
[✓] 39 0 1 38 / 5000 14.7s STM int64 ref test with Thread
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test with Thread failed as expected (5 shrink steps):
|
Incr
Decr
Get
Get
Decr
Set 8L
|
.---------------------.
| |
Incr Incr
Get Get
Add 193L Get
Set 935L Decr
Get
Add 7433L
Add 4593L
Set 5L
Set 1145L
Incr
Set 3L
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test with Thread:
Results incompatible with linearized model
|
Incr : ()
Decr : ()
Get : 0
Get : 0
Decr : ()
Set 8L : ()
|
.------------------------------------.
| |
Incr : () Incr : ()
Get : 9 Get : 9
Add 193L : () Get : 202
Set 935L : () Decr : ()
Get : 934
Add 7433L : ()
Add 4593L : ()
Set 5L : ()
Set 1145L : ()
Incr : ()
Set 3L : ()
Get : 3
================================================================================
success (ran 2 tests)
random seed: 312940598
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Array test with Domain (generating)
[✓] 1 0 1 0 / 1000 3.2s Lin Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Array stress test with Domain
[✓] 1000 0 0 1000 / 1000 10.2s Lin Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Array test with Domain failed as expected (30 shrink steps):
|
|
.---------------------.
| |
Array.fill t 0 2 'S' Array.to_seq t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Array test with Domain:
Results incompatible with sequential execution
|
|
.--------------------------------------------------------------------------------------------------.
| |
Array.fill t 0 2 'S' : Ok (()) Array.to_seq t : <'a'; 'S'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'>
================================================================================
success (ran 2 tests)
random seed: 279527972
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Atomic test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Atomic test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 20.4s Lin Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 52751396
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl test with Domain (generating)
[✓] 19 0 1 18 / 1000 11.6s Lin Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl stress test with Domain
[✓] 1000 0 0 1000 / 1000 11.1s Lin Hashtbl stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Hashtbl test with Domain failed as expected (28 shrink steps):
|
|
.------------------------.
| |
Hashtbl.replace t 'S' 8 Hashtbl.add t ']' 2
Hashtbl.length t Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Hashtbl test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Hashtbl.replace t 'S' 8 : () Hashtbl.add t ']' 2 : ()
Hashtbl.length t : 1 Hashtbl.length t : 1
================================================================================
success (ran 2 tests)
random seed: 62099908
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin In_channel test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin In_channel test with Domain (generating)
[✓] 19 0 1 18 / 1000 4.5s Lin In_channel test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin In_channel stress test with Domain
[✓] 1000 0 0 1000 / 1000 15.9s Lin In_channel stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin In_channel test with Domain failed as expected (10 shrink steps):
|
|
.-------------------------------------.
| |
In_channel.input_line t In_channel.input_char t
In_channel.really_input t "\000" 2 1 In_channel.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin In_channel test with Domain:
Results incompatible with sequential execution
|
|
.--------------------------------------------------------------------------------.
| |
In_channel.input_line t : Ok (Some ("env\n")) In_channel.input_char t : Ok (Some ('('))
In_channel.really_input t "\000" 2 1 : Error (Invalid_argument("really_input")) In_channel.length t : Ok (2007)
================================================================================
success (ran 2 tests)
random seed: 215293319
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain (generating)
[✓] 5 0 1 4 / 1000 7.3s Lin Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Queue stress test with Domain
[✓] 1000 0 0 1000 / 1000 9.5s Lin Queue stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread
[✓] 250 0 0 250 / 250 2.1s Lin Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Queue test with Domain failed as expected (27 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.take_opt t Queue.add 0 t
Queue.is_empty t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Queue test with Domain:
Results incompatible with sequential execution
|
Queue.add 0 t : ()
|
.------------------------------------.
| |
Queue.take_opt t : Some (0) Queue.add 0 t : ()
Queue.is_empty t : true
================================================================================
success (ran 3 tests)
random seed: 102208072
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Stack test with Domain (generating)
[✓] 2 0 1 1 / 1000 1.9s Lin Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Stack stress test with Domain
[✓] 1000 0 0 1000 / 1000 9.2s Lin Stack stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread
[✓] 250 0 0 250 / 250 2.0s Lin Stack test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Stack test with Domain failed as expected (20 shrink steps):
|
Stack.push 3 t
|
.---------------------.
| |
Stack.pop_opt t Stack.pop_opt t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Stack test with Domain:
Results incompatible with sequential execution
|
Stack.push 3 t : ()
|
.------------------------------------.
| |
Stack.pop_opt t : Some (3) Stack.pop_opt t : Some (3)
================================================================================
success (ran 3 tests)
random seed: 502372932
generated error fail pass / total time test name
[ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain (generating)
[✓] 3 0 1 2 / 10000 2.2s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain
[✓] 3 0 1 2 / 10000 1.7s Lin ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain
[✓] 3 0 1 2 / 10000 4.2s Lin CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain
[✓] 3 0 1 2 / 10000 2.2s Lin CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin ref int test with Domain failed as expected (18 shrink steps):
|
|
.---------------------.
| |
Sut_int.decr t Sut_int.add t 9
Sut_int.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int.decr t : () Sut_int.add t 9 : ()
Sut_int.get t : 9
--- Info -----------------------------------------------------------------------
Negative test Lin ref int64 test with Domain failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Sut_int64.decr t Sut_int64.add t 68
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.decr t : () Sut_int64.add t 68 : ()
Sut_int64.get t : 68
--- Info -----------------------------------------------------------------------
Negative test Lin CList int test with Domain failed as expected (28 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 3 CList.add_node t 2
CList.member t 2
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 3 : true CList.add_node t 2 : true
CList.member t 2 : false
--- Info -----------------------------------------------------------------------
Negative test Lin CList int64 test with Domain failed as expected (29 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 45 CList.add_node t 2
CList.member t 2
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 45 : true CList.add_node t 2 : true
CList.member t 2 : false
================================================================================
success (ran 4 tests)
random seed: 162572758
generated error fail pass / total time test name
[ ] 0 0 0 0 / 20000 0.0s Lin ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin ref int test with Effect (generating)
[✓] 20000 0 0 20000 / 20000 0.2s Lin ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin ref int64 test with Effect
[✓] 20000 0 0 20000 / 20000 0.2s Lin ref int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin CList int test with Effect
[✓] 20000 0 0 20000 / 20000 0.2s Lin CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin CList int64 test with Effect
[✓] 20000 0 0 20000 / 20000 0.2s Lin CList int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin ref int test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin ref int64 test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin ref int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin CList int test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin CList int64 test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin CList int64 test with Effect
--- Info -----------------------------------------------------------------------
Negative test negative Lin ref int test with Effect failed as expected (93 shrink steps):
|
|
.---------------------.
| |
Sut_int'.add t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin ref int test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Sut_int'.add t 0 : Ok (())
--- Info -----------------------------------------------------------------------
Negative test negative Lin ref int64 test with Effect failed as expected (93 shrink steps):
|
|
.---------------------.
| |
Sut_int64'.add t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin ref int64 test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Sut_int64'.add t 0 : Ok (())
--- Info -----------------------------------------------------------------------
Negative test negative Lin CList int test with Effect failed as expected (95 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin CList int test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
CList.add_node t 0 : Ok (true)
--- Info -----------------------------------------------------------------------
Negative test negative Lin CList int64 test with Effect failed as expected (97 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin CList int64 test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
CList.add_node t 0 : Ok (true)
================================================================================
success (ran 8 tests)
random seed: 97878210
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s Thread.create/join
[ ] 0 0 0 0 / 100 0.0s Thread.create/join (generating)
[✓] 100 0 0 100 / 100 52.0s Thread.create/join
================================================================================
success (ran 1 tests)
random seed: 108612871
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)
[ ] 150 0 0 150 / 500 60.9s Mash up of threads and domains
[ ] 302 0 0 302 / 500 121.2s Mash up of threads and domains
[ ] 448 0 0 448 / 500 181.4s Mash up of threads and domains
[✓] 500 0 0 500 / 500 205.2s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 291492457
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential
[ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.2s STM BigArray test sequential
[ ] 0 0 0 0 / 5000 0.0s STM BigArray test parallel
[✓] 92 0 1 91 / 5000 14.8s STM BigArray test parallel
--- Info -----------------------------------------------------------------------
Negative test STM BigArray test parallel failed as expected (22 shrink steps):
|
Get 5
|
.---------------------.
| |
Fill 6 Fill 8
Get 14 Get 10
Get 7 Get 5
Size_in_bytes Size_in_bytes
Get 10
Set (47, 5)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM BigArray test parallel:
Results incompatible with linearized model
|
Get 5 : Ok (0)
|
.--------------------------------------------------------------.
| |
Fill 6 : Ok (()) Fill 8 : Ok (())
Get 14 : Ok (8) Get 10 : Ok (8)
Get 7 : Ok (8) Get 5 : Ok (6)
Size_in_bytes : 128 Size_in_bytes : 128
Get 10 : Ok (8)
Set (47, 5) : Error (Invalid_argument("index out of bounds"))
================================================================================
success (ran 2 tests)
random seed: 476870083
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
[✓] 4 0 1 1 / 1000 1.2s STM Buffer test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Buffer stress test parallel
[✓] 1396 0 0 1000 / 1000 33.1s STM Buffer stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (9 shrink steps):
|
|
.---------------------------.
| |
Add_string "\227" Add_string "PY*\199\"\248"
To_bytes
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
|
.-------------------------------------.
| |
Add_string "\227" : Ok (()) Add_string "PY*\199\"\248" : Ok (())
To_bytes : Ok ("\227")
================================================================================
success (ran 3 tests)
random seed: 80605025
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.3s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 2 0 1 1 / 1000 3.3s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (26 shrink steps):
|
|
.---------------------.
| |
To_seq Fill (3, 6, '"')
+++ 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 (3, 6, '"') : Ok (())
================================================================================
success (ran 2 tests)
random seed: 461898573
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.2s STM Ephemeron test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[✓] 42 0 1 41 / 1000 3.8s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (0 shrink steps):
|
Mem 9L
Find 6L
Clear
Find 4L
Find_all 9L
Length
Add (2L, 5L)
Add (2L, 3L)
Find_opt 2L
Find 2L
Mem 15L
|
.---------------------.
| |
Mem 67L Find 63L
Remove 2L Add (2L, 1L)
Find 2L Add (2L, 3L)
Length Find_all 2L
Add (4L, 5L) Mem 0L
Replace (4L, 9L) Remove 2L
Length Add (2L, 6L)
Add (0L, 59L) Find_opt 2L
Find 2L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
Mem 9L : false
Find 6L : Error (Not_found)
Clear : ()
Find 4L : Error (Not_found)
Find_all 9L : []
Length : 0
Add (2L, 5L) : ()
Add (2L, 3L) : ()
Find_opt 2L : Some (3)
Find 2L : Ok (3)
Mem 15L : false
|
.------------------------------------.
| |
Mem 67L : false Find 63L : Error (Not_found)
Remove 2L : () Add (2L, 1L) : ()
Find 2L : Ok (3) Add (2L, 3L) : ()
Length : 3 Find_all 2L : [3; 1; 3; 5]
Add (4L, 5L) : () Mem 0L : false
Replace (4L, 9L) : () Remove 2L : ()
Length : 4 Add (2L, 6L) : ()
Add (0L, 59L) : () Find_opt 2L : Some (6)
Find 2L : Ok (3)
================================================================================
success (ran 1 tests)
random seed: 202986657
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.3s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 2 0 1 1 / 1000 14.2s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (41 shrink steps):
|
Fill (9, 3, 0.0609512050325)
|
.-----------------------------.
| |
Sort To_list
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
Fill (9, 3, 0.0609512050325) : Ok (())
|
.-----------------------------------------------------------------------------------------------------.
| |
Sort : () To_list : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 0.0609512050325; 0.0609512050325; 1.; 1.; 1.; 1.; 1.]
================================================================================
success (ran 2 tests)
random seed: 338482314
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 (w/ get_value)
[✓] 459 0 0 200 / 200 3.3s STM Semaphore.Counting test parallel (w/ get_value)
[ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel (w/o get_value)
[✓] 600 0 0 191 / 200 2.5s STM Semaphore.Counting test parallel (w/o get_value)
================================================================================
success (ran 3 tests)
random seed: 256616073
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 1.9s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[✓] 200 0 0 200 / 200 13.2s STM Sys test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Sys stress test parallel
[ ] 725 0 0 725 / 1000 44.9s STM Sys stress test parallel
[✓] 1000 0 0 1000 / 1000 63.8s STM Sys stress test parallel
================================================================================
success (ran 3 tests)
random seed: 424022510
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)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s STM Weak test parallel
[ ] 1556 0 0 1556 / 5000 59.9s STM Weak test parallel
[✓] 1756 0 1 1755 / 5000 100.1s STM Weak test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak test parallel failed as expected (41 shrink steps):
|
|
.---------------------.
| |
Fill (0, 2, Some 0L) Fill (0, 2, Some 7L)
Get 0
Get_copy 1
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill (0, 2, Some 0L) : Ok (()) Fill (0, 2, Some 7L) : Ok (())
Get 0 : Ok (Some (0))
Get_copy 1 : Ok (Some (7))
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Weak stress test parallel
[ ] 597 0 0 597 / 1000 20.2s STM Weak stress test parallel
[✓] 1000 0 0 1000 / 1000 35.0s STM Weak stress test parallel
================================================================================
success (ran 1 tests)
random seed: 189199634
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s negative Lin Dynlink test with Domain
[ ] 0 0 0 0 / 100 0.0s negative Lin Dynlink test with Domain (generating)
[✓] 1 0 1 0 / 100 3.1s negative Lin Dynlink test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Dynlink stress test with Domain
[ ] 841 0 0 841 / 1000 57.2s Lin Dynlink stress test with Domain
[✓] 1000 0 0 1000 / 1000 67.8s Lin Dynlink stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test negative Lin Dynlink test with Domain failed as expected (0 shrink steps):
|
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.main_program_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 ()
Dynlink.loadfile libC.cmxs
Dynlink.main_program_units ()
Dynlink.loadfile libB.cmxs
Dynlink.main_program_units ()
Dynlink.all_units ()
Dynlink.main_program_units ()
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.loadfile libC.cmxs
|
.------------------------------.
| |
Dynlink.all_units () Dynlink.loadfile libA.cmxs
Dynlink.main_program_units ()
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin Dynlink test with Domain:
Results incompatible with sequential execution
|
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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 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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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 Failure("/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory")))
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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 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"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "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 2 tests)
random seed: 47934544
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 1.1s thread_createtree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 70255809
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Bigarray.Array1 stress test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bigarray.Array1 stress test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 9.1s Lin Bigarray.Array1 stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 476765493
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 19.5s Lin Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 7.2s Lin Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 83475269
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Ephemeron stress test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Ephemeron stress test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 13.2s Lin Ephemeron stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 527682198
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain (generating)
[✓] 2 0 1 1 / 1000 2.1s Lin Float.Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Float.Array stress test with Domain
[✓] 1000 0 0 1000 / 1000 10.3s Lin Float.Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Float.Array test with Domain failed as expected (21 shrink steps):
|
|
.-------------------------------------.
| |
Float.Array.fill t 0 2 2.46473083245 Float.Array.to_array t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Float.Array test with Domain:
Results incompatible with sequential execution
|
|
.-------------------------------------------------------------------------------------------------------.
| |
Float.Array.fill t 0 2 2.46473083245 : Ok (()) Float.Array.to_array t : [|0.; 2.46473083245; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.|]
================================================================================
success (ran 2 tests)
random seed: 324098971
generated error fail pass / total time test name
[ ] 0 0 0 0 / 500 0.0s STM Semaphore.Binary test sequential
[ ] 0 0 0 0 / 500 0.0s STM Semaphore.Binary test sequential (generating)
[✓] 500 0 0 500 / 500 0.0s STM Semaphore.Binary test sequential
[ ] 0 0 0 0 / 500 0.0s STM Semaphore.Binary test parallel
[✓] 1500 0 0 333 / 500 3.8s STM Semaphore.Binary test parallel
================================================================================
success (ran 2 tests)
random seed: 430821193
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.3s STM Weak HashSet test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s STM Weak HashSet test parallel
[✓] 391 0 1 390 / 5000 18.7s STM Weak HashSet test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak HashSet test parallel failed as expected (19 shrink steps):
|
Merge 0L
Add 1L
Add 0L
|
.---------------------.
| |
Add 0L Remove 1L
Count
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak HashSet test parallel:
Results incompatible with linearized model
|
Merge 0L : Ok (0)
Add 1L : Ok (())
Add 0L : Ok (())
|
.------------------------------------.
| |
Add 0L : Ok (()) Remove 1L : Ok (())
Count : 4
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet stress test parallel
[✓] 1000 0 0 1000 / 1000 26.6s STM Weak HashSet stress test parallel
================================================================================
success (ran 1 tests)
random seed: 221804092
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Weak stress test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Weak stress test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 9.3s Lin Weak stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 153515848
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Weak HashSet stress test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Weak HashSet stress test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 13.2s Lin Weak HashSet stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 134162534
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal ref int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal ref int test with Thread (generating)
[✓] 1000 0 0 1000 / 1000 8.6s Lin.Internal ref int test with Thread
[ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread
[✓] 346 0 1 345 / 15000 3.7s Lin.Internal ref int64 test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin.Internal ref int64 test with Thread failed as expected (0 shrink steps):
|
Decr
Incr
|
.---------------------.
| |
Add 3L Get
Get Add 7L
Get Get
Get Set 72L
Set 5070L Incr
Set 3L Incr
Decr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin.Internal ref int64 test with Thread:
Results incompatible with sequential execution
|
Decr : RDecr
Incr : RIncr
|
.------------------------------------.
| |
Add 3L : RAdd Get : RGet 0L
Get : RGet 3L Add 7L : RAdd
Get : RGet 72L Get : RGet 3L
Get : RGet 73L Set 72L : RSet
Set 5070L : RSet Incr : RIncr
Set 3L : RSet Incr : RIncr
Decr : RDecr
================================================================================
success (ran 2 tests)
random seed: 363587974
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int test with Thread (generating)
[✓] 1000 0 0 1000 / 1000 15.8s Lin.Internal CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread
[✓] 1000 0 0 1000 / 1000 12.3s Lin.Internal CList int64 test with Thread
================================================================================
success (ran 2 tests)
2024-09-11 16:18.26 ---> saved as "c652df1cb18b96edc1a631b6879fc2704c84e1b7c94a78d25c105713cb39fcf9"
Job succeeded
2024-09-11 16:18.26: Job succeeded