Build:
- 0
2024-09-10 08:19.40: New job: test linux-arm64/arm64/5.2/7df52e0a25d84480c559e79269a25c0bed310107
2024-09-10 08:19.40: Using cache hint "linux-arm64/arm64/5.2/7df52e0a25d84480c559e79269a25c0bed310107"
2024-09-10 08:19.40: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7)
(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 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && 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-10 08:19.40: Waiting for resource in pool OCluster
2024-09-10 08:19.40: Waiting for worker…
2024-09-10 08:19.40: Got resource from pool OCluster
Building on ocaml-2.osuosl.ci.dev
HEAD is now at e9c9a6a Avoid triggering Gc.counters memory unsafety on 5.2 and earlier
HEAD is now at 7df52e0 Document 'musl' option in common.ml
(from ocaml/opam:debian-11-ocaml-5.2@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7' locally
docker.io/ocaml/opam@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7: Pulling from ocaml/opam
15db329af0bd: Pulling fs layer
a191a631d184: Pulling fs layer
4690b19f74e8: Pulling fs layer
f43abfdff31e: Pulling fs layer
c04a5d82f9d3: Pulling fs layer
83a9a6001282: Pulling fs layer
f43abfdff31e: Waiting
2e69a7f9696e: Pulling fs layer
c04a5d82f9d3: Waiting
a8d894705357: Pulling fs layer
83a9a6001282: Waiting
2e69a7f9696e: Waiting
a8d894705357: Waiting
4690b19f74e8: Verifying Checksum
4690b19f74e8: Download complete
a191a631d184: Verifying Checksum
f43abfdff31e: Verifying Checksum
f43abfdff31e: Download complete
83a9a6001282: Download complete
2e69a7f9696e: Download complete
a8d894705357: Download complete
c04a5d82f9d3: Verifying Checksum
c04a5d82f9d3: Download complete
15db329af0bd: Verifying Checksum
15db329af0bd: Download complete
15db329af0bd: Pull complete
a191a631d184: Pull complete
4690b19f74e8: Pull complete
f43abfdff31e: Pull complete
c04a5d82f9d3: Pull complete
83a9a6001282: Pull complete
2e69a7f9696e: Pull complete
a8d894705357: Pull complete
Digest: sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7
Status: Downloaded newer image for ocaml/opam@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7
2024-09-10 08:19.44 ---> using "40ebba191f91c6eb89d5119f1eb377b21e7e8b17f45d44ba0115e9783f464cb0" 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"))
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.
Continue? [Y/n] y
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.
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-09-10 08:19.45 ---> using "e543f2e4b77d8f35c24d7c6f8692ae19bd2ae83b75700cdf6c53284bd877b220" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-10 08:19.45 ---> using "c4e67e5094b7e9625a59a597876c5af24d83c08ec959ce46cf12f14c7627b633" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
8187cd8d36..7f8a1201e6 master -> origin/master
7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2
<><> 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-10 08:25.41 ---> saved as "05395d816a29310b72a221693e955ccb1bb2c9346cfcd1217730263df305afb8"
/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-10 08:25.49 ---> saved as "35e9be87a2ed57ab53a51d0d8b8282f807603a17fa12b647d7aa1a1d90d92f3f"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2024-09-10 08:25.50 ---> saved as "6d7be8c0b06b6afa344138451540f91146642a42dec2edc9ead826dccc5816cd"
/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-10 08:26.03 ---> saved as "14f5f74ca44fed59a0ac550d256442364a7adce32be30a5809df49337be43fd7"
/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]
- Get:4 http://deb.debian.org/debian-security bullseye-security/main arm64 Packages [283 kB]
- Fetched 354 kB in 3s (132 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-10 08:26.37 ---> saved as "35378570e97ded2af5d573fd60d0c390e11f6234df3d0bcd1276a36781ba0cf3"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
[multicoretests.dev] synchronised (no changes)
[qcheck-lin.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 multicoretests.dev (file:///src)
-> retrieved qcheck-core.0.22 (cached)
-> 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-stm.dev
-> installed qcheck-lin.dev
-> installed multicoretests.dev
Done.
# Run eval $(opam env) to update the current shell environment
2024-09-10 08:28.35 ---> saved as "3a183b7f024d69a4f0649f53dc64dada41f33997f3c0092f28699297aab63d0a"
/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: arm64
model: default
int_size: 63
word_size: 64
system: linux
asm: as
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: aarch64-unknown-linux-gnu
target: aarch64-unknown-linux-gnu
flambda: false
safe_string: true
default_safe_string: true
flat_float_array: true
function_sections: true
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 arm64 # Inferred from system
exe # Suffix needed for executable filenames (Windows)
jobs 79 # 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-arm64 1 default OCaml on AArch64 (64-bit)
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-10 08:28.45 ---> saved as "67a46ad78004faa4d8901eec875f9c4f91d13ec900a9fc8700e86ed7dab0809d"
/src: (copy (src .) (dst /src))
2024-09-10 08:28.47 ---> saved as "3b688f98eb8141a90030cd0521922a325ca6a225bf16bad601a879514f3bcd91"
/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
Skipping src/io/lin_internal_tests.exe from the test suite
Skipping src/array/lin_internal_tests.exe from the test suite
Skipping src/atomic/lin_internal_tests.exe from the test suite
Skipping src/domain/lin_tests_dls.exe from the test suite
Skipping src/hashtbl/lin_internal_tests.exe from the test suite
Skipping src/lazy/lin_internal_tests.exe from the test suite
Skipping src/neg_tests/lin_tests_thread.exe from the test suite
Skipping src/queue/lin_internal_tests.exe from the test suite
Skipping src/stack/lin_internal_tests.exe from the test suite
Skipping src/io/lin_tests_thread.exe from the test suite
Skipping src/lazy/lin_tests.exe from the test suite
Skipping src/neg_tests/lin_internal_tests_domain.exe from the test suite
Skipping src/neg_tests/lin_internal_tests_effect.exe from the test suite
random seed: 234250304
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 6.9s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 21.3s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 313731532
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 3.0s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 196646885
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 5.8s Lin Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Array stress test with Domain
[✓] 1000 0 0 1000 / 1000 17.5s Lin Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Array test with Domain failed as expected (19 shrink steps):
|
Array.set t 0 'b'
|
.---------------------.
| |
Array.sort t Array.copy t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Array test with Domain:
Results incompatible with sequential execution
|
Array.set t 0 'b' : Ok (())
|
.--------------------------------------------------------------------------------------------------.
| |
Array.sort t : () Array.copy t : [|'b'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'b'|]
================================================================================
success (ran 2 tests)
random seed: 179260411
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 32.1s Lin Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 278621567
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)
[✓] 4 0 1 3 / 1000 30.0s Lin Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl stress test with Domain
[✓] 1000 0 0 1000 / 1000 15.0s Lin Hashtbl stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Hashtbl test with Domain failed as expected (53 shrink steps):
|
Hashtbl.replace t 'a' 0
|
.------------------------.
| |
Hashtbl.add t 'a' 0 Hashtbl.clear t
Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin 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 2 tests)
random seed: 341371201
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)
[✓] 4 0 1 3 / 1000 5.8s 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 24.0s Lin In_channel stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin In_channel test with Domain failed as expected (17 shrink steps):
|
In_channel.set_binary_mode t false
|
.------------------------------------------.
| |
In_channel.input_byte t In_channel.really_input t "\000\000" 26 5
In_channel.length t In_channel.really_input_string t 6
In_channel.input_byte t
In_channel.input_byte t
In_channel.input_line t
In_channel.input_byte t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin In_channel test with Domain:
Results incompatible with sequential execution
|
In_channel.set_binary_mode t false : Ok (())
|
.-------------------------------------------------------------------------------------.
| |
In_channel.input_byte t : Ok (Some (101)) In_channel.really_input t "\000\000" 26 5 : Error (Invalid_argument("really_input"))
In_channel.length t : Ok (1899) In_channel.really_input_string t 6 : Ok (Some ("(env\n "))
In_channel.input_byte t : Ok (Some (40))
In_channel.input_byte t : Ok (Some (100))
In_channel.input_line t : Ok (Some ("bug-runtime\n"))
In_channel.input_byte t : Ok (Some (32))
================================================================================
success (ran 2 tests)
random seed: 116826315
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)
[✓] 5 0 1 4 / 10000 4.1s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain
[✓] 5 0 1 4 / 10000 2.0s Lin ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain
[✓] 2 0 1 1 / 10000 2.7s Lin CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain
[✓] 2 0 1 1 / 10000 2.6s Lin CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin ref int test with Domain failed as expected (26 shrink steps):
|
|
.---------------------.
| |
Sut_int.decr t Sut_int.add t 1
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 1 : ()
Sut_int.get t : -1
--- Info -----------------------------------------------------------------------
Negative test Lin ref int64 test with Domain failed as expected (23 shrink steps):
|
|
.---------------------.
| |
Sut_int64.decr t Sut_int64.add t 6
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 6 : ()
Sut_int64.get t : -1
--- Info -----------------------------------------------------------------------
Negative test Lin CList int test with Domain failed as expected (12 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0 CList.add_node t 6
CList.member t 6
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 0 : true CList.add_node t 6 : true
CList.member t 6 : false
--- Info -----------------------------------------------------------------------
Negative test Lin CList int64 test with Domain failed as expected (12 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0 CList.add_node t 6
CList.member t 6
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 0 : true CList.add_node t 6 : true
CList.member t 6 : false
================================================================================
success (ran 4 tests)
random seed: 296000853
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 1.2s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 1 0 1 0 / 1000 4.8s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (16 shrink steps):
|
Fill (1, 8, 'Z')
|
.---------------------.
| |
Copy Stable_sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
Fill (1, 8, 'Z') : Ok (())
|
.------------------------------------------------------------------------------------------.
| |
Copy : [|'a'; 'Z'; 'Z'; 'Z'; 'Z'; 'Z'; 'Z'; 'Z'; 'Z'; 'a'; 'a'; 'a'; 'Z'; 'a'; 'a'; 'a'|] Stable_sort : ()
================================================================================
success (ran 2 tests)
random seed: 267082358
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 6.7s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 75309750
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
[✓] 2 0 1 1 / 200 8.5s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (15 shrink steps):
|
Replace ('U', 2)
|
.---------------------.
| |
Replace ('J', 76) Clear
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Replace ('U', 2) : ()
|
.------------------------------------.
| |
Replace ('J', 76) : () Clear : ()
Length : 2
================================================================================
success (ran 2 tests)
random seed: 477072316
generated error fail pass / total time test name
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential (generating)
[✓] 200 0 0 200 / 200 2.5s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.2s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 2.5s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[✓] 19 0 1 18 / 200 32.5s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 5.3s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 18 0 0 18 / 200 19.2s STM Lazy test parallel from_fun (shrinking: 0.0005)
[✓] 19 0 1 18 / 200 32.5s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (1 shrink steps):
|
|
.-------------------------.
| |
Map ({700 -> 5; _ -> 7}) Force
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.--------------------------------------------------------------.
| |
Map ({700 -> 5; _ -> 7}) : Error (CamlinternalLazy.Undefined) Force : Ok (700)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (1 shrink steps):
|
|
.-------------------------.
| |
Map ({700 -> 5; _ -> 7}) Force
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.-------------------------------------------.
| |
Map ({700 -> 5; _ -> 7}) : Ok (5) Force : Error (CamlinternalLazy.Undefined)
================================================================================
success (ran 6 tests)
random seed: 35439791
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 1.1s STM Domain.DLS test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test parallel
[✓] 8 0 1 7 / 1000 1.1s STM Domain.DLS test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS stress test parallel
[✓] 1000 0 0 1000 / 1000 32.4s STM Domain.DLS stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Domain.DLS test parallel failed as expected (7 shrink steps):
|
|
.---------------------.
| |
Set (1, 2) Set (3, 6)
Get 3 Get 1
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Domain.DLS test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Set (1, 2) : () Set (3, 6) : ()
Get 3 : 3 Get 1 : 1
================================================================================
success (ran 3 tests)
random seed: 190408875
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 1.2s STM Out_channel test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test parallel
[✓] 1148 0 0 1000 / 1000 42.9s STM Out_channel test parallel
================================================================================
success (ran 2 tests)
random seed: 490238899
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 5.9s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 7.6s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 2 0 1 1 / 1000 3.1s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 2 0 1 1 / 1000 3.0s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (21 shrink steps):
|
|
.---------------------.
| |
Add_node (3393) Add_node (8)
Member (8)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (3393) : true Add_node (8) : true
Member (8) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (21 shrink steps):
|
|
.---------------------.
| |
Add_node (3393) Add_node (8)
Member (8)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (3393) : true Add_node (8) : true
Member (8) : false
================================================================================
success (ran 4 tests)
random seed: 526848987
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: 473060030
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)
[✓] 2 0 1 1 / 1000 4.5s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 2 0 1 1 / 1000 4.7s STM int64 ref test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (38 shrink steps):
|
|
.---------------------.
| |
Incr Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Incr : () Decr : ()
Get : -1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (38 shrink steps):
|
Decr
|
.---------------------.
| |
Incr Decr
Get Incr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
Decr : ()
|
.------------------------------------.
| |
Incr : () Decr : ()
Get : -2 Incr : ()
================================================================================
success (ran 2 tests)
random seed: 40848294
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)
[✓] 5 0 1 4 / 5000 4.4s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test parallel asymmetric
[✓] 4 0 1 3 / 5000 4.1s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (12 shrink steps):
|
|
.---------------------.
| |
Incr Incr
Get Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Incr : () Incr : ()
Get : 1 Get : 1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Incr Get
Get Decr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Incr : () Get : 0
Get : -1 Decr : ()
================================================================================
success (ran 2 tests)
random seed: 70580266
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 31.2s Thread.create/join
================================================================================
success (ran 1 tests)
random seed: 287800905
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)
[ ] 224 0 0 224 / 500 60.1s Mash up of threads and domains
[ ] 448 0 0 448 / 500 120.4s Mash up of threads and domains
[✓] 500 0 0 500 / 500 135.5s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 220000046
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 2.5s negative Lin Dynlink test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Dynlink stress test with Domain
[✓] 1000 0 0 1000 / 1000 40.1s Lin Dynlink stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test negative Lin Dynlink test with Domain failed as expected (0 shrink steps):
|
Dynlink.main_program_units ()
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.main_program_units ()
Dynlink.main_program_units ()
Dynlink.main_program_units ()
Dynlink.main_program_units ()
|
.------------------------------.
| |
Dynlink.loadfile libB.cmxs Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.all_units ()
Dynlink.all_units () Dynlink.all_units ()
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin Dynlink test with Domain:
Results incompatible with sequential execution
|
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.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.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.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.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"; "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"; "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: 65106991
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 13.9s Lin Bigarray.Array1 stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 331742272
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 16.7s Lin Ephemeron stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 309115260
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)
[✓] 1 0 1 0 / 1000 3.6s 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 17.5s Lin Float.Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Float.Array test with Domain failed as expected (14 shrink steps):
|
Float.Array.fill t 0 1 -5.88801727152e-06
|
.------------------------------------------.
| |
Float.Array.to_array t Float.Array.sort t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Float.Array test with Domain:
Results incompatible with sequential execution
|
Float.Array.fill t 0 1 -5.88801727152e-06 : Ok (())
|
.----------------------------------------------------------------------------------------------------------------------------.
| |
Float.Array.to_array t : [|-5.88801727152e-06; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; -5.88801727152e-06; 0.; 0.|] Float.Array.sort t : ()
================================================================================
success (ran 2 tests)
random seed: 442515305
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 15.3s Lin Weak stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 513264118
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.7s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[✓] 1 0 1 0 / 1000 5.5s STM Buffer test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Buffer stress test parallel
[ ] 1187 0 0 876 / 1000 53.9s STM Buffer stress test parallel
[✓] 1355 0 0 1000 / 1000 63.5s STM Buffer stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (28 shrink steps):
|
Add_bytes "e\030f\001z\140"
|
.----------------------------.
| |
Add_char 'J' Clear
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
Add_bytes "e\030f\001z\140" : Ok (())
|
.--------------------------------------.
| |
Add_char 'J' : Ok (()) Clear : Ok (())
Length : 7
================================================================================
success (ran 3 tests)
random seed: 520816326
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.4s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 1 0 1 0 / 1000 7.9s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (23 shrink steps):
|
Fill (1, 10, '\'')
|
.---------------------.
| |
Fill (0, 3, 'a') To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
Fill (1, 10, '\'') : Ok (())
|
.---------------------------------------------------------------------------------------------------.
| |
Fill (0, 3, 'a') : Ok (()) To_seq : ['a'; '\''; 'a'; '\''; '\''; '\''; '\''; '\''; '\''; '\''; '\''; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 465747234
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)
[✓] 433 0 0 200 / 200 4.5s 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 169 / 200 4.2s STM Semaphore.Counting test parallel (w/o get_value)
================================================================================
success (ran 3 tests)
random seed: 390256307
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 4.3s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[✓] 200 0 0 200 / 200 25.1s STM Sys test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Sys stress test parallel
[ ] 280 0 0 280 / 1000 30.6s STM Sys stress test parallel
[ ] 832 0 0 832 / 1000 90.7s STM Sys stress test parallel
[✓] 1000 0 0 1000 / 1000 109.1s STM Sys stress test parallel
================================================================================
success (ran 3 tests)
random seed: 234800255
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)
[✓] 8 0 1 7 / 1000 5.3s Lin Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Queue stress test with Domain
[✓] 1000 0 0 1000 / 1000 14.3s Lin Queue stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread
[✓] 250 0 0 250 / 250 8.6s Lin Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Queue test with Domain failed as expected (39 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.take t Queue.take_opt t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin 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 3 tests)
random seed: 442720592
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 5.1s Lin Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Stack stress test with Domain
[✓] 1000 0 0 1000 / 1000 13.3s Lin Stack stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread
[✓] 250 0 0 250 / 250 7.7s Lin Stack test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Stack test with Domain failed as expected (32 shrink steps):
|
Stack.push 0 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 0 t : ()
|
.------------------------------------.
| |
Stack.pop_opt t : Some (0) Stack.pop_opt t : Some (0)
================================================================================
success (ran 3 tests)
random seed: 515940717
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 29.4s Lin Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 28.9s Lin Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 23299642
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 9.7s STM int ref test with Thread
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test with Thread
[✓] 6 0 1 5 / 5000 13.2s STM int64 ref test with Thread
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test with Thread failed as expected (15 shrink steps):
|
|
.---------------------.
| |
Add 76L Incr
Incr
Get
Incr
Decr
Decr
Set 4L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test with Thread:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 76L : () Incr : ()
Incr : ()
Get : 77
Incr : ()
Decr : ()
Decr : ()
Set 4L : ()
================================================================================
success (ran 2 tests)
random seed: 352359486
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.3s 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.3s 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.9s Lin CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin CList int64 test with Effect
[✓] 20000 0 0 20000 / 20000 1.1s 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 (88 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 (83 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 (88 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 (80 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: 432950857
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 4.2s thread_createtree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 205898598
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.3s STM BigArray test sequential
[ ] 0 0 0 0 / 5000 0.0s STM BigArray test parallel
[✓] 51 0 1 50 / 5000 17.2s STM BigArray test parallel
--- Info -----------------------------------------------------------------------
Negative test STM BigArray test parallel failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Fill 13 Size_in_bytes
Size_in_bytes
Fill 5
Get 5
Fill 1
Get 0
Size_in_bytes
Set (0, 8)
Get 12
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM BigArray test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill 13 : Ok (()) Size_in_bytes : 128
Size_in_bytes : 128
Fill 5 : Ok (())
Get 5 : Ok (5)
Fill 1 : Ok (())
Get 0 : Ok (13)
Size_in_bytes : 128
Set (0, 8) : Ok (())
Get 12 : Ok (1)
================================================================================
success (ran 2 tests)
random seed: 364660135
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.4s 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
[✓] 15 0 1 14 / 1000 15.0s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (24 shrink steps):
|
Replace (3L, 51L)
Add (3L, 5L)
|
.---------------------.
| |
Find 3L Replace (3L, 3L)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
Replace (3L, 51L) : ()
Add (3L, 5L) : ()
|
.------------------------------------.
| |
Find 3L : Ok (51) Replace (3L, 3L) : ()
================================================================================
success (ran 1 tests)
random seed: 237470080
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.7s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 1 0 1 0 / 1000 8.3s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (33 shrink steps):
|
|
.---------------------------------.
| |
Fill (11, 1, -0.000372055641407) Sort
Set (9, -118.366819843) To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
|
.--------------------------------------------------------------------------------------.
| |
Fill (11, 1, -0.000372055641407) : Ok (()) Sort : ()
Set (9, -118.366819843) : Ok (()) To_seq : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; -118.366819843; 1.; 1.; 1.; 1.; 1.; 1.]
================================================================================
success (ran 2 tests)
random seed: 43050732
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 18.0s Lin Weak HashSet stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 55557896
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.3s STM Weak test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s STM Weak test parallel
[✓] 74 0 1 73 / 5000 18.3s STM Weak test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak test parallel failed as expected (22 shrink steps):
|
|
.---------------------.
| |
Get_copy 2 Fill (2, 4, Some 6L)
Get_copy 5
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Get_copy 2 : Ok (Some (6)) Fill (2, 4, Some 6L) : Ok (())
Get_copy 5 : Ok (None)
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Weak stress test parallel
[ ] 804 0 0 804 / 1000 41.3s STM Weak stress test parallel
[✓] 1000 0 0 1000 / 1000 51.0s STM Weak stress test parallel
================================================================================
success (ran 1 tests)
random seed: 119228214
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.5s 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
[✓] 209 0 1 208 / 5000 21.7s STM Weak HashSet test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak HashSet test parallel failed as expected (25 shrink steps):
|
Merge 2L
Add 2L
Add 2L
|
.---------------------.
| |
Clear Add 2L
Clear Find_opt 6L
Stats
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak HashSet test parallel:
Results incompatible with linearized model
|
Merge 2L : Ok (2)
Add 2L : Ok (())
Add 2L : Ok (())
|
.------------------------------------------------.
| |
Clear : () Add 2L : Error (Invalid_argument("Array.blit"))
Clear : () Find_opt 6L : Ok (None)
Stats : (16, 0, 0, 0, 0, 0)
================================================================================
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 30.3s STM Weak HashSet stress test parallel
================================================================================
success (ran 1 tests)
random seed: 38553939
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 327 / 500 4.8s STM Semaphore.Binary test parallel
================================================================================
success (ran 2 tests)
random seed: 394381418
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 39.0s Lin.Internal ref int test with Thread
[ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread
[✓] 15 0 1 14 / 15000 10.6s Lin.Internal ref int64 test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin.Internal ref int64 test with Thread failed as expected (14 shrink steps):
|
Get
|
.---------------------.
| |
Add 1L Add 9L
Incr Get
Incr Add 3L
Add 8620L Get
Get
Decr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin.Internal ref int64 test with Thread:
Results incompatible with sequential execution
|
Get : RGet 0L
|
.------------------------------------.
| |
Add 1L : RAdd Add 9L : RAdd
Incr : RIncr Get : RGet 10L
Incr : RIncr Add 3L : RAdd
Add 8620L : RAdd Get : RGet 11L
Get : RGet 12L
Decr : RDecr
================================================================================
success (ran 2 tests)
random seed: 86243146
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 35.6s Lin.Internal CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread
[ ] 618 0 0 618 / 1000 24.4s Lin.Internal CList int64 test with Thread
[✓] 1000 0 0 1000 / 1000 37.2s Lin.Internal CList int64 test with Thread
================================================================================
success (ran 2 tests)
2024-09-10 08:51.40 ---> saved as "fdf9c0a9c81744ab2848c0eb4120e52de8d16256ed6de2f55eac23c866cae05d"
Job succeeded
2024-09-10 08:51.41: Job succeeded