Build:
- 0
2024-09-11 15:49.58: New job: test linux-arm64/arm64/5.2/cd5b374a7b3e6b0217bf808746fc005995260a50
2024-09-11 15:49.58: Using cache hint "linux-arm64/arm64/5.2/cd5b374a7b3e6b0217bf808746fc005995260a50"
2024-09-11 15:49.58: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2@sha256:083f8e57a3aae104e0c5937618b4226cbd5786775a144d4bc24fe731218c2b59)
(env QCHECK_MSG_INTERVAL 60)
(user (uid 1000) (gid 1000))
(workdir /src)
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 0329818dcfd3de1a722ea09eeeed94cd24caa375 || git fetch origin master) && git reset -q --hard 0329818dcfd3de1a722ea09eeeed94cd24caa375 && git log --no-decorate -n1 --oneline && opam update -u"))
(run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
(copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
(env CI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
(run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
(copy (src .) (dst /src))
(run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice"))
)
2024-09-11 15:49.58: Waiting for resource in pool OCluster
2024-09-11 15:49.58: Waiting for worker…
2024-09-11 15:50.18: Got resource from pool OCluster
Building on molpadia.caelum.ci.dev
HEAD is now at 97859a0 Remove --host=i386-linux option
HEAD is now at cd5b374 Drop the v=0 parameter in CI debug runs
(from ocaml/opam:debian-11-ocaml-5.2@sha256:083f8e57a3aae104e0c5937618b4226cbd5786775a144d4bc24fe731218c2b59)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:083f8e57a3aae104e0c5937618b4226cbd5786775a144d4bc24fe731218c2b59' locally
docker.io/ocaml/opam@sha256:083f8e57a3aae104e0c5937618b4226cbd5786775a144d4bc24fe731218c2b59: Pulling from ocaml/opam
e6312bf520f4: Pulling fs layer
e6312bf520f4: Verifying Checksum
e6312bf520f4: Download complete
e6312bf520f4: Pull complete
Digest: sha256:083f8e57a3aae104e0c5937618b4226cbd5786775a144d4bc24fe731218c2b59
Status: Downloaded newer image for ocaml/opam@sha256:083f8e57a3aae104e0c5937618b4226cbd5786775a144d4bc24fe731218c2b59
2024-09-11 15:51.17 ---> saved as "a83d58a4e749a51275d3939423d630636c877f0ed84eb7104bd40a1b76e260e4"
/: (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-11 15:52.05 ---> saved as "c149f250ca838d06ab8ac61990d33edbbd58d6d6137508788977499074bd5b59"
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-11 15:52.05 ---> saved as "97fa30dcd70c6151d7c36e16275b44a614d3397d35b8e137b7a08ea321692901"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 0329818dcfd3de1a722ea09eeeed94cd24caa375 || git fetch origin master) && git reset -q --hard 0329818dcfd3de1a722ea09eeeed94cd24caa375 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
7f8a1201e6..0329818dcf master -> origin/master
0329818dcf Merge pull request #26527 from dbuenzli/b0-publish-mtime.2.1.0-etc-b00ab5a8b3cb608d
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-09-11 15:52.57 ---> saved as "76c1d6077c7b6743aaab3131de742f319549253b8227d5082dbfb798bfa77e08"
/src: (run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
[override] Initialised
2024-09-11 15:52.58 ---> saved as "b67051f086d42b1b2e9297df2e294e4c301b84fe68132778109041178af73c44"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2024-09-11 15:52.58 ---> saved as "8da10ea8d1db5e833a61da4396bdcdc02baa92e758df1657e1e8731c42ab59e4"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
[qcheck-multicoretests-util.dev] synchronised (file:///src)
qcheck-multicoretests-util is now pinned to file:///src (version dev)
[qcheck-lin.dev] synchronised (file:///src)
qcheck-lin is now pinned to file:///src (version dev)
[qcheck-stm.dev] synchronised (file:///src)
qcheck-stm is now pinned to file:///src (version dev)
Package multicoretests does not exist, create as a NEW package? [Y/n] y
[multicoretests.dev] synchronised (file:///src)
multicoretests is now pinned to file:///src (version dev)
2024-09-11 15:53.04 ---> saved as "0b903f10bd0c731d85a7d941af394436fb5172398bcac67ee74a4b2741eeecc6"
/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 [284 kB]
- Fetched 355 kB in 1s (660 kB/s)
- Reading package lists...
-
[qcheck-multicoretests-util.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2024-09-11 15:53.16 ---> saved as "fd6e9ffbee07586810eb2b9a36c53ca527aba328467a13d4789d3af96f53d5ce"
/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 qcheck-core.0.22 (cached)
-> retrieved multicoretests.dev (file:///src)
-> retrieved qcheck-lin.dev (file:///src)
-> retrieved qcheck-multicoretests-util.dev (file:///src)
-> retrieved qcheck-stm.dev (file:///src)
-> retrieved dune.3.16.0 (cached)
-> installed dune.3.16.0
-> installed qcheck-core.0.22
-> installed qcheck-multicoretests-util.dev
-> installed qcheck-lin.dev
-> installed qcheck-stm.dev
-> installed multicoretests.dev
Done.
# Run eval $(opam env) to update the current shell environment
2024-09-11 15:53.53 ---> saved as "4eaf4e3ec1e4658e98331ae9a28702227b34b1493e4ffeedf71ad0d70eb2e33a"
/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-11 15:53.54 ---> saved as "ca4465608598f1ff614b1184a71d8ddd35855437814074b695ee0b2095514a8d"
/src: (copy (src .) (dst /src))
2024-09-11 15:53.54 ---> saved as "76bf231b57f2c406c72e1ae46dec749d22fcc7364429d6d75d5bdf12956a5a47"
/src: (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice"))
STM ensure cleanup: sequential test OK
STM ensure cleanup: parallel test OK
random seed: 301717275
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency
[ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency (generating)
[✓] 1000 0 0 1000 / 1000 0.0s STM test exception during next_state consistency
================================================================================
success (ran 1 tests)
STM test exception during next_state sequential failed with Random_next_state_failure as expected
STM test exception during next_state parallel failed with Random_next_state_failure as expected
random seed: 536491087
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 3.7s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 22.5s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 99538462
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s domain_spawntree - with Atomic
[ ] 0 0 0 0 / 100 0.0s domain_spawntree - with Atomic (generating)
[✓] 100 0 0 100 / 100 0.3s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 13207284
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 1.9s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (9 shrink steps):
|
Set (6, '^')
|
.---------------------.
| |
Copy Stable_sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
Set (6, '^') : Ok (())
|
.------------------------------------------------------------------------------------------.
| |
Copy : [|'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; '^'; 'a'; 'a'; 'a'|] Stable_sort : ()
================================================================================
success (ran 2 tests)
random seed: 455422647
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 5.2s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 185805857
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
[✓] 17 0 1 16 / 200 3.2s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (25 shrink steps):
|
Replace ('#', 8)
|
.---------------------.
| |
Replace ('E', 4) Remove '#'
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Replace ('#', 8) : ()
|
.------------------------------------.
| |
Replace ('E', 4) : () Remove '#' : ()
Length : 2
================================================================================
success (ran 2 tests)
random seed: 316443997
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.3s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.1s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 2.3s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[✓] 5 0 1 4 / 200 34.1s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 3.4s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 4 0 0 4 / 200 18.6s STM Lazy test parallel from_fun (shrinking: 2.0004)
[✓] 5 0 1 4 / 200 34.3s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (3 shrink steps):
|
|
.---------------------.
| |
Force_val Force
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.-----------------------------------------------.
| |
Force_val : Error (CamlinternalLazy.Undefined) Force : Ok (700)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (3 shrink steps):
|
|
.---------------------.
| |
Force_val Force
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.-----------------------------------------------.
| |
Force_val : Error (CamlinternalLazy.Undefined) Force : Ok (700)
================================================================================
success (ran 6 tests)
random seed: 325402118
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.8s STM Domain.DLS test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test parallel
[✓] 1 0 1 0 / 1000 1.5s STM Domain.DLS test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS stress test parallel
[✓] 1000 0 0 1000 / 1000 26.2s STM Domain.DLS stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Domain.DLS test parallel failed as expected (19 shrink steps):
|
|
.---------------------.
| |
Set (3, 6) Set (1, 36)
Get 1 Get 3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Domain.DLS test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Set (3, 6) : () Set (1, 36) : ()
Get 1 : 1 Get 3 : 3
================================================================================
success (ran 3 tests)
random seed: 81821040
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.8s STM Out_channel test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test parallel
[✓] 1135 0 0 1000 / 1000 31.3s STM Out_channel test parallel
================================================================================
success (ran 2 tests)
random seed: 395812293
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.8s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 6.1s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 6 0 1 5 / 1000 3.5s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 2 0 1 1 / 1000 1.7s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (30 shrink steps):
|
|
.---------------------.
| |
Add_node (0) Add_node (5)
Member (5)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (0) : true Add_node (5) : true
Member (5) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (15 shrink steps):
|
|
.---------------------.
| |
Add_node (870) Add_node (68)
Member (870)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (870) : true Add_node (68) : true
Member (870) : false
================================================================================
success (ran 4 tests)
random seed: 353710568
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: 520995814
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel (generating)
[✓] 1 0 1 0 / 1000 1.6s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 1 0 1 0 / 1000 1.7s STM int64 ref test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (21 shrink steps):
|
Incr
|
.---------------------.
| |
Decr Incr
Get Decr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
Incr : ()
|
.------------------------------------.
| |
Decr : () Incr : ()
Get : 2 Decr : ()
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (23 shrink steps):
|
|
.---------------------.
| |
Decr Incr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Decr : () Incr : ()
Get : 1
================================================================================
success (ran 2 tests)
random seed: 75934246
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 5000 0.0s STM int ref test parallel asymmetric (generating)
[✓] 3 0 1 2 / 5000 1.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 0.9s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (18 shrink steps):
|
|
.---------------------.
| |
Incr Add 1
Incr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Incr : () Add 1 : ()
Incr : ()
Get : 1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (24 shrink steps):
|
|
.---------------------.
| |
Set 29L Incr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Set 29L : () Incr : ()
Get : 1
================================================================================
success (ran 2 tests)
random seed: 17224740
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 14.0s STM int ref test with Thread
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test with Thread
[✓] 31 0 1 30 / 5000 22.2s STM int64 ref test with Thread
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test with Thread failed as expected (3 shrink steps):
|
Get
Incr
Add 239L
Set 4L
Set 309L
Add 2429L
Add 4L
Decr
Set 5L
Decr
Incr
Set 764L
Get
Set 748L
Get
|
.---------------------.
| |
Add 30L Get
Decr Decr
Set 52L Set 1L
Decr Get
Decr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test with Thread:
Results incompatible with linearized model
|
Get : 0
Incr : ()
Add 239L : ()
Set 4L : ()
Set 309L : ()
Add 2429L : ()
Add 4L : ()
Decr : ()
Set 5L : ()
Decr : ()
Incr : ()
Set 764L : ()
Get : 764
Set 748L : ()
Get : 748
|
.------------------------------------.
| |
Add 30L : () Get : 748
Decr : () Decr : ()
Set 52L : () Set 1L : ()
Decr : () Get : 776
Decr : ()
================================================================================
success (ran 2 tests)
random seed: 171716540
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)
[✓] 4 0 1 3 / 1000 5.2s Lin Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Array stress test with Domain
[✓] 1000 0 0 1000 / 1000 9.4s Lin Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Array test with Domain failed as expected (40 shrink steps):
|
Array.fill t 0 1 '\\'
|
.----------------------.
| |
Array.sort t Array.to_list t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Array test with Domain:
Results incompatible with sequential execution
|
Array.fill t 0 1 '\\' : Ok (())
|
.----------------------------------------------------------------------------------------------------.
| |
Array.sort t : () Array.to_list t : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; '\\'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 92729587
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 19.1s Lin Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 40232089
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)
[✓] 1 0 1 0 / 1000 9.7s Lin Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl stress test with Domain
[✓] 1000 0 0 1000 / 1000 8.8s Lin Hashtbl stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Hashtbl test with Domain failed as expected (32 shrink steps):
|
|
.------------------------.
| |
Hashtbl.add t 'a' 0 Hashtbl.replace t 'a' 0
Hashtbl.length t Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Hashtbl test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Hashtbl.add t 'a' 0 : () Hashtbl.replace t 'a' 0 : ()
Hashtbl.length t : 1 Hashtbl.length t : 2
================================================================================
success (ran 2 tests)
random seed: 67652497
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)
[✓] 7 0 1 6 / 1000 9.6s 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 11.8s Lin In_channel stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin In_channel test with Domain failed as expected (30 shrink steps):
|
|
.---------------------------.
| |
In_channel.input t "(" 0 1 In_channel.input_line t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin In_channel test with Domain:
Results incompatible with sequential execution
|
|
.----------------------------------------------.
| |
In_channel.input t "(" 0 1 : Ok (1) In_channel.input_line t : Ok (Some ("env\n"))
================================================================================
success (ran 2 tests)
random seed: 65895044
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)
[✓] 2 0 1 1 / 1000 4.0s Lin Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Queue stress test with Domain
[✓] 1000 0 0 1000 / 1000 8.7s Lin Queue stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread
[✓] 250 0 0 250 / 250 12.3s Lin Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Queue test with Domain failed as expected (14 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.add 0 t Queue.take_opt t
Queue.is_empty t
Queue.take t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Queue test with Domain:
Results incompatible with sequential execution
|
Queue.add 0 t : ()
|
.------------------------------------------.
| |
Queue.add 0 t : () Queue.take_opt t : Some (0)
Queue.is_empty t : false
Queue.take t : Error (Stdlib.Queue.Empty)
================================================================================
success (ran 3 tests)
random seed: 202252528
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 3.0s Lin Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Stack stress test with Domain
[✓] 1000 0 0 1000 / 1000 8.8s Lin Stack stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread
[✓] 250 0 0 250 / 250 11.7s Lin Stack test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Stack test with Domain failed as expected (37 shrink steps):
|
Stack.push 0 t
|
.---------------------.
| |
Stack.pop t Stack.clear t
Stack.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Stack test with Domain:
Results incompatible with sequential execution
|
Stack.push 0 t : ()
|
.------------------------------------.
| |
Stack.pop t : Ok (0) Stack.clear t : ()
Stack.length t : -1
================================================================================
success (ran 3 tests)
random seed: 425874334
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 2.3s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain
[✓] 1 0 1 0 / 10000 0.4s Lin ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain
[✓] 7 0 1 6 / 10000 6.2s Lin CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain
[✓] 7 0 1 6 / 10000 2.2s Lin CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin ref int test with Domain failed as expected (18 shrink steps):
|
|
.---------------------.
| |
Sut_int.add t 0 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.add t 0 : () Sut_int.add t 1 : ()
Sut_int.get t : 0
--- Info -----------------------------------------------------------------------
Negative test Lin ref int64 test with Domain failed as expected (12 shrink steps):
|
|
.---------------------.
| |
Sut_int64.add t 2 Sut_int64.add t 9
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.add t 2 : () Sut_int64.add t 9 : ()
Sut_int64.get t : 2
--- Info -----------------------------------------------------------------------
Negative test Lin CList int test with Domain failed as expected (32 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 6 CList.add_node t 0
CList.member t 6
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 6 : true CList.add_node t 0 : true
CList.member t 6 : false
--- Info -----------------------------------------------------------------------
Negative test Lin CList int64 test with Domain failed as expected (24 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 6 CList.add_node t 97
CList.member t 6
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 6 : true CList.add_node t 97 : true
CList.member t 6 : false
================================================================================
success (ran 4 tests)
random seed: 300293817
generated error fail pass / total time test name
[ ] 0 0 0 0 / 20000 0.0s Lin ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin ref int test with Effect (generating)
[✓] 20000 0 0 20000 / 20000 0.2s Lin ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin ref int64 test with Effect
[✓] 20000 0 0 20000 / 20000 0.2s Lin ref int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin CList int test with Effect
[✓] 20000 0 0 20000 / 20000 0.3s 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.3s 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 (103 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 (95 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 (103 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 (103 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: 304446947
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 51.6s Thread.create/join
================================================================================
success (ran 1 tests)
random seed: 517537763
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)
[ ] 160 0 0 160 / 500 60.4s Mash up of threads and domains
[ ] 332 0 0 332 / 500 120.6s Mash up of threads and domains
[ ] 496 0 0 496 / 500 180.8s Mash up of threads and domains
[✓] 500 0 0 500 / 500 181.9s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 169561861
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential
[ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.2s STM BigArray test sequential
[ ] 0 0 0 0 / 5000 0.0s STM BigArray test parallel
[✓] 17 0 1 16 / 5000 40.8s STM BigArray test parallel
--- Info -----------------------------------------------------------------------
Negative test STM BigArray test parallel failed as expected (33 shrink steps):
|
|
.---------------------.
| |
Fill 13 Fill 12
Get 11 Get 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM BigArray test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill 13 : Ok (()) Fill 12 : Ok (())
Get 11 : Ok (12) Get 0 : Ok (13)
================================================================================
success (ran 2 tests)
random seed: 310427991
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.3s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[✓] 3 0 1 1 / 1000 1.8s STM Buffer test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Buffer stress test parallel
[ ] 1288 0 0 921 / 1000 57.9s STM Buffer stress test parallel
[✓] 1391 0 0 1000 / 1000 62.8s STM Buffer stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (32 shrink steps):
|
|
.------------------------.
| |
Add_string "a" Add_string ")E\154\019"
Nth 1
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
|
.-----------------------------------------------.
| |
Add_string "a" : Ok (()) Add_string ")E\154\019" : Ok (())
Nth 1 : Error (Invalid_argument("Buffer.nth"))
================================================================================
success (ran 3 tests)
random seed: 400184436
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.3s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 2 0 1 1 / 1000 7.9s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (6 shrink steps):
|
|
.---------------------.
| |
Get 51 Set (1, 'c')
Sub (12, 3) Get 14
Sub (6, 3) Set (1, ',')
Sub (5, 14) Sub (0, 9)
Fill (15, 1, '\'') Copy
Sub (0, 1) Get 4
Set (4, '7') Copy
Get 33 Length
Fill (6, 4, '>')
Set (8, '|')
Fill (8, 0, 'F')
Sub (15, 5)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.-----------------------------------------------------------------.
| |
Get 51 : Error (Invalid_argument("index out of bounds")) Set (1, 'c') : Ok (())
Sub (12, 3) : Ok ("aaa") Get 14 : Ok ('a')
Sub (6, 3) : Ok ("a>a") Set (1, ',') : Ok (())
Sub (5, 14) : Error (Invalid_argument("String.sub / Bytes.sub")) Sub (0, 9) : Ok ("a,aaaaaaa")
Fill (15, 1, '\'') : Ok (()) Copy : "a,aaaaaaaaaaaaaa"
Sub (0, 1) : Ok ("a") Get 4 : Ok ('a')
Set (4, '7') : Ok (()) Copy : "a,aaaaaaaaaaaaaa"
Get 33 : Error (Invalid_argument("index out of bounds")) Length : 16
Fill (6, 4, '>') : Ok (())
Set (8, '|') : Ok (())
Fill (8, 0, 'F') : Ok (())
Sub (15, 5) : Error (Invalid_argument("String.sub / Bytes.sub"))
================================================================================
success (ran 2 tests)
random seed: 270301391
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.2s STM Ephemeron test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[✓] 13 0 1 12 / 1000 11.6s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (28 shrink steps):
|
Replace (4L, 1L)
Add (22L, 0L)
|
.---------------------.
| |
Remove 22L Clear
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
Replace (4L, 1L) : ()
Add (22L, 0L) : ()
|
.------------------------------------.
| |
Remove 22L : () Clear : ()
Length : 1
================================================================================
success (ran 1 tests)
random seed: 441404819
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
[✓] 2 0 1 1 / 1000 1.2s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (10 shrink steps):
|
Set (11, 180845.603227)
|
.------------------------.
| |
To_list Sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
Set (11, 180845.603227) : Ok (())
|
.---------------------------------------------------------------------------.
| |
To_list : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.] Sort : ()
================================================================================
success (ran 2 tests)
random seed: 415419928
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)
[✓] 446 0 0 200 / 200 2.9s 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 199 / 200 2.6s STM Semaphore.Counting test parallel (w/o get_value)
================================================================================
success (ran 3 tests)
random seed: 162227293
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 3.8s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[✓] 200 0 0 200 / 200 22.2s STM Sys test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Sys stress test parallel
[ ] 309 0 0 309 / 1000 34.1s STM Sys stress test parallel
[ ] 849 0 0 849 / 1000 94.1s STM Sys stress test parallel
[✓] 1000 0 0 1000 / 1000 110.8s STM Sys stress test parallel
================================================================================
success (ran 3 tests)
random seed: 296047972
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
[✓] 39 0 1 38 / 5000 8.9s STM Weak test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak test parallel failed as expected (28 shrink steps):
|
|
.----------------------.
| |
Check 0 Fill (0, 13, Some 8L)
Get 4
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Check 0 : Ok (true) Fill (0, 13, Some 8L) : Ok (())
Get 4 : 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
[✓] 1000 0 0 1000 / 1000 41.4s STM Weak stress test parallel
================================================================================
success (ran 1 tests)
random seed: 245135707
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.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 22.9s Lin Dynlink stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test negative Lin Dynlink test with Domain failed as expected (0 shrink steps):
|
Dynlink.all_units ()
|
.------------------------------.
| |
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.all_units ()
Dynlink.all_units () Dynlink.loadfile libA.cmxs
Dynlink.main_program_units () Dynlink.loadfile libA.cmxs
Dynlink.loadfile libA.cmxs Dynlink.loadfile libA.cmxs
Dynlink.loadfile libB.cmxs
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin Dynlink test with Domain:
Results incompatible with sequential execution
|
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
|
.-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.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.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.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
Dynlink.loadfile libA.cmxs : Ok (()) Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
Dynlink.loadfile libB.cmxs : Ok (())
================================================================================
success (ran 2 tests)
random seed: 437345095
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.5s thread_createtree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 233672880
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 10.7s Lin Bigarray.Array1 stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 68081315
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 18.0s Lin Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread
[ ] 910 0 0 910 / 1000 42.1s Lin Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 46.4s Lin Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 217758954
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 10.4s Lin Ephemeron stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 258146719
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 2.9s 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 9.6s Lin Float.Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Float.Array test with Domain failed as expected (23 shrink steps):
|
Float.Array.fill t 0 1 0.435991415508
|
.--------------------------------------.
| |
Float.Array.to_seq 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 0.435991415508 : Ok (())
|
.----------------------------------------------------------------------------------------------------------------.
| |
Float.Array.to_seq t : <0.435991415508; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.435991415508> Float.Array.sort t : ()
================================================================================
success (ran 2 tests)
random seed: 337158336
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 316 / 500 3.2s STM Semaphore.Binary test parallel
================================================================================
success (ran 2 tests)
random seed: 166170895
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
[✓] 138 0 1 137 / 5000 5.2s STM Weak HashSet test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak HashSet test parallel failed as expected (9 shrink steps):
|
|
.---------------------.
| |
Stats Merge 1L
Merge 1L
Count
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak HashSet test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Stats : (16, 0, 0, 0, 0, 0) Merge 1L : Ok (1)
Merge 1L : Ok (1)
Count : 2
================================================================================
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 27.1s STM Weak HashSet stress test parallel
================================================================================
success (ran 1 tests)
random seed: 506631475
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 8.9s Lin Weak stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 456533781
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 10.1s Lin Weak HashSet stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 175577122
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 49.7s Lin.Internal ref int test with Thread
[ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread
[✓] 2 0 1 1 / 15000 8.0s Lin.Internal ref int64 test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin.Internal ref int64 test with Thread failed as expected (5 shrink steps):
|
Add 7745L
Add 3L
Decr
|
.---------------------.
| |
Add 56L Incr
Incr Get
Decr Get
Add 2L Incr
Incr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin.Internal ref int64 test with Thread:
Results incompatible with sequential execution
|
Add 7745L : RAdd
Add 3L : RAdd
Decr : RDecr
|
.------------------------------------.
| |
Add 56L : RAdd Incr : RIncr
Incr : RIncr Get : RGet 7749L
Decr : RDecr Get : RGet 7748L
Add 2L : RAdd Incr : RIncr
Incr : RIncr
================================================================================
success (ran 2 tests)
random seed: 393818822
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 50.0s Lin.Internal CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread
[ ] 110 0 0 110 / 1000 10.4s Lin.Internal CList int64 test with Thread
[✓] 1000 0 0 1000 / 1000 54.5s Lin.Internal CList int64 test with Thread
================================================================================
success (ran 2 tests)
2024-09-11 16:15.14 ---> saved as "439bc7e9f787a35c217f75296076e90943d082c45d79f8a65ad05a3192490b3b"
Job succeeded
2024-09-11 16:15.15: Job succeeded