Build:
- 0
2024-09-13 09:56.11: New job: test linux-ppc64/ppc64le/5.2/4ad654366a0fc20851f567fabe76dafe32ca6b0e
2024-09-13 09:56.11: Using cache hint "linux-ppc64/ppc64le/5.2/4ad654366a0fc20851f567fabe76dafe32ca6b0e"
2024-09-13 09:56.11: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5)
(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 4093222dece7c1c8f93dc2fd8dd7eec15fa80fed || git fetch origin master) && git reset -q --hard 4093222dece7c1c8f93dc2fd8dd7eec15fa80fed && 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-13 09:56.11: Waiting for resource in pool OCluster
2024-09-13 09:56.11: Waiting for worker…
2024-09-13 09:56.11: Got resource from pool OCluster
Building on orithia.caelum.ci.dev
HEAD is now at cd5b374 Drop the v=0 parameter in CI debug runs
HEAD is now at 4ad6543 Merge pull request #478 from shym/new-aliases
(from ocaml/opam:debian-11-ocaml-5.2@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5' locally
docker.io/ocaml/opam@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5: Pulling from ocaml/opam
Digest: sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5
Status: Downloaded newer image for ocaml/opam@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5
2024-09-13 09:56.12 ---> using "2ed442e5cd3b80489d9ff0df1f31a8db2a8b98d45546abdaf8122ad1e634ea06" 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.
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-13 09:56.12 ---> using "ef341f11172638a7f267af3c4e6e4fea56e57415d7e9690d830dad646a73a98e" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-13 09:56.12 ---> using "d34f5b7c6f2537bbdb9cecfd9af4b49d28ec53b0054d1ca811a2fd9664c9b132" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 4093222dece7c1c8f93dc2fd8dd7eec15fa80fed || git fetch origin master) && git reset -q --hard 4093222dece7c1c8f93dc2fd8dd7eec15fa80fed && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
7f8a1201e6..4093222dec master -> origin/master
4093222dec Merge pull request #26530 from antoinepouille/opam-publish-kappa-binaries.4.1.3
<><> 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-13 09:58.06 ---> saved as "6c6d2839b2f4bf8d55055ec5239609d71887d02dd3cf7d335288cea6deefc74f"
/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-13 09:58.09 ---> saved as "3af42cddb748916051fd074faee3b5c87df3721de987c7597a4356a5df40991e"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2024-09-13 09:58.11 ---> saved as "efce86f272138f7e11fd923cf8a35bd675afae99077f664ff9e502fc4976d5f0"
/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-13 09:58.26 ---> saved as "10b6595243b187fadd0740f7b520e5eacd194b59a8695100359515b7f3c3f39c"
/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 1s (75.3 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-13 09:58.46 ---> saved as "b5cd50256192650b0c109fd4449d46195c8213f3feacb432c08bdfb72944eb92"
/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-13 09:59.56 ---> saved as "fb74cefd313c4497cd99e371e04ec428e25358c9f82033641c95614b7eb8a705"
/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 -m elf64lppc -o
native_compiler: true
architecture: power
model: ppc64le
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: powerpc64le-unknown-linux-gnu
target: powerpc64le-unknown-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 ppc64 # Inferred from system
exe # Suffix needed for executable filenames (Windows)
jobs 175 # 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-ppc64 1 default OCaml on 64-bit IBM POWER
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-13 09:59.57 ---> saved as "488bf3290b0693893e710e45627e6c19885b6096ef09676669eeff28d249aab1"
/src: (copy (src .) (dst /src))
2024-09-13 09:59.57 ---> saved as "90174ce41dc9bcc4a4e3f6e4a37c8c29541c4abca31eaa80b3d1e7a74993b8fd"
/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.1s 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: 274324979
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work (generating)
[✓] 100 0 0 100 / 100 7.0s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 28.4s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 30244706
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 1.9s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 157713941
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
[✓] 1 0 1 0 / 1000 11.7s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (21 shrink steps):
|
To_list
|
.---------------------.
| |
Fast_sort To_list
Sub (9, 9) To_list
Get 7 Length
Copy
To_seq
Set (0, 'z')
Set (70, 'm')
Set (6, '\\')
Fast_sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
To_list : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
|
.-------------------------------------------------------------------------------------------.
| |
Fast_sort : () To_list : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
Sub (9, 9) : Error (Invalid_argument("Array.sub")) To_list : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
Get 7 : Ok ('z') Length : 16
Copy : [|'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'|]
To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
Set (0, 'z') : Ok (())
Set (70, 'm') : Error (Invalid_argument("index out of bounds"))
Set (6, '\\') : Ok (())
Fast_sort : ()
================================================================================
success (ran 2 tests)
random seed: 187985839
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 10.4s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 427462163
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 7.7s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (16 shrink steps):
|
Replace (']', 1365)
|
.---------------------.
| |
Remove ']' Replace ('j', 9)
Remove 'b'
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Replace (']', 1365) : ()
|
.------------------------------------.
| |
Remove ']' : () Replace ('j', 9) : ()
Remove 'b' : ()
Length : 0
================================================================================
success (ran 2 tests)
random seed: 449903309
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 3.5s 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 3.5s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[ ] 28 0 0 28 / 200 57.6s STM Lazy test parallel (shrinking: 3.0002)
[ ] 28 0 0 28 / 200 119.7s STM Lazy test parallel (shrinking: 6.0003)
[✓] 29 0 1 28 / 200 134.0s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 6.7s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 28 0 0 28 / 200 40.0s STM Lazy test parallel from_fun (shrinking: 1.0003)
[ ] 28 0 0 28 / 200 101.7s STM Lazy test parallel from_fun (shrinking: 5.0003)
[✓] 29 0 1 28 / 200 134.9s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (6 shrink steps):
|
|
.--------------------------.
| |
Force_val Map ({700 -> 5; _ -> 41})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.-----------------------------------------------.
| |
Force_val : Error (CamlinternalLazy.Undefined) Map ({700 -> 5; _ -> 41}) : Ok (5)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (6 shrink steps):
|
|
.--------------------------.
| |
Force_val Map ({700 -> 5; _ -> 41})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.-----------------------------------------------.
| |
Force_val : Error (CamlinternalLazy.Undefined) Map ({700 -> 5; _ -> 41}) : Ok (5)
================================================================================
success (ran 6 tests)
random seed: 464830472
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
[✓] 9 0 1 8 / 1000 0.9s STM Domain.DLS test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS stress test parallel
[✓] 1000 0 0 1000 / 1000 29.1s STM Domain.DLS stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Domain.DLS test parallel failed as expected (13 shrink steps):
|
|
.---------------------.
| |
Set (3, 59) Set (2, 7)
Get 2 Get 3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Domain.DLS test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Set (3, 59) : () Set (2, 7) : ()
Get 2 : 2 Get 3 : 3
================================================================================
success (ran 3 tests)
random seed: 534226301
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
[✓] 1142 0 0 1000 / 1000 56.5s STM Out_channel test parallel
================================================================================
success (ran 2 tests)
random seed: 319820629
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential (generating)
[✓] 1000 0 0 1000 / 1000 4.6s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 5.7s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 1 0 1 0 / 1000 5.9s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 1 0 1 0 / 1000 5.6s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (33 shrink steps):
|
|
.---------------------.
| |
Add_node (3456) Add_node (42)
Member (42)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (3456) : true Add_node (42) : true
Member (42) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (34 shrink steps):
|
|
.---------------------.
| |
Add_node (3456) Add_node (42)
Member (42)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (3456) : true Add_node (42) : true
Member (42) : false
================================================================================
success (ran 4 tests)
random seed: 280613202
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: 535047423
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 9.4s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 2 0 1 1 / 1000 6.7s STM int64 ref test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (34 shrink steps):
|
|
.---------------------.
| |
Add 3 Decr
Get
Incr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 3 : () Decr : ()
Get : 3
Incr : ()
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (39 shrink steps):
|
|
.---------------------.
| |
Add 8L Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 8L : () Decr : ()
Get : 8
================================================================================
success (ran 2 tests)
random seed: 246888343
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)
[✓] 1 0 1 0 / 5000 4.8s 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.7s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (19 shrink steps):
|
Get
|
.---------------------.
| |
Add 10 Add 4
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
Get : 0
|
.------------------------------------.
| |
Add 10 : () Add 4 : ()
Get : 4
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (15 shrink steps):
|
|
.---------------------.
| |
Add 20L Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Add 20L : () Decr : ()
Get : 20
================================================================================
success (ran 2 tests)
random seed: 140868947
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 23.7s STM int ref test with Thread
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test with Thread
[✓] 24 0 1 23 / 5000 8.2s STM int64 ref test with Thread
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test with Thread failed as expected (17 shrink steps):
|
|
.---------------------.
| |
Incr Add 7L
Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test with Thread:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Incr : () Add 7L : ()
Decr : ()
Get : 8
================================================================================
success (ran 2 tests)
random seed: 309409192
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 6.6s Lin Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Array stress test with Domain
[✓] 1000 0 0 1000 / 1000 20.6s Lin Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Array test with Domain failed as expected (33 shrink steps):
|
|
.---------------------.
| |
Array.fill t 4 2 'W' Array.length t
Array.length t Array.to_list t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Array test with Domain:
Results incompatible with sequential execution
|
|
.---------------------------------------------------------------------------------------------------.
| |
Array.fill t 4 2 'W' : Ok (()) Array.length t : 16
Array.length t : 16 Array.to_list t : ['a'; 'a'; 'a'; 'a'; 'W'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 341849726
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 43.8s Lin Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 461657282
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)
[✓] 3 0 1 2 / 1000 42.0s Lin Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl stress test with Domain
[ ] 887 0 0 887 / 1000 18.0s Lin Hashtbl stress test with Domain
[✓] 1000 0 0 1000 / 1000 20.2s Lin Hashtbl stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Hashtbl test with Domain failed as expected (54 shrink steps):
|
Hashtbl.replace t 'a' 0
|
.------------------------.
| |
Hashtbl.clear t Hashtbl.replace t 'Y' 4
Hashtbl.add t 'a' 0 Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Hashtbl test with Domain:
Results incompatible with sequential execution
|
Hashtbl.replace t 'a' 0 : ()
|
.------------------------------------.
| |
Hashtbl.clear t : () Hashtbl.replace t 'Y' 4 : ()
Hashtbl.add t 'a' 0 : () Hashtbl.length t : 3
================================================================================
success (ran 2 tests)
random seed: 339297902
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)
[✓] 12 0 1 11 / 1000 19.4s 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.9s Lin In_channel stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin In_channel test with Domain failed as expected (38 shrink steps):
|
|
.----------------------------.
| |
In_channel.input_line t In_channel.input t "(e" 0 2
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin In_channel test with Domain:
Results incompatible with sequential execution
|
|
.----------------------------------------------.
| |
In_channel.input_line t : Ok (Some ("nv\n ")) In_channel.input t "(e" 0 2 : Ok (2)
================================================================================
success (ran 2 tests)
random seed: 162898555
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)
[✓] 1 0 1 0 / 1000 10.6s Lin Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Queue stress test with Domain
[✓] 1000 0 0 1000 / 1000 20.2s Lin Queue stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread
[✓] 250 0 0 250 / 250 8.0s Lin Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Queue test with Domain failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Queue.add 0 t Queue.add 0 t
Queue.length t Queue.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Queue test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Queue.add 0 t : () Queue.add 0 t : ()
Queue.length t : 1 Queue.length t : 1
================================================================================
success (ran 3 tests)
random seed: 420736470
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)
[✓] 1 0 1 0 / 1000 5.3s Lin Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Stack stress test with Domain
[✓] 1000 0 0 1000 / 1000 20.2s Lin Stack stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread
[✓] 250 0 0 250 / 250 8.8s Lin Stack test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Stack test with Domain failed as expected (38 shrink steps):
|
Stack.push 0 t
|
.---------------------.
| |
Stack.clear t Stack.pop t
Stack.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Stack test with Domain:
Results incompatible with sequential execution
|
Stack.push 0 t : ()
|
.------------------------------------.
| |
Stack.clear t : () Stack.pop t : Ok (0)
Stack.length t : -1
================================================================================
success (ran 3 tests)
random seed: 270278332
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)
[✓] 1 0 1 0 / 10000 5.8s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain
[✓] 1 0 1 0 / 10000 2.3s Lin ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain
[✓] 2 0 1 1 / 10000 11.4s 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.8s Lin CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin ref int test with Domain failed as expected (14 shrink steps):
|
|
.---------------------.
| |
Sut_int.set t 1 Sut_int.add t 3
Sut_int.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int.set t 1 : () Sut_int.add t 3 : ()
Sut_int.get t : 3
--- Info -----------------------------------------------------------------------
Negative test Lin ref int64 test with Domain failed as expected (12 shrink steps):
|
|
.---------------------.
| |
Sut_int64.set t 3 Sut_int64.decr t
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.set t 3 : () Sut_int64.decr t : ()
Sut_int64.get t : -1
--- Info -----------------------------------------------------------------------
Negative test Lin CList int test with Domain failed as expected (14 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 3 CList.add_node t 0
CList.member t 3
+++ 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 0 : true
CList.member t 3 : false
--- Info -----------------------------------------------------------------------
Negative test Lin CList int64 test with Domain failed as expected (16 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 3 CList.add_node t 9
CList.member t 3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 3 : true CList.add_node t 9 : true
CList.member t 3 : false
================================================================================
success (ran 4 tests)
random seed: 350715523
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.4s 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.4s 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
[✓] 2 0 1 1 / 20000 0.0s negative Lin CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin CList int64 test with Effect
[✓] 2 0 1 1 / 20000 0.0s negative Lin CList int64 test with Effect
--- Info -----------------------------------------------------------------------
Negative test negative Lin ref int test with Effect failed as expected (71 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 (67 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 (82 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 (84 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: 81838990
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 58.0s Thread.create/join
================================================================================
success (ran 1 tests)
random seed: 102490961
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)
[ ] 149 0 0 149 / 500 60.5s Mash up of threads and domains
[ ] 295 0 0 295 / 500 120.5s Mash up of threads and domains
[ ] 446 0 0 446 / 500 180.7s Mash up of threads and domains
[✓] 500 0 0 500 / 500 201.8s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 12795202
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
[✓] 19 0 1 18 / 5000 25.6s STM BigArray test parallel
--- Info -----------------------------------------------------------------------
Negative test STM BigArray test parallel failed as expected (34 shrink steps):
|
|
.---------------------.
| |
Fill 71 Fill 2
Get 2
Get 10
Get 14
Get 9
Set (7, 5)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM BigArray test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill 71 : Ok (()) Fill 2 : Ok (())
Get 2 : Ok (71)
Get 10 : Ok (2)
Get 14 : Ok (2)
Get 9 : Ok (2)
Set (7, 5) : Ok (())
================================================================================
success (ran 2 tests)
random seed: 129758888
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.4s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[✓] 2 0 1 1 / 1000 8.7s STM Buffer test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Buffer stress test parallel
[ ] 1096 0 0 791 / 1000 51.4s STM Buffer stress test parallel
[✓] 1390 0 0 1000 / 1000 67.0s STM Buffer stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (34 shrink steps):
|
Add_bytes "\175\022"
|
.----------------------------------------------------.
| |
Add_string "\145\2429`.Zh\222A\171\1... (truncated) Truncate 0
Nth 2
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
Add_bytes "\175\022" : Ok (())
|
.--------------------------------------------------------------.
| |
Add_string "\145\2429`.Zh\222A\171\1... (truncated) : Ok (()) Truncate 0 : Ok (())
Nth 2 : Error (Invalid_argument("Buffer.nth"))
Length : 87
================================================================================
success (ran 3 tests)
random seed: 437585699
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
[✓] 3 0 1 2 / 1000 8.1s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (35 shrink steps):
|
|
.---------------------.
| |
Fill (1, 15, ':') To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------.
| |
Fill (1, 15, ':') : Ok (()) To_seq : ['a'; 'a'; ':'; ':'; ':'; ':'; ':'; ':'; ':'; ':'; ':'; ':'; ':'; ':'; ':'; ':']
================================================================================
success (ran 2 tests)
random seed: 258477959
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.3s STM Ephemeron test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[✓] 17 0 1 16 / 1000 6.8s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (14 shrink steps):
|
Replace (84L, 0L)
|
.---------------------.
| |
Clean Remove 6L
Add (6L, 51L) Find_all 78L
Length Find 78L
Remove 78L Remove 29L
Add (6L, 6L) Find_all 5L
Find 6L Replace (84L, 6L)
Find 8L Replace (2L, 72L)
Mem 2L
Mem 9L
Clean
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
Replace (84L, 0L) : ()
|
.------------------------------------.
| |
Clean : () Remove 6L : ()
Add (6L, 51L) : () Find_all 78L : []
Length : 3 Find 78L : Error (Not_found)
Remove 78L : () Remove 29L : ()
Add (6L, 6L) : () Find_all 5L : []
Find 6L : Ok (51) Replace (84L, 6L) : ()
Find 8L : Error (Not_found) Replace (2L, 72L) : ()
Mem 2L : true
Mem 9L : false
Clean : ()
================================================================================
success (ran 1 tests)
random seed: 125071280
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.4s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 1 0 1 0 / 1000 3.5s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (21 shrink steps):
|
Set (2, -0.00550527687997)
|
.---------------------------.
| |
To_list Sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
Set (2, -0.00550527687997) : Ok (())
|
.------------------------------------------------------------------------------------------.
| |
To_list : [1.; 1.; 1.; 1.; 1.; 1.; 1.; -0.00550527687997; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.] Sort : ()
================================================================================
success (ran 2 tests)
random seed: 440845399
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)
[✓] 448 0 0 200 / 200 7.2s 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 192 / 200 5.6s STM Semaphore.Counting test parallel (w/o get_value)
================================================================================
success (ran 3 tests)
random seed: 525990689
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.5s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[✓] 200 0 0 200 / 200 25.6s STM Sys test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Sys stress test parallel
[ ] 250 0 0 250 / 1000 30.7s STM Sys stress test parallel
[ ] 691 0 0 691 / 1000 90.7s STM Sys stress test parallel
[✓] 1000 0 0 1000 / 1000 135.1s STM Sys stress test parallel
================================================================================
success (ran 3 tests)
random seed: 220685695
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.4s 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
[✓] 152 0 1 151 / 5000 52.1s STM Weak test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak test parallel failed as expected (33 shrink steps):
|
|
.---------------------.
| |
Get 5 Fill (3, 8, Some 1L)
Get 9
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Get 5 : Ok (Some (1)) Fill (3, 8, Some 1L) : Ok (())
Get 9 : 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
[ ] 100 0 0 100 / 1000 7.7s STM Weak stress test parallel
[ ] 931 0 0 931 / 1000 67.7s STM Weak stress test parallel
[✓] 1000 0 0 1000 / 1000 73.3s STM Weak stress test parallel
================================================================================
success (ran 1 tests)
random seed: 445193630
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 4.4s negative Lin Dynlink test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Dynlink stress test with Domain
[✓] 1000 0 0 1000 / 1000 42.5s 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.main_program_units ()
Dynlink.loadfile libC.cmxs
Dynlink.loadfile libA.cmxs
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.loadfile libA.cmxs
|
.------------------------------.
| |
Dynlink.loadfile libB.cmxs Dynlink.loadfile libA.cmxs
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.loadfile libA.cmxs Dynlink.loadfile libC.cmxs
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.loadfile libB.cmxs Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.main_program_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.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.loadfile libA.cmxs : Ok (())
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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 : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
|
.--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Dynlink.loadfile libB.cmxs : Ok (()) Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
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"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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 : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) 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"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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 : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) 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"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__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"]
================================================================================
success (ran 2 tests)
random seed: 415943092
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 3.7s thread_createtree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 143814098
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 19.9s Lin Bigarray.Array1 stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 357598
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 42.1s Lin Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread
[ ] 726 0 0 726 / 1000 17.9s Lin Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 24.6s Lin Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 469793369
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 22.2s Lin Ephemeron stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 296449957
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.5s 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 19.3s Lin Float.Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Float.Array test with Domain failed as expected (29 shrink steps):
|
|
.-----------------------------------------.
| |
Float.Array.fill t 0 1 3.20355448946e-06 Float.Array.sort t
Float.Array.to_list t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Float.Array test with Domain:
Results incompatible with sequential execution
|
|
.--------------------------------------------------------------------------------------------------------.
| |
Float.Array.fill t 0 1 3.20355448946e-06 : Ok (()) Float.Array.sort t : ()
Float.Array.to_list t : [0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 3.20355448946e-06; 0.; 0.]
================================================================================
success (ran 2 tests)
random seed: 264580108
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 297 / 500 6.1s STM Semaphore.Binary test parallel
================================================================================
success (ran 2 tests)
random seed: 13792486
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
[✓] 276 0 1 275 / 5000 36.7s STM Weak HashSet test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak HashSet test parallel failed as expected (29 shrink steps):
|
Merge 85L
|
.---------------------.
| |
Add 3L Add 2L
Clear Count
Count
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak HashSet test parallel:
Results incompatible with linearized model
|
Merge 85L : Ok (85)
|
.------------------------------------.
| |
Add 3L : Ok (()) Add 2L : Ok (())
Clear : () Count : 3
Count : 1
================================================================================
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
[ ] 530 0 0 530 / 1000 23.3s STM Weak HashSet stress test parallel
[✓] 1000 0 0 1000 / 1000 46.6s STM Weak HashSet stress test parallel
================================================================================
success (ran 1 tests)
random seed: 32495721
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 18.9s Lin Weak stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 307408237
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 19.4s Lin Weak HashSet stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 105582927
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 26.7s Lin.Internal ref int test with Thread
[ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread
[✓] 7 0 1 6 / 15000 3.4s Lin.Internal ref int64 test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin.Internal ref int64 test with Thread failed as expected (12 shrink steps):
|
Incr
|
.---------------------.
| |
Incr Decr
Get Decr
Add 71L Get
Incr Set 9L
Set 4070L
Set 46L
Set 60L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin.Internal ref int64 test with Thread:
Results incompatible with sequential execution
|
Incr : RIncr
|
.------------------------------------.
| |
Incr : RIncr Decr : RDecr
Get : RGet 1L Decr : RDecr
Add 71L : RAdd Get : RGet 1L
Incr : RIncr Set 9L : RSet
Set 4070L : RSet
Set 46L : RSet
Set 60L : RSet
================================================================================
success (ran 2 tests)
random seed: 457329685
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 33.6s Lin.Internal CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread
[ ] 744 0 0 744 / 1000 26.4s Lin.Internal CList int64 test with Thread
[✓] 1000 0 0 1000 / 1000 35.4s Lin.Internal CList int64 test with Thread
================================================================================
success (ran 2 tests)
2024-09-13 10:31.45 ---> saved as "3268c4eed7a5f67e24eda3bbb629a7bfba4d576b714d6bbef64dc803b6899aae"
Job succeeded
2024-09-13 10:31.45: Job succeeded