Build:
- 0
2024-09-10 08:19.40: New job: test linux-s390x/s390x/5.2/7df52e0a25d84480c559e79269a25c0bed310107
2024-09-10 08:19.40: Using cache hint "linux-s390x/s390x/5.2/7df52e0a25d84480c559e79269a25c0bed310107"
2024-09-10 08:19.40: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e)
(env QCHECK_MSG_INTERVAL 60)
(user (uid 1000) (gid 1000))
(workdir /src)
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u"))
(run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
(copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
(env CI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
(run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
(copy (src .) (dst /src))
(run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice"))
)
2024-09-10 08:19.40: Waiting for resource in pool OCluster
2024-09-10 08:19.40: Waiting for worker…
2024-09-10 08:19.40: Got resource from pool OCluster
Building on s390x-worker-02.marist.ci.dev
HEAD is now at e0a2c6e REMOVE ME: rm irrelevant workflows
HEAD is now at 7df52e0 Document 'musl' option in common.ml
(from ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e' locally
docker.io/ocaml/opam@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e: Pulling from ocaml/opam
52560ec7a98b: Pulling fs layer
eab0a4b3bd3e: Pulling fs layer
f80cd650a7b6: Pulling fs layer
337240be42b5: Pulling fs layer
79225da4e8d0: Pulling fs layer
17c5ed5c97ae: Pulling fs layer
723d5257c443: Pulling fs layer
9108ffdcd51b: Pulling fs layer
570a06170d5a: Pulling fs layer
3bc38e4bbd23: Pulling fs layer
dcf595e232e9: Pulling fs layer
6fbf7a6e59b8: Pulling fs layer
9b81e60cd0dc: Pulling fs layer
b2056aa0f0ef: Pulling fs layer
5947402c93e3: Pulling fs layer
ba9912c5009c: Pulling fs layer
9948a9b882ca: Pulling fs layer
9c425dfe1f36: Pulling fs layer
fd80f5ed0258: Pulling fs layer
4f4fb700ef54: Pulling fs layer
68d647695fbb: Pulling fs layer
d6f345d3600b: Pulling fs layer
7ef4f05a5a02: Pulling fs layer
3d711792550b: Pulling fs layer
97e3998c71ca: Pulling fs layer
3b0e3d1f1d4c: Pulling fs layer
01a7a8858579: Pulling fs layer
2ba1f9128fdf: Pulling fs layer
9164ac1c1f7d: Pulling fs layer
992a9e5c4973: Pulling fs layer
9392a321e745: Pulling fs layer
d4f24245de84: Pulling fs layer
f67ba658bdf5: Pulling fs layer
e092361b0bd5: Pulling fs layer
5239f5f1c57d: Pulling fs layer
715b08f65540: Pulling fs layer
65e50d0b7f26: Pulling fs layer
ef46a782c55c: Pulling fs layer
26955ddfd8bd: Pulling fs layer
a5cc6a7f78d0: Pulling fs layer
f909f7e0e365: Pulling fs layer
5d5d64053dac: Pulling fs layer
985c150a969d: Pulling fs layer
e0702fdafe21: Pulling fs layer
3d711792550b: Waiting
97e3998c71ca: Waiting
3b0e3d1f1d4c: Waiting
01a7a8858579: Waiting
2ba1f9128fdf: Waiting
5239f5f1c57d: Waiting
715b08f65540: Waiting
65e50d0b7f26: Waiting
ef46a782c55c: Waiting
26955ddfd8bd: Waiting
a5cc6a7f78d0: Waiting
f909f7e0e365: Waiting
5d5d64053dac: Waiting
79225da4e8d0: Waiting
17c5ed5c97ae: Waiting
723d5257c443: Waiting
9108ffdcd51b: Waiting
570a06170d5a: Waiting
3bc38e4bbd23: Waiting
9164ac1c1f7d: Waiting
992a9e5c4973: Waiting
9392a321e745: Waiting
d4f24245de84: Waiting
f67ba658bdf5: Waiting
e092361b0bd5: Waiting
985c150a969d: Waiting
e0702fdafe21: Waiting
b2056aa0f0ef: Waiting
5947402c93e3: Waiting
ba9912c5009c: Waiting
9948a9b882ca: Waiting
9c425dfe1f36: Waiting
dcf595e232e9: Waiting
6fbf7a6e59b8: Waiting
9b81e60cd0dc: Waiting
fd80f5ed0258: Waiting
4f4fb700ef54: Waiting
68d647695fbb: Waiting
d6f345d3600b: Waiting
7ef4f05a5a02: Waiting
eab0a4b3bd3e: Verifying Checksum
eab0a4b3bd3e: Download complete
f80cd650a7b6: Verifying Checksum
f80cd650a7b6: Download complete
79225da4e8d0: Verifying Checksum
79225da4e8d0: Download complete
52560ec7a98b: Verifying Checksum
52560ec7a98b: Download complete
337240be42b5: Verifying Checksum
337240be42b5: Download complete
723d5257c443: Verifying Checksum
723d5257c443: Download complete
9108ffdcd51b: Download complete
3bc38e4bbd23: Verifying Checksum
3bc38e4bbd23: Download complete
570a06170d5a: Verifying Checksum
570a06170d5a: Download complete
dcf595e232e9: Verifying Checksum
dcf595e232e9: Download complete
6fbf7a6e59b8: Verifying Checksum
6fbf7a6e59b8: Download complete
9b81e60cd0dc: Verifying Checksum
9b81e60cd0dc: Download complete
b2056aa0f0ef: Verifying Checksum
b2056aa0f0ef: Download complete
17c5ed5c97ae: Verifying Checksum
17c5ed5c97ae: Download complete
9948a9b882ca: Verifying Checksum
9948a9b882ca: Download complete
ba9912c5009c: Download complete
9c425dfe1f36: Verifying Checksum
9c425dfe1f36: Download complete
5947402c93e3: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
fd80f5ed0258: Verifying Checksum
fd80f5ed0258: Download complete
68d647695fbb: Verifying Checksum
68d647695fbb: Download complete
d6f345d3600b: Verifying Checksum
d6f345d3600b: Download complete
7ef4f05a5a02: Verifying Checksum
7ef4f05a5a02: Download complete
3d711792550b: Verifying Checksum
3d711792550b: Download complete
97e3998c71ca: Download complete
3b0e3d1f1d4c: Verifying Checksum
3b0e3d1f1d4c: Download complete
9164ac1c1f7d: Verifying Checksum
2ba1f9128fdf: Verifying Checksum
2ba1f9128fdf: Download complete
01a7a8858579: Verifying Checksum
01a7a8858579: Download complete
9164ac1c1f7d: Download complete
d4f24245de84: Download complete
992a9e5c4973: Verifying Checksum
992a9e5c4973: Download complete
9392a321e745: Verifying Checksum
9392a321e745: Download complete
e092361b0bd5: Verifying Checksum
e092361b0bd5: Download complete
52560ec7a98b: Pull complete
eab0a4b3bd3e: Pull complete
f80cd650a7b6: Pull complete
715b08f65540: Verifying Checksum
715b08f65540: Download complete
65e50d0b7f26: Download complete
337240be42b5: Pull complete
79225da4e8d0: Pull complete
ef46a782c55c: Verifying Checksum
ef46a782c55c: Download complete
26955ddfd8bd: Verifying Checksum
26955ddfd8bd: Download complete
a5cc6a7f78d0: Verifying Checksum
a5cc6a7f78d0: Download complete
f67ba658bdf5: Verifying Checksum
f67ba658bdf5: Download complete
5d5d64053dac: Verifying Checksum
5d5d64053dac: Download complete
985c150a969d: Verifying Checksum
985c150a969d: Download complete
5239f5f1c57d: Verifying Checksum
5239f5f1c57d: Download complete
e0702fdafe21: Verifying Checksum
e0702fdafe21: Download complete
f909f7e0e365: Verifying Checksum
f909f7e0e365: Download complete
17c5ed5c97ae: Pull complete
723d5257c443: Pull complete
9108ffdcd51b: Pull complete
570a06170d5a: Pull complete
3bc38e4bbd23: Pull complete
dcf595e232e9: Pull complete
6fbf7a6e59b8: Pull complete
9b81e60cd0dc: Pull complete
b2056aa0f0ef: Pull complete
5947402c93e3: Pull complete
ba9912c5009c: Pull complete
9948a9b882ca: Pull complete
9c425dfe1f36: Pull complete
fd80f5ed0258: Pull complete
4f4fb700ef54: Pull complete
68d647695fbb: Pull complete
d6f345d3600b: Pull complete
7ef4f05a5a02: Pull complete
3d711792550b: Pull complete
97e3998c71ca: Pull complete
3b0e3d1f1d4c: Pull complete
01a7a8858579: Pull complete
2ba1f9128fdf: Pull complete
9164ac1c1f7d: Pull complete
992a9e5c4973: Pull complete
9392a321e745: Pull complete
d4f24245de84: Pull complete
f67ba658bdf5: Pull complete
e092361b0bd5: Pull complete
5239f5f1c57d: Pull complete
715b08f65540: Pull complete
65e50d0b7f26: Pull complete
ef46a782c55c: Pull complete
26955ddfd8bd: Pull complete
a5cc6a7f78d0: Pull complete
f909f7e0e365: Pull complete
5d5d64053dac: Pull complete
985c150a969d: Pull complete
e0702fdafe21: Pull complete
Digest: sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e
Status: Downloaded newer image for ocaml/opam@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e
2024-09-10 08:19.40 ---> using "d036b4d12a9bb1e39537264f47e10c99b45f7b9cd1f2999130a852da7d19c3dd" from cache
/: (env QCHECK_MSG_INTERVAL 60)
/: (user (uid 1000) (gid 1000))
/: (workdir /src)
/src: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
Continue? [Y/n] y
Format upgrade done.
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.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-09-10 08:19.40 ---> using "36a59d478966717601fecf6e05337bb619a6752cb291713c4c04685ed34dc8ad" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-10 08:19.40 ---> using "485e84284db6891b68d43d4f07b9415382e73b9b4c70a69ae89b40f1cd27c9e5" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
8187cd8d36..7f8a1201e6 master -> origin/master
7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-09-10 08:20.47 ---> saved as "f98cdce5753bb5c5ce40bc1e0460035166d92f1002e4c17c28c559aef1b81a5b"
/src: (run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
[override] Initialised
2024-09-10 08:20.50 ---> saved as "d018f6e6f56a13664ad5d0e6afb7b8c69b597fdccc1360c9be5ce40ff1c9a837"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2024-09-10 08:20.50 ---> saved as "9833dfbf574b232f3f539139347b7367b0d902d142045958f2a80c76387a48ef"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
[qcheck-multicoretests-util.dev] synchronised (file:///src)
qcheck-multicoretests-util is now pinned to file:///src (version dev)
[qcheck-lin.dev] synchronised (file:///src)
qcheck-lin is now pinned to file:///src (version dev)
[qcheck-stm.dev] synchronised (file:///src)
qcheck-stm is now pinned to file:///src (version dev)
Package multicoretests does not exist, create as a NEW package? [Y/n] y
[multicoretests.dev] synchronised (file:///src)
multicoretests is now pinned to file:///src (version dev)
2024-09-10 08:20.57 ---> saved as "4a1aa5f2427e4841d029c258af4d32b8a9aba3ff7cf09a7c6c48047515aaf2a4"
/src: (env CI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [27.2 kB]
- Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB]
- Fetched 71.2 kB in 0s (185 kB/s)
- Reading package lists...
-
[qcheck-lin.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2024-09-10 08:21.09 ---> saved as "4e78ab04ac0d1a5f84718c4079264b2e24ae2f33f51dfeb015547775385f9383"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
[qcheck-lin.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
The following actions will be performed:
- install dune 3.16.0 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install qcheck-core 0.22 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install qcheck-multicoretests-util dev*
- install qcheck-stm dev*
- install qcheck-lin dev*
- install multicoretests dev*
===== 6 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved qcheck-core.0.22 (cached)
-> retrieved multicoretests.dev (file:///src)
-> retrieved qcheck-lin.dev (file:///src)
-> retrieved qcheck-multicoretests-util.dev (file:///src)
-> retrieved qcheck-stm.dev (file:///src)
-> retrieved dune.3.16.0 (cached)
-> installed dune.3.16.0
-> installed qcheck-core.0.22
-> installed qcheck-multicoretests-util.dev
-> installed qcheck-stm.dev
-> installed qcheck-lin.dev
-> installed multicoretests.dev
Done.
# Run eval $(opam env) to update the current shell environment
2024-09-10 08:21.56 ---> saved as "aa0f985e90fe2994f3fdbf01311e92b0cef9ed4c0cc0fd145b90d4e360981208"
/src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
version: 5.2.0
standard_library_default: /home/opam/.opam/5.2/lib/ocaml
standard_library: /home/opam/.opam/5.2/lib/ocaml
ccomp_type: cc
c_compiler: gcc
ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlc_cppflags: -D_FILE_OFFSET_BITS=64
ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64
bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
bytecomp_c_libraries: -lzstd -lm -ldl -lpthread
native_c_libraries: -lm -ldl -lpthread
native_ldflags:
native_pack_linker: ld -r -o
native_compiler: true
architecture: s390x
model: z10
int_size: 63
word_size: 64
system: linux
asm: gcc -c
asm_cfi_supported: true
with_frame_pointers: false
ext_exe:
ext_obj: .o
ext_asm: .s
ext_lib: .a
ext_dll: .so
os_type: Unix
default_executable_name: a.out
systhread_supported: true
host: s390x-ibm-linux-gnu
target: s390x-ibm-linux-gnu
flambda: false
safe_string: true
default_safe_string: true
flat_float_array: true
function_sections: false
afl_instrument: false
tsan: false
windows_unicode: false
supports_shared_libraries: true
native_dynlink: true
naked_pointers: false
exec_magic_number: Caml1999X034
cmi_magic_number: Caml1999I034
cmo_magic_number: Caml1999O034
cma_magic_number: Caml1999A034
cmx_magic_number: Caml1999Y034
cmxa_magic_number: Caml1999Z034
ast_impl_magic_number: Caml1999M034
ast_intf_magic_number: Caml1999N034
cmxs_magic_number: Caml1999D034
cmt_magic_number: Caml1999T034
linear_magic_number: Caml1999L034
<><> Global opam variables ><><><><><><><><><><><><><><><><><><><><><><><><><><>
arch s390x # Inferred from system
exe # Suffix needed for executable filenames (Windows)
jobs 3 # The number of parallel jobs set up in opam configuration
make make # The 'make' command to use
opam-version 2.1.6 # The currently running opam version
os linux # Inferred from system
os-distribution debian # Inferred from system
os-family debian # Inferred from system
os-version 11 # Inferred from system
root /home/opam/.opam # The current opam root directory
switch 5.2 # The identifier of the current switch
sys-ocaml-version # OCaml version present on your system independently of opam, if any
<><> Configuration variables from the current switch ><><><><><><><><><><><><><>
prefix /home/opam/.opam/5.2
lib /home/opam/.opam/5.2/lib
bin /home/opam/.opam/5.2/bin
sbin /home/opam/.opam/5.2/sbin
share /home/opam/.opam/5.2/share
doc /home/opam/.opam/5.2/doc
etc /home/opam/.opam/5.2/etc
man /home/opam/.opam/5.2/man
toplevel /home/opam/.opam/5.2/lib/toplevel
stublibs /home/opam/.opam/5.2/lib/stublibs
user opam
group opam
<><> Package variables ('opam var --package PKG' to show) <><><><><><><><><><><>
PKG:name # Name of the package
PKG:version # Version of the package
PKG:depends # Resolved direct dependencies of the package
PKG:installed # Whether the package is installed
PKG:enable # Takes the value "enable" or "disable" depending on whether the package is installed
PKG:pinned # Whether the package is pinned
PKG:bin # Binary directory for this package
PKG:sbin # System binary directory for this package
PKG:lib # Library directory for this package
PKG:man # Man directory for this package
PKG:doc # Doc directory for this package
PKG:share # Share directory for this package
PKG:etc # Etc directory for this package
PKG:build # Directory where the package was built
PKG:hash # Hash of the package archive
PKG:dev # True if this is a development package
PKG:build-id # A hash identifying the precise package version with all its dependencies
PKG:opamfile # Path of the curent opam file
# Packages matching: installed
# Name # Installed # Repository # Synopsis
base-bigarray base default
base-domains base default
base-nnp base default Naked pointers prohibited in the OCaml heap
base-threads base default
base-unix base default
dune 3.16.0 default Fast, portable, and opinionated build system
host-arch-s390x 1 default OCaml on 64-bit IBM z/Architecture
host-system-other 1 default OCaml on an unidentified system
multicoretests dev pinned to version dev at file:///src
ocaml 5.2.0 default The OCaml compiler (virtual package)
ocaml-base-compiler 5.2.0 default pinned to version 5.2.0
ocaml-config 3 default OCaml Switch Configuration
ocaml-options-vanilla 1 default Ensure that OCaml is compiled with no special options enabled
opam-depext 1.2.3 default Install OS distribution packages
qcheck-core 0.22 default Core qcheck library
qcheck-lin dev pinned to version dev at file:///src
qcheck-multicoretests-util dev pinned to version dev at file:///src
qcheck-stm dev pinned to version dev at file:///src
2024-09-10 08:21.58 ---> saved as "d37c5ca279883faa8a3419f95dff5d89d7af3180c049d02240e6653a6bee9840"
/src: (copy (src .) (dst /src))
2024-09-10 08:21.58 ---> saved as "e1505d257323f214530cd432cc5d5b704dcf69f8e1d91b47bbd4039dbf5bd009"
/src: (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice"))
STM ensure cleanup: sequential test OK
STM ensure cleanup: parallel test OK
random seed: 301717275
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency
[ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency (generating)
[✓] 1000 0 0 1000 / 1000 0.0s STM test exception during next_state consistency
================================================================================
success (ran 1 tests)
STM test exception during next_state sequential failed with Random_next_state_failure as expected
STM test exception during next_state parallel failed with Random_next_state_failure as expected
Skipping src/io/lin_internal_tests.exe from the test suite
Skipping src/array/lin_internal_tests.exe from the test suite
Skipping src/atomic/lin_internal_tests.exe from the test suite
Skipping src/domain/lin_tests_dls.exe from the test suite
Skipping src/hashtbl/lin_internal_tests.exe from the test suite
Skipping src/lazy/lin_internal_tests.exe from the test suite
Skipping src/neg_tests/lin_tests_thread.exe from the test suite
Skipping src/queue/lin_internal_tests.exe from the test suite
Skipping src/stack/lin_internal_tests.exe from the test suite
Skipping src/io/lin_tests_thread.exe from the test suite
Skipping src/lazy/lin_tests.exe from the test suite
Skipping src/neg_tests/lin_internal_tests_domain.exe from the test suite
Skipping src/neg_tests/lin_internal_tests_effect.exe from the test suite
random seed: 280366011
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 42.1s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[ ] 409 0 0 409 / 500 17.9s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 22.2s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 336684782
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 6.6s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 210156332
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)
[✓] 2 0 1 1 / 1000 4.0s Lin Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Array stress test with Domain
[✓] 1000 0 0 1000 / 1000 11.1s Lin Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Array test with Domain failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Array.fill t 0 4 '`' Array.to_list t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Array test with Domain:
Results incompatible with sequential execution
|
|
.---------------------------------------------------------------------------------------------------.
| |
Array.fill t 0 4 '`' : Ok (()) Array.to_list t : ['`'; '`'; '`'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 153268994
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 22.3s Lin Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 214055161
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 11.1s Lin Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl stress test with Domain
[✓] 1000 0 0 1000 / 1000 10.4s Lin Hashtbl stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Hashtbl test with Domain failed as expected (29 shrink steps):
|
Hashtbl.add t '_' 0
|
.---------------------.
| |
Hashtbl.clear t Hashtbl.remove t '_'
Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Hashtbl test with Domain:
Results incompatible with sequential execution
|
Hashtbl.add t '_' 0 : ()
|
.------------------------------------.
| |
Hashtbl.clear t : () Hashtbl.remove t '_' : ()
Hashtbl.length t : -1
================================================================================
success (ran 2 tests)
random seed: 343481750
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)
[✓] 8 0 1 7 / 1000 4.5s Lin In_channel test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin In_channel stress test with Domain
[✓] 1000 0 0 1000 / 1000 16.2s Lin In_channel stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin In_channel test with Domain failed as expected (15 shrink steps):
|
|
.------------------------.
| |
In_channel.input_line t In_channel.seek t 7
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin In_channel test with Domain:
Results incompatible with sequential execution
|
|
.---------------------------------------------.
| |
In_channel.input_line t : Ok (Some ("debu")) In_channel.seek t 7 : Ok (())
================================================================================
success (ran 2 tests)
random seed: 199761893
generated error fail pass / total time test name
[ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain (generating)
[✓] 5 0 1 4 / 10000 4.4s Lin ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain
[✓] 3 0 1 2 / 10000 2.5s Lin ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain
[✓] 1 0 1 0 / 10000 3.5s Lin CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain
[✓] 1 0 1 0 / 10000 2.1s Lin CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin ref int test with Domain failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Sut_int.decr t 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.decr t : () Sut_int.add t 3 : ()
Sut_int.get t : 3
--- Info -----------------------------------------------------------------------
Negative test Lin ref int64 test with Domain failed as expected (33 shrink steps):
|
|
.---------------------.
| |
Sut_int64.incr t Sut_int64.set t 2
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.incr t : () Sut_int64.set t 2 : ()
Sut_int64.get t : 1
--- Info -----------------------------------------------------------------------
Negative test Lin CList int test with Domain failed as expected (29 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 (26 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 6 CList.add_node t 4
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 4 : true
CList.member t 6 : false
================================================================================
success (ran 4 tests)
random seed: 272651392
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.5s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 1 0 1 0 / 1000 3.2s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (36 shrink steps):
|
Fill (5, 9, 'Q')
|
.---------------------.
| |
Stable_sort To_list
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
Fill (5, 9, 'Q') : Ok (())
|
.-------------------------------------------------------------------------------------------.
| |
Stable_sort : () To_list : ['a'; 'a'; 'a'; 'a'; 'a'; 'Q'; 'Q'; 'Q'; 'Q'; 'Q'; 'Q'; 'Q'; 'Q'; 'Q'; 'Q'; 'Q']
================================================================================
success (ran 2 tests)
random seed: 51397874
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.5s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 241771934
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
[✓] 8 0 1 7 / 200 3.7s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (30 shrink steps):
|
Add ('u', 2)
|
.---------------------.
| |
Add ('=', 313) Clear
Find_opt '=' Length
Mem 'p' Mem '-'
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Add ('u', 2) : ()
|
.------------------------------------.
| |
Add ('=', 313) : () Clear : ()
Find_opt '=' : None Length : 1
Mem 'p' : false Mem '-' : false
================================================================================
success (ran 2 tests)
random seed: 32916416
generated error fail pass / total time test name
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential (generating)
[✓] 200 0 0 200 / 200 4.0s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.1s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 4.0s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[ ] 3 0 0 3 / 200 57.1s STM Lazy test parallel (shrinking: 6.0004)
[✓] 4 0 1 3 / 200 113.6s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[ ] 153 0 0 153 / 200 3.5s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 4.1s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 3 0 0 3 / 200 62.7s STM Lazy test parallel from_fun (shrinking: 7.0002)
[✓] 4 0 1 3 / 200 116.3s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (9 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 2; _ -> 97}) Force_val
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.-------------------------------------------------------------------.
| |
Map_val ({700 -> 2; _ -> 97}) : Error (CamlinternalLazy.Undefined) Force_val : Ok (700)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (9 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 2; _ -> 97}) Force_val
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.-------------------------------------------------------------------.
| |
Map_val ({700 -> 2; _ -> 97}) : Error (CamlinternalLazy.Undefined) Force_val : Ok (700)
================================================================================
success (ran 6 tests)
random seed: 99515077
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.6s STM Domain.DLS test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test parallel
[✓] 7 0 1 6 / 1000 0.2s STM Domain.DLS test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS stress test parallel
[✓] 1000 0 0 1000 / 1000 24.6s STM Domain.DLS stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Domain.DLS test parallel failed as expected (8 shrink steps):
|
|
.---------------------.
| |
Set (1, 5) Set (0, 8)
Get 0 Get 1
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Domain.DLS test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Set (1, 5) : () Set (0, 8) : ()
Get 0 : 0 Get 1 : 1
================================================================================
success (ran 3 tests)
random seed: 154850547
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.5s STM Out_channel test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Out_channel test parallel
[✓] 1142 0 0 1000 / 1000 35.9s STM Out_channel test parallel
================================================================================
success (ran 2 tests)
random seed: 422199917
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.2s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 5.3s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 4 0 1 3 / 1000 3.9s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 7 0 1 6 / 1000 5.5s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (18 shrink steps):
|
|
.---------------------.
| |
Add_node (1) Add_node (9)
Member (9)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (1) : true Add_node (9) : true
Member (9) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (25 shrink steps):
|
|
.---------------------.
| |
Add_node (94) Add_node (755)
Member (94)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (94) : true Add_node (755) : true
Member (94) : false
================================================================================
success (ran 4 tests)
random seed: 291047879
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: 527919251
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)
[✓] 11 0 1 10 / 1000 17.8s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 2 0 1 1 / 1000 4.6s STM int64 ref test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (39 shrink steps):
|
|
.---------------------.
| |
Add 1 Add 2
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 1 : () Add 2 : ()
Get : 2
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (31 shrink steps):
|
|
.---------------------.
| |
Decr Add 2L
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Decr : () Add 2L : ()
Get : -1
================================================================================
success (ran 2 tests)
random seed: 171560106
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)
[✓] 6 0 1 5 / 5000 14.7s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test parallel asymmetric
[✓] 2 0 1 1 / 5000 1.8s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (28 shrink steps):
|
|
.---------------------.
| |
Add 33 Incr
Get Incr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Add 33 : () Incr : ()
Get : 2 Incr : ()
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Add 6L Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Add 6L : () Decr : ()
Get : 6
================================================================================
success (ran 2 tests)
random seed: 168350343
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 56.9s Thread.create/join
================================================================================
success (ran 1 tests)
random seed: 261376433
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.0s Mash up of threads and domains
[ ] 299 0 0 299 / 500 120.1s Mash up of threads and domains
[ ] 446 0 0 446 / 500 180.3s Mash up of threads and domains
[✓] 500 0 0 500 / 500 202.2s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 520416195
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 10.7s negative Lin Dynlink test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Dynlink stress test with Domain
[ ] 595 0 0 595 / 1000 49.5s Lin Dynlink stress test with Domain
[✓] 1000 0 0 1000 / 1000 78.2s Lin Dynlink stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test negative Lin Dynlink test with Domain failed as expected (0 shrink steps):
|
Dynlink.loadfile libC.cmxs
Dynlink.main_program_units ()
Dynlink.all_units ()
Dynlink.loadfile libB.cmxs
Dynlink.main_program_units ()
Dynlink.loadfile libB.cmxs
Dynlink.main_program_units ()
Dynlink.loadfile libB.cmxs
Dynlink.all_units ()
Dynlink.main_program_units ()
|
.------------------------------.
| |
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.loadfile libA.cmxs
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.loadfile libA.cmxs Dynlink.all_units ()
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.loadfile libA.cmxs Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.loadfile libA.cmxs
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin Dynlink test with Domain:
Results incompatible with sequential execution
|
Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll Failure("/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory")))
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.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 libB.cmxs : Ok (())
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.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.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB"))
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
|
.--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libA.cmxs : 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.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 : Ok (()) 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.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.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
================================================================================
success (ran 2 tests)
random seed: 360610283
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 8.8s Lin Bigarray.Array1 stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 128618196
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Ephemeron stress test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Ephemeron stress test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 13.9s Lin Ephemeron stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 58251212
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain (generating)
[✓] 1 0 1 0 / 1000 3.6s Lin Float.Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Float.Array stress test with Domain
[✓] 1000 0 0 1000 / 1000 11.5s Lin Float.Array stress test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin Float.Array test with Domain failed as expected (24 shrink steps):
|
Float.Array.set t 0 479.245016507
|
.----------------------------------.
| |
Float.Array.fast_sort t Float.Array.to_seq t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Float.Array test with Domain:
Results incompatible with sequential execution
|
Float.Array.set t 0 479.245016507 : Ok (())
|
.-------------------------------------------------------------------------------------------------------------------------.
| |
Float.Array.fast_sort t : () Float.Array.to_seq t : <479.245016507; 0.; 0.; 0.; 0.; 0.; 0.; 479.245016507; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 479.245016507>
================================================================================
success (ran 2 tests)
random seed: 392509961
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 12.1s Lin Weak stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 440164686
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
[✓] 2 0 1 0 / 1000 8.2s STM Buffer test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Buffer stress test parallel
[✓] 1394 0 0 1000 / 1000 42.0s STM Buffer stress test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (43 shrink steps):
|
|
.----------------------------------------------------.
| |
Add_bytes "~\174\005\022\2512.\183\1... (truncated) Add_string "q2\193\147\160\234\235s\... (truncated)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------------------------------.
| |
Add_bytes "~\174\005\022\2512.\183\1... (truncated) : Error (Invalid_argument("String.blit / Bytes.blit_string")) Add_string "q2\193\147\160\234\235s\... (truncated) : Ok (())
================================================================================
success (ran 3 tests)
random seed: 405317848
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 1.9s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (20 shrink steps):
|
|
.---------------------.
| |
Fill (3, 8, '*') To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------.
| |
Fill (3, 8, '*') : Ok (()) To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; '*'; '*'; '*'; '*'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 457995769
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)
[✓] 583 0 0 200 / 200 3.0s STM Semaphore.Counting test parallel (w/o get_value)
================================================================================
success (ran 3 tests)
random seed: 119702775
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential (generating)
[✓] 1000 0 0 1000 / 1000 1.7s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[✓] 200 0 0 200 / 200 11.0s STM Sys test parallel
[ ] 0 0 0 0 / 1000 0.0s STM Sys stress test parallel
[ ] 770 0 0 770 / 1000 47.4s STM Sys stress test parallel
[✓] 1000 0 0 1000 / 1000 61.5s STM Sys stress test parallel
================================================================================
success (ran 3 tests)
random seed: 254723993
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain (generating)
[✓] 5 0 1 4 / 1000 2.5s Lin Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Queue stress test with Domain
[✓] 1000 0 0 1000 / 1000 9.9s Lin Queue stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread
[✓] 250 0 0 250 / 250 2.2s Lin Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Queue test with Domain failed as expected (20 shrink steps):
|
Queue.add 2 t
|
.---------------------.
| |
Queue.take t Queue.take_opt t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Queue test with Domain:
Results incompatible with sequential execution
|
Queue.add 2 t : ()
|
.------------------------------------.
| |
Queue.take t : Ok (2) Queue.take_opt t : Some (2)
================================================================================
success (ran 3 tests)
random seed: 383356098
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Stack test with Domain (generating)
[✓] 2 0 1 1 / 1000 2.5s Lin Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Stack stress test with Domain
[✓] 1000 0 0 1000 / 1000 9.5s Lin Stack stress test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread
[✓] 250 0 0 250 / 250 2.2s Lin Stack test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin Stack test with Domain failed as expected (16 shrink steps):
|
Stack.pop t
Stack.push 4 t
|
.---------------------.
| |
Stack.push 3 t Stack.pop_opt t
Stack.is_empty t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin Stack test with Domain:
Results incompatible with sequential execution
|
Stack.pop t : Error (Stdlib.Stack.Empty)
Stack.push 4 t : ()
|
.-----------------------------------------.
| |
Stack.push 3 t : () Stack.pop_opt t : Some (4)
Stack.is_empty t : true
================================================================================
success (ran 3 tests)
random seed: 440383046
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 19.7s Lin Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 7.7s Lin Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 476160935
generated error fail pass / total time test name
[ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread
[ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread (generating)
[✓] 250 0 0 250 / 250 4.0s STM int ref test with Thread
[ ] 0 0 0 0 / 5000 0.0s STM int64 ref test with Thread
[✓] 91 0 1 90 / 5000 20.3s STM int64 ref test with Thread
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test with Thread failed as expected (18 shrink steps):
|
|
.---------------------.
| |
Incr Decr
Get Add 23L
Decr
Add 867L
Incr
Incr
Decr
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test with Thread:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Incr : () Decr : ()
Get : -1 Add 23L : ()
Decr : ()
Add 867L : ()
Incr : ()
Incr : ()
Decr : ()
================================================================================
success (ran 2 tests)
random seed: 73592308
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
[✓] 2 0 1 1 / 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
[✓] 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 (68 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 (73 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 (71 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 (73 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: 228854266
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic
[ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic (generating)
[✓] 1000 0 0 1000 / 1000 0.9s thread_createtree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 291568713
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
[✓] 3 0 1 2 / 5000 3.3s STM BigArray test parallel
--- Info -----------------------------------------------------------------------
Negative test STM BigArray test parallel failed as expected (19 shrink steps):
|
|
.---------------------.
| |
Fill 5 Set (15, 1)
Get 0 Fill 7
Get 8
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM BigArray test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill 5 : Ok (()) Set (15, 1) : Ok (())
Get 0 : Ok (7) Fill 7 : Ok (())
Get 8 : Ok (5)
================================================================================
success (ran 2 tests)
random seed: 115067158
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
[✓] 9 0 1 8 / 1000 28.1s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (29 shrink steps):
|
Replace (4L, 5L)
|
.---------------------.
| |
Remove 4L Clean
Find_opt 4L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
Replace (4L, 5L) : ()
|
.------------------------------------.
| |
Remove 4L : () Clean : ()
Find_opt 4L : Some (5)
================================================================================
success (ran 1 tests)
random seed: 53574303
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.5s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 1 0 1 0 / 1000 3.2s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (28 shrink steps):
|
|
.--------------------------.
| |
Set (1, 0.00121336793633) Sort
To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
|
.----------------------------------------------------------------------------------------.
| |
Set (1, 0.00121336793633) : Ok (()) Sort : ()
To_seq : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 0.00121336793633; 1.; 1.]
================================================================================
success (ran 2 tests)
random seed: 91350655
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 12.8s Lin Weak HashSet stress test with Domain
================================================================================
success (ran 1 tests)
random seed: 439437292
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential (generating)
[✓] 1000 0 0 1000 / 1000 0.2s STM Weak test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s STM Weak test parallel
[✓] 43 0 1 42 / 5000 11.5s STM Weak test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak test parallel failed as expected (31 shrink steps):
|
|
.----------------------.
| |
Fill (5, 4, Some 20L) Fill (2, 7, Some 4L)
Get 7
Get 5
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill (5, 4, Some 20L) : Ok (()) Fill (2, 7, Some 4L) : Ok (())
Get 7 : Ok (Some (20))
Get 5 : Ok (Some (4))
================================================================================
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.2s STM Weak stress test parallel
================================================================================
success (ran 1 tests)
random seed: 346581979
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
[✓] 148 0 1 147 / 5000 11.4s STM Weak HashSet test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak HashSet test parallel failed as expected (0 shrink steps):
|
Find 1L
Count
Merge 6L
Count
Count
Find 9L
Merge 6L
|
.---------------------.
| |
Find_all 6L Remove 6L
Find_all 6L Merge 1L
Merge 6L Merge 9L
Add 6L Mem 1L
Mem 1L Clear
Add 6L Count
Count Stats
Add 5L Stats
Find 6L Count
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak HashSet test parallel:
Results incompatible with linearized model
|
Find 1L : Error (Not_found)
Count : 0
Merge 6L : Ok (6)
Count : 1
Count : 1
Find 9L : Error (Not_found)
Merge 6L : Ok (6)
|
.------------------------------------.
| |
Find_all 6L : Ok ([]) Remove 6L : Ok (())
Find_all 6L : Ok ([]) Merge 1L : Ok (1)
Merge 6L : Ok (6) Merge 9L : Ok (9)
Add 6L : Ok (()) Mem 1L : Ok (true)
Mem 1L : Ok (false) Clear : ()
Add 6L : Ok (()) Count : 1
Count : 5 Stats : (16, 1, 3, 0, 0, 3)
Add 5L : Ok (()) Stats : (16, 1, 3, 0, 0, 3)
Find 6L : Ok (6) 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
[✓] 1000 0 0 1000 / 1000 22.5s STM Weak HashSet stress test parallel
================================================================================
success (ran 1 tests)
random seed: 358431598
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 315 / 500 4.5s STM Semaphore.Binary test parallel
================================================================================
success (ran 2 tests)
random seed: 505677210
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 9.8s Lin.Internal ref int test with Thread
[ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread
[✓] 138 0 1 137 / 15000 2.4s Lin.Internal ref int64 test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin.Internal ref int64 test with Thread failed as expected (0 shrink steps):
|
Decr
Set 2L
Set 7L
Get
Set 117L
Incr
Decr
Incr
Decr
Get
Set 68L
Set 16L
Add 653L
Incr
Add 232L
Add 56L
Set 919L
Decr
|
.---------------------.
| |
Get Set 4L
Set 6L Add 421L
Get Set 92L
Decr Incr
Add 7L Set 22L
Set 6L Get
Get Get
Add 67L Get
Set 98L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin.Internal ref int64 test with Thread:
Results incompatible with sequential execution
|
Decr : RDecr
Set 2L : RSet
Set 7L : RSet
Get : RGet 7L
Set 117L : RSet
Incr : RIncr
Decr : RDecr
Incr : RIncr
Decr : RDecr
Get : RGet 117L
Set 68L : RSet
Set 16L : RSet
Add 653L : RAdd
Incr : RIncr
Add 232L : RAdd
Add 56L : RAdd
Set 919L : RSet
Decr : RDecr
|
.------------------------------------.
| |
Get : RGet 4L Set 4L : RSet
Set 6L : RSet Add 421L : RAdd
Get : RGet 92L Set 92L : RSet
Decr : RDecr Incr : RIncr
Add 7L : RAdd Set 22L : RSet
Set 6L : RSet Get : RGet 92L
Get : RGet 6L Get : RGet 99L
Add 67L : RAdd Get : RGet 6L
Set 98L : RSet
================================================================================
success (ran 2 tests)
random seed: 317660898
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 9.9s Lin.Internal CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread
[✓] 1000 0 0 1000 / 1000 10.0s Lin.Internal CList int64 test with Thread
================================================================================
success (ran 2 tests)
2024-09-10 08:44.21 ---> saved as "048c771a55e03721cb84a719eef2796b001cdc3a03243996950d62bc8a1ee2d6"
Job succeeded
2024-09-10 08:44.21: Job succeeded