Build:
- 0
2023-07-10 15:45.01: New job: test linux-s390x/s390x/5.2/f240edd18c1af74a2f90b73183c4b239ff64a97d
2023-07-10 15:45.01: Using cache hint "linux-s390x/s390x/5.2/f240edd18c1af74a2f90b73183c4b239ff64a97d"
2023-07-10 15:45.01: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2@sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44)
(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 eaa059adf1bac315f6a20c3010c097fa8a90e672 || git fetch origin master) && git reset -q --hard eaa059adf1bac315f6a20c3010c097fa8a90e672 && 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"))
)
2023-07-10 15:45.01: Connecting to build cluster…
2023-07-10 15:45.01: Waiting for resource in pool OCluster
2023-07-10 15:45.02: Waiting for worker…
2023-07-10 15:45.02: Got resource from pool OCluster
Building on s390x-worker-02.marist.ci.dev
All commits already cached
HEAD is now at f240edd Target PR12193
(from ocaml/opam:debian-11-ocaml-5.2@sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44' locally
docker.io/ocaml/opam@sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44: Pulling from ocaml/opam
Digest: sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44
Status: Downloaded newer image for ocaml/opam@sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44
2023-07-10 15:45.55 ---> saved as "45ac2893f2683c10c04a68ecf85c296386b23011cb061678fa6b8a019ceedf26"
/: (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 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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[beta] no changes from git+https://github.com/ocaml/ocaml-beta-repository
[default] synchronised from file:///home/opam/opam-repository
2023-07-10 15:47.36 ---> saved as "e71990a8238a6e3a26faa35b434c6d323c5f7fe5b3306aa4433891067edbf430"
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2023-07-10 15:47.37 ---> saved as "991fd5aad0d3bdf471c4b2bfd0bd3fa2a3a1bd78a1156d76807f90d33ea2ef2c"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e eaa059adf1bac315f6a20c3010c097fa8a90e672 || git fetch origin master) && git reset -q --hard eaa059adf1bac315f6a20c3010c097fa8a90e672 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
030450cdf2..eaa059adf1 master -> origin/master
eaa059adf1 Merge pull request #24084 from emillon/utop-2.13.0-win32
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[beta] no changes from git+https://github.com/ocaml/ocaml-beta-repository
[default] synchronised from file:///home/opam/opam-repository
<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><>
Already up-to-date.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2023-07-10 15:49.07 ---> saved as "6a8a7efcdf4f2a0904cf908ffc258ac336326e63a9a7f20a00c171fcbabc0e9e"
/src: (run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
[override] Initialised
2023-07-10 15:49.10 ---> saved as "7c97d3c3ab192c1e3b75ec09b08e10ba4e7bd5e6a2b93513f2e30851bbd336ae"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2023-07-10 15:49.10 ---> saved as "85c2549aa78e149d7663453fd977ff06e88ac11926b1967923215e7a67604cf9"
/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)
2023-07-10 15:49.17 ---> saved as "c457185b3bf2519286e621905154013eaca7ee2772a6d508e395a04b71a29d6d"
/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 [48.4 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 s390x Packages [218 kB]
- Fetched 310 kB in 1s (549 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)
2023-07-10 15:49.28 ---> saved as "d2647065677423cb86f33ba272e01f7801c9d84b7c3878472db7cb065eab55ce"
/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.9.1 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install ocamlfind 1.9.5 [required by base-bytes]
- install base-bytes base [required by qcheck-core]
- install qcheck-core 0.21.1 [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*
===== 8 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved multicoretests.dev (file:///src)
-> retrieved ocamlfind.1.9.5 (cached)
-> retrieved dune.3.9.1 (cached)
-> retrieved qcheck-core.0.21.1 (cached)
-> retrieved qcheck-lin.dev (file:///src)
-> retrieved qcheck-multicoretests-util.dev (file:///src)
-> retrieved qcheck-stm.dev (file:///src)
-> installed ocamlfind.1.9.5
-> installed base-bytes.base
-> installed dune.3.9.1
-> installed qcheck-core.0.21.1
-> 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
2023-07-10 15:50.47 ---> saved as "62a244018cf0d8bf83e808e94b206ed7764cd3e26b9f457010290e9313f25dcb"
/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+dev0-2023-04-11
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
ocamlc_cppflags: -D_FILE_OFFSET_BITS=64
ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC
ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64
bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
bytecomp_c_libraries: -lzstd -lm -ldl -lpthread
native_c_libraries: -lzstd -lm -ldl -lpthread
native_pack_linker: ld -r -o
native_compiler: false
architecture: s390x
model: z10
int_size: 63
word_size: 64
system: elf
asm: gcc -c
asm_cfi_supported: false
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
windows_unicode: false
supports_shared_libraries: true
native_dynlink: false
naked_pointers: false
compression_supported: true
exec_magic_number: Caml1999X033
cmi_magic_number: Caml1999I033
cmo_magic_number: Caml1999O033
cma_magic_number: Caml1999A033
cmx_magic_number: Caml1999Y033
cmxa_magic_number: Caml1999Z033
ast_impl_magic_number: Caml1999M033
ast_intf_magic_number: Caml1999N033
cmxs_magic_number: Caml1999D033
cmt_magic_number: Caml1999T033
linear_magic_number: Caml1999L033
<><> 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.5 # 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-bytes base default Bytes library distributed with the OCaml compiler
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.9.1 default Fast, portable, and opinionated build system
multicoretests dev pinned to version dev at file:///src
ocaml 5.2.0 default The OCaml compiler (virtual package)
ocaml-beta enabled beta OCaml beta releases enabled
ocaml-config 3 default OCaml Switch Configuration
ocaml-option-bytecode-only 1 default Compile OCaml without the native-code compiler
ocaml-variants 5.2.0+trunk default pinned to version 5.2.0+trunk
ocamlfind 1.9.5 default A library manager for OCaml
opam-depext 1.2.1-1 default Install OS distribution packages
qcheck-core 0.21.1 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
2023-07-10 15:50.49 ---> saved as "0c05f924e7b25859afc289ad2cf2fe7a59176e58721c25772e857f683b48eb2f"
/src: (copy (src .) (dst /src))
2023-07-10 15:50.50 ---> saved as "6591f257a18deafad7c9370b065b74cc0e880a4655993351d4fc16ddd33f4d81"
/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
Skipping src/array/lin_tests.exe from the test suite
Skipping src/atomic/lin_tests.exe from the test suite
Skipping src/bigarray/stm_tests.exe from the test suite
Skipping src/hashtbl/lin_tests.exe from the test suite
Skipping src/lazy/lin_tests.exe from the test suite
Skipping src/queue/lin_tests.exe from the test suite
Skipping src/stack/lin_tests.exe from the test suite
Skipping src/lazy/lin_tests_dsl.exe from the test suite
Skipping src/io/lin_tests.exe from the test suite
Skipping src/neg_tests/lin_tests_dsl_thread.exe from the test suite
Skipping src/io/lin_tests_dsl_thread.exe from the test suite
Skipping src/neg_tests/lin_tests_domain.exe from the test suite
Skipping src/neg_tests/lin_tests_effect.exe from the test suite
random seed: 51493665
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)
[ ] 44 0 0 44 / 100 60.5s Domain.spawn/join - tak work
[ ] 69 0 0 69 / 100 120.5s Domain.spawn/join - tak work
[ ] 93 0 0 93 / 100 182.7s Domain.spawn/join - tak work
[✓] 100 0 0 100 / 100 195.9s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[ ] 34 0 0 34 / 500 49.3s Domain.spawn/join - atomic
[ ] 412 0 0 412 / 500 110.2s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 129.0s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 327258504
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s Thread.create/join - tak work
[ ] 0 0 0 0 / 100 0.0s Thread.create/join - tak work (generating)
[ ] 12 0 0 12 / 100 62.3s Thread.create/join - tak work
[ ] 24 0 0 24 / 100 122.7s Thread.create/join - tak work
[ ] 35 0 0 35 / 100 184.4s Thread.create/join - tak work
[ ] 46 0 0 46 / 100 248.4s Thread.create/join - tak work
[ ] 58 0 0 58 / 100 314.5s Thread.create/join - tak work
[ ] 74 0 0 74 / 100 378.9s Thread.create/join - tak work
[ ] 91 0 0 91 / 100 442.5s Thread.create/join - tak work
[✓] 100 0 0 100 / 100 492.9s Thread.create/join - tak work
[ ] 0 0 0 0 / 500 0.0s Thread.create/join - atomic
[✓] 500 0 0 500 / 500 4.5s Thread.create/join - atomic
================================================================================
success (ran 2 tests)
random seed: 468369963
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)
[ ] 36 0 0 36 / 500 60.0s Mash up of threads and domains
[ ] 72 0 0 72 / 500 122.2s Mash up of threads and domains
[ ] 106 0 0 106 / 500 183.6s Mash up of threads and domains
[ ] 140 0 0 140 / 500 244.0s Mash up of threads and domains
[ ] 182 0 0 182 / 500 304.7s Mash up of threads and domains
[ ] 215 0 0 215 / 500 366.0s Mash up of threads and domains
[ ] 248 0 0 248 / 500 428.6s Mash up of threads and domains
[ ] 289 0 0 289 / 500 489.0s Mash up of threads and domains
[ ] 336 0 0 336 / 500 551.8s Mash up of threads and domains
[ ] 382 0 0 382 / 500 614.0s Mash up of threads and domains
[ ] 417 0 0 417 / 500 674.9s Mash up of threads and domains
[ ] 455 0 0 455 / 500 737.2s Mash up of threads and domains
[ ] 488 0 0 488 / 500 797.3s Mash up of threads and domains
[✓] 500 0 0 500 / 500 811.8s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 301560967
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 13.4s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 435876653
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)Thread 6995 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7000 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 70863 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 71047 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 71289 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 341741 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 341742 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 438647 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 582731 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 656832 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 656674 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 656850 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 833969 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013487 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013488 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013492 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013496 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013491 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013506 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013508 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013361 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1013368 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179011 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179012 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179016 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179020 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179030 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179031 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1178981 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179034 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179038 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179049 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1179055 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1492327 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1492330 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1492331 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1492332 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588743 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588570 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588767 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588635 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588772 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588776 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588777 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1588782 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1660571 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1660714 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 61.2s thread_createtree - with Atomic (shrinking: 10.0006)Thread 1931339 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1931210 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1931352 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2394358 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2454627 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2567122 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2567138 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2567012 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3278421 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3278290 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3278301 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3278424 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3278325 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3454520 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3454388 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3498268 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3498272 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3498297 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3498154 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3562117 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 121.9s thread_createtree - with Atomic (shrinking: 18.0006)Thread 4370573 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4370574 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4370579 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4370581 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4370583 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4658395 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4773124 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4773125 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4773126 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5034796 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5208683 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5333182 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5553061 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 182.6s thread_createtree - with Atomic (shrinking: 25.0003)Thread 5661128 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5836537 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5963915 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5963921 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6081577 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6081578 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6081583 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6354891 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6528363 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6817357 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6938071 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6937979 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6937983 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6938083 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6938087 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7151828 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7204467 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 243.5s thread_createtree - with Atomic (shrinking: 35.0006)Thread 7344664 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344667 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344669 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344670 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344672 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344675 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344676 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344678 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7344679 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7404436 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7404437 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7404446 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7404454 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7645279 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7902275 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7902192 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7979817 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8659589 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9098934 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9098821 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9098838 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 303.5s thread_createtree - with Atomic (shrinking: 42.0004)Thread 9224519 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9432171 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9491400 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9491398 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9578726 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9622279 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10095459 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10179260 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10289709 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10289712 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10289711 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10366419 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10366420 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10381006 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10489644 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10489744 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10512434 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10699720 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10754867 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 363.7s thread_createtree - with Atomic (shrinking: 54.0005)Thread 10848205 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10949203 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11055002 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11058881 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11178690 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11178693 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11178694 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11262907 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11365557 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11494994 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11681151 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11681159 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11711999 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11830231 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11830177 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12014935 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12032442 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12114426 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12114431 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12150130 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12150131 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12150091 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12233319 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12301006 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12301007 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12317473 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12335474 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12335478 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 424.0s thread_createtree - with Atomic (shrinking: 71.0006)Thread 12385443 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12436276 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12436245 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12436284 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12436246 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12523383 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12592918 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12610120 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12664584 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12664585 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12769195 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12828750 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12828847 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12927627 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12955949 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12995094 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13028558 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13028524 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13028574 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13036152 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13068080 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13068085 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13068086 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13153251 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13271235 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13491468 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13560155 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13608820 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13731310 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13759891 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13824250 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13979599 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13979577 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14023771 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14023780 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14103273 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 485.1s thread_createtree - with Atomic (shrinking: 93.0011)Thread 14182858 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14258237 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14286543 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14392914 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14412804 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14441755 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14441756 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14441739 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14441773 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14491867 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14580524 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14718427 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14796914 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15108087 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15122363 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15135118 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15486640 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15521343 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15563861 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15605184 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15623009 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15741116 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15776928 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15828124 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 222 0 0 222 / 1000 545.3s thread_createtree - with Atomic (shrinking: 114.0006)Thread 15937931 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15988336 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16012902 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16024751 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16024757 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16054847 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16058083 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16074139 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16074162 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16117778 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16161213 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16177150 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16177148 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16177149 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16223585 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16288414 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16329149 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16342189 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16438406 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16445608 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16447161 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16506497 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16519258 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16537179 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16550489 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16598640 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[✗] 223 0 1 222 / 1000 585.4s thread_createtree - with Atomic
--- Failure --------------------------------------------------------------------
Test thread_createtree - with Atomic failed (136 shrink steps):
Create [Decr; Decr; Incr; Incr; Incr; Incr; Create [Incr; Incr; Incr; Incr;
Incr; Create [Create [Incr; Decr; Incr; Decr]; Decr; Create [Decr]; Decr;
Create [Create [Incr; Incr; Incr]]; Create [Create [Decr]; Decr;
Create [Decr; Incr; Incr]; Decr; Decr; Decr; Create [Incr; Decr; Decr]]]];
Create [Incr;
Incr]]
================================================================================
failure (1 tests failed, 0 tests errored, ran 1 tests)
File "src/thread/dune", line 14, characters 7-24:
14 | (name thread_createtree)
^^^^^^^^^^^^^^^^^
(cd _build/default/src/thread && ./thread_createtree.exe --verbose)
Command exited with code 1.
random seed: 263962857
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Array test with Domain (generating)
[✓] 2 0 1 1 / 1000 5.2s Lin DSL Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Array test with Domain failed as expected (31 shrink steps):
|
Array.set t 1 'N'
Array.length t
|
.---------------------.
| |
Array.sort t Array.mem 'N' t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Array test with Domain:
Results incompatible with sequential execution
|
Array.set t 1 'N' : Ok (())
Array.length t : 16
|
.------------------------------------.
| |
Array.sort t : () Array.mem 'N' t : false
================================================================================
success (ran 1 tests)
random seed: 105855596
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 2.8s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 2 0 1 1 / 1000 2.8s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (26 shrink steps):
|
|
.---------------------.
| |
Fill (1, 9, '=') To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------.
| |
Fill (1, 9, '=') : Ok (()) To_seq : ['a'; 'a'; '='; '='; '='; '='; '='; '='; '='; '='; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 372948200
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Atomic test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Atomic test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 35.8s Lin DSL Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 493644552
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s Lin DSL Bigarray.Array1 (of ints) test with Domain
[ ] 0 0 0 0 / 5000 0.0s Lin DSL Bigarray.Array1 (of ints) test with Domain (generating)
[ ] 591 0 0 591 / 5000 60.0s Lin DSL Bigarray.Array1 (of ints) test with Domain
[✓] 732 0 1 731 / 5000 94.1s Lin DSL Bigarray.Array1 (of ints) test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Bigarray.Array1 (of ints) test with Domain failed as expected (22 shrink steps):
|
|
.--------------------------------.
| |
Bigarray.Array1.size_in_bytes t Bigarray.Array1.set t 1 4
Bigarray.Array1.fill t 4 Bigarray.Array1.fill t 20
Bigarray.Array1.get t 6 Bigarray.Array1.get t 2
Bigarray.Array1.set t 9 7
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Bigarray.Array1 (of ints) test with Domain:
Results incompatible with sequential execution
|
|
.--------------------------------------.
| |
Bigarray.Array1.size_in_bytes t : 128 Bigarray.Array1.set t 1 4 : Ok (())
Bigarray.Array1.fill t 4 : () Bigarray.Array1.fill t 20 : ()
Bigarray.Array1.get t 6 : Ok (20) Bigarray.Array1.get t 2 : Ok (4)
Bigarray.Array1.set t 9 7 : Ok (())
================================================================================
success (ran 1 tests)
random seed: 52860848
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Hashtbl test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Hashtbl test with Domain (generating)
[✓] 1 0 1 0 / 1000 14.7s Lin DSL Hashtbl test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Hashtbl test with Domain failed as expected (2 shrink steps):
|
Hashtbl.find_all t 'y'
Hashtbl.clear t
Hashtbl.clear t
Hashtbl.length t
Hashtbl.mem t '8'
Hashtbl.length t
|
.------------------------.
| |
Hashtbl.clear t Hashtbl.add t ' ' 6
Hashtbl.find_all t ',' Hashtbl.clear t
Hashtbl.clear t Hashtbl.remove t '+'
Hashtbl.remove t 'H' Hashtbl.mem t 'E'
Hashtbl.find_opt t 'i' Hashtbl.length t
Hashtbl.mem t '\\' Hashtbl.find t '#'
Hashtbl.remove t 'f' Hashtbl.remove t '1'
Hashtbl.mem t '7' Hashtbl.find t '/'
Hashtbl.clear t Hashtbl.replace t '5' 4
Hashtbl.find_all t 'd' Hashtbl.length t
Hashtbl.remove t '>' Hashtbl.mem t '?'
Hashtbl.add t 'h' 3 Hashtbl.mem t ']'
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Hashtbl test with Domain:
Results incompatible with sequential execution
|
Hashtbl.find_all t 'y' : []
Hashtbl.clear t : ()
Hashtbl.clear t : ()
Hashtbl.length t : 0
Hashtbl.mem t '8' : false
Hashtbl.length t : 0
|
.---------------------------------------.
| |
Hashtbl.clear t : () Hashtbl.add t ' ' 6 : ()
Hashtbl.find_all t ',' : [] Hashtbl.clear t : ()
Hashtbl.clear t : () Hashtbl.remove t '+' : ()
Hashtbl.remove t 'H' : () Hashtbl.mem t 'E' : false
Hashtbl.find_opt t 'i' : None Hashtbl.length t : 2
Hashtbl.mem t '\\' : false Hashtbl.find t '#' : Error (Not_found)
Hashtbl.remove t 'f' : () Hashtbl.remove t '1' : ()
Hashtbl.mem t '7' : false Hashtbl.find t '/' : Error (Not_found)
Hashtbl.clear t : () Hashtbl.replace t '5' 4 : ()
Hashtbl.find_all t 'd' : [] Hashtbl.length t : 3
Hashtbl.remove t '>' : () Hashtbl.mem t '?' : false
Hashtbl.add t 'h' 3 : () Hashtbl.mem t ']' : false
================================================================================
success (ran 1 tests)
random seed: 377729427
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Queue test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Queue test with Domain (generating)
[✓] 3 0 1 2 / 1000 3.3s Lin DSL Queue test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Queue test with Thread
[ ] 97 0 0 97 / 250 56.8s Lin DSL Queue test with Thread
[ ] 198 0 0 198 / 250 116.9s Lin DSL Queue test with Thread
[✓] 250 0 0 250 / 250 144.8s Lin DSL Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Queue test with Domain failed as expected (25 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.take t Queue.take t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Queue test with Domain:
Results incompatible with sequential execution
|
Queue.add 0 t : ()
|
.------------------------------------.
| |
Queue.take t : Ok (0) Queue.take t : Ok (0)
================================================================================
success (ran 2 tests)
random seed: 262722709
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Float.Array test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Float.Array test with Domain (generating)
[✓] 1 0 1 0 / 1000 5.9s Lin DSL Float.Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Float.Array test with Domain failed as expected (24 shrink steps):
|
Float.Array.fill t 0 1 -8.40083033045
|
.--------------------------------------.
| |
Float.Array.sort t Float.Array.to_list t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Float.Array test with Domain:
Results incompatible with sequential execution
|
Float.Array.fill t 0 1 -8.40083033045 : Ok (())
|
.-----------------------------------------------------------------------------------------------------------------.
| |
Float.Array.sort t : () Float.Array.to_list t : [-8.40083033045; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; -8.40083033045; 0.; 0.]
================================================================================
success (ran 1 tests)
random seed: 308148851
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.2s STM Atomic test sequential
[ ] 0 0 0 0 / 250 0.0s STM Atomic test parallel
[✓] 250 0 0 250 / 250 15.2s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 219819630
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.2s STM Hashtbl test sequential
[ ] 0 0 0 0 / 200 0.0s STM Hashtbl test parallel
[✓] 4 0 1 3 / 200 6.0s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (19 shrink steps):
|
Replace ('s', 0)
|
.---------------------.
| |
Add ('s', 6) Clear
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
Replace ('s', 0) : ()
|
.------------------------------------.
| |
Add ('s', 6) : () Clear : ()
Length : 2
================================================================================
success (ran 2 tests)
random seed: 214822568
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 15.8s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.4s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 15.9s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[ ] 13 0 0 13 / 200 30.1s STM Lazy test parallel
[ ] 23 0 0 23 / 200 100.6s STM Lazy test parallel (shrinking: 2.0003)
[ ] 23 0 0 23 / 200 171.1s STM Lazy test parallel (shrinking: 4.0002)
[ ] 23 0 0 23 / 200 240.2s STM Lazy test parallel (shrinking: 5.0002)
[ ] 23 0 0 23 / 200 308.6s STM Lazy test parallel (shrinking: 6.0002)
[ ] 24 0 1 23 / 200 376.7s STM Lazy test parallel
[✓] 24 0 1 23 / 200 376.7s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 17.3s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 19 0 0 19 / 200 45.4s STM Lazy test parallel from_fun
[ ] 23 0 0 23 / 200 121.4s STM Lazy test parallel from_fun (shrinking: 3.0002)
[ ] 23 0 0 23 / 200 188.5s STM Lazy test parallel from_fun (shrinking: 4.0003)
[ ] 23 0 0 23 / 200 255.3s STM Lazy test parallel from_fun (shrinking: 5.0003)
[ ] 23 0 0 23 / 200 322.3s STM Lazy test parallel from_fun (shrinking: 6.0003)
[✓] 24 0 1 23 / 200 366.0s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (6 shrink steps):
|
|
.--------------------------.
| |
Map ({700 -> 6; _ -> 6}) Map ({700 -> 7; _ -> 82})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.--------------------------------------------------------------.
| |
Map ({700 -> 6; _ -> 6}) : Error (CamlinternalLazy.Undefined) Map ({700 -> 7; _ -> 82}) : Ok (7)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (6 shrink steps):
|
|
.--------------------------.
| |
Map ({700 -> 6; _ -> 6}) Map ({700 -> 7; _ -> 82})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.--------------------------------------------------------------.
| |
Map ({700 -> 6; _ -> 6}) : Error (CamlinternalLazy.Undefined) Map ({700 -> 7; _ -> 82}) : Ok (7)
================================================================================
success (ran 6 tests)
random seed: 530553036
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 2.6s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[✓] 3 0 1 2 / 1000 2.7s STM Buffer test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (11 shrink steps):
|
|
.-----------------------------.
| |
Add_char 'B' Add_bytes "\189\007\167\012"
Contents
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
|
.---------------------------------------.
| |
Add_char 'B' : Ok (()) Add_bytes "\189\007\167\012" : Ok (())
Contents : Ok ("B")
================================================================================
success (ran 2 tests)
random seed: 13375723
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 1.9s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 7 0 1 6 / 1000 12.1s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (28 shrink steps):
|
|
.---------------------.
| |
Fill (6, 9, 'H') To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------.
| |
Fill (6, 9, 'H') : Ok (()) To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'H'; 'H'; 'H'; 'H'; 'H'; 'H'; 'H'; 'a']
================================================================================
success (ran 2 tests)
random seed: 7378911
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 2.3s STM Ephemeron test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[ ] 24 0 0 24 / 1000 57.8s STM Ephemeron test parallel (shrinking: 9.0002)
[✓] 25 0 1 24 / 1000 67.8s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (15 shrink steps):
|
|
.---------------------.
| |
Clean Add (85L, 3L)
Clean Find 85L
Replace (7L, 87L) Replace (85L, 8L)
Length
Find_opt 7L
Find 7L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Clean : () Add (85L, 3L) : ()
Clean : () Find 85L : Error (Not_found)
Replace (7L, 87L) : () Replace (85L, 8L) : ()
Length : 3
Find_opt 7L : Some (87)
Find 7L : Ok (87)
================================================================================
success (ran 1 tests)
random seed: 371764061
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 2.3s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 2 0 1 1 / 1000 11.0s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (36 shrink steps):
|
Set (0, -32514.8495956)
|
.------------------------.
| |
To_list Sort
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
Set (0, -32514.8495956) : Ok (())
|
.---------------------------------------------------------------------------------------------------.
| |
To_list : [-32514.8495956; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; -32514.8495956; 1.; 1.] Sort : ()
================================================================================
success (ran 2 tests)
random seed: 403861587
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.1s STM Semaphore.Counting test sequential
[ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel
[✓] 461 0 0 200 / 200 6.9s STM Semaphore.Counting test parallel
================================================================================
success (ran 2 tests)
random seed: 484057109
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 7.0s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[ ] 171 0 0 171 / 200 53.7s STM Sys test parallel
[✓] 200 0 0 200 / 200 58.0s STM Sys test parallel
================================================================================
success (ran 2 tests)
random seed: 338192473
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 1.8s STM Weak test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 2000 0.0s STM Weak test parallel
[✓] 7 0 1 6 / 2000 14.0s STM Weak test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak test parallel failed as expected (20 shrink steps):
|
|
.----------------------.
| |
Fill (1, 12, Some 4L) Get 5
Get_copy 12
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill (1, 12, Some 4L) : Ok (()) Get 5 : Ok (Some (4))
Get_copy 12 : Ok (None)
================================================================================
success (ran 1 tests)
random seed: 468466472
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 1.6s STM Weak HashSet test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 2000 0.0s STM Weak HashSet test parallel
[✓] 87 0 1 86 / 2000 14.4s STM Weak HashSet test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak HashSet test parallel failed as expected (11 shrink steps):
|
Merge 1L
Add 1L
|
.---------------------.
| |
Remove 1L Remove 1L
Stats Mem 1L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak HashSet test parallel:
Results incompatible with linearized model
|
Merge 1L : Ok (1)
Add 1L : Ok (())
|
.------------------------------------.
| |
Remove 1L : Ok (()) Remove 1L : Ok (())
Stats : (16, 1, 3, 0, 0, 3) Mem 1L : Ok (true)
================================================================================
success (ran 1 tests)
Lin DSL Stack test with Thread disabled under bytecode
random seed: 304244025
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Stack test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Stack test with Domain (generating)
[✓] 2 0 1 1 / 1000 2.1s Lin DSL Stack test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Stack test with Domain failed as expected (21 shrink steps):
|
Stack.push 0 t
|
.---------------------.
| |
Stack.pop_opt t Stack.pop t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Stack test with Domain:
Results incompatible with sequential execution
|
Stack.push 0 t : ()
|
.------------------------------------.
| |
Stack.pop_opt t : Some (0) Stack.pop t : Ok (0)
================================================================================
success (ran 1 tests)
random seed: 455772527
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Domain (generating)
[✓] 1000 0 0 1000 / 1000 27.9s Lin DSL Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Thread
[ ] 82 0 0 82 / 1000 32.2s Lin DSL Bytes test with Thread
[ ] 209 0 0 209 / 1000 92.3s Lin DSL Bytes test with Thread
[ ] 329 0 0 329 / 1000 152.7s Lin DSL Bytes test with Thread
[ ] 450 0 0 450 / 1000 213.1s Lin DSL Bytes test with Thread
[ ] 537 0 0 537 / 1000 273.3s Lin DSL Bytes test with Thread
[ ] 648 0 0 648 / 1000 333.3s Lin DSL Bytes test with Thread
[ ] 773 0 0 773 / 1000 393.4s Lin DSL Bytes test with Thread
[ ] 923 0 0 923 / 1000 453.4s Lin DSL Bytes test with Thread
[✓] 1000 0 0 1000 / 1000 485.1s Lin DSL Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 101842937
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin DSL In_channel test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL In_channel test with Domain (generating)
[✓] 59 0 1 58 / 1000 9.5s Lin DSL In_channel test with Domain
[ ] 0 0 0 0 / 5000 0.0s Lin DSL Out_channel test with Domain
[✓] 34 0 1 33 / 5000 36.2s Lin DSL Out_channel test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL In_channel test with Domain failed as expected (17 shrink steps):
|
|
.----------------------------------.
| |
In_channel.input_line t In_channel.input_char t
In_channel.set_binary_mode t true
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL In_channel test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
In_channel.input_line t : Ok (Some ("ELF\002\002\001\000\000\000\000\000\000\000\000\000\000\003\000\022\000\000\000\001\000\000\000\000\000\001\225\024\000\000\000\000\000\000\000@\000\000\000\000\000,\199\000\000\000\000\000\000@\0008\000\n")) In_channel.input_char t : Ok (Some ('\127'))
In_channel.set_binary_mode t true : Ok (())
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Out_channel test with Domain failed as expected (25 shrink steps):
|
Out_channel.output_byte t 1
|
.----------------------------.
| |
Out_channel.length t Out_channel.close_noerr t
Out_channel.output t "" 3 6
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Out_channel test with Domain:
Results incompatible with sequential execution
|
Out_channel.output_byte t 1 : Ok (())
|
.-----------------------------------------------------------------.
| |
Out_channel.length t : Ok (1) Out_channel.close_noerr t : ()
Out_channel.output t "" 3 6 : Error (Invalid_argument("output"))
================================================================================
success (ran 2 tests)
random seed: 495999685
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.5s STM int ref test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test sequential
[✓] 1000 0 0 1000 / 1000 0.6s STM int64 ref test sequential
================================================================================
success (ran 2 tests)
random seed: 408334384
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 8.4s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 1 0 1 0 / 1000 3.1s STM int64 ref test parallel
[ ] 0 0 0 0 / 2000 0.0s STM int ref test parallel asymmetric
[✓] 1 0 1 0 / 2000 5.3s STM int ref test parallel asymmetric
[ ] 0 0 0 0 / 2000 0.0s STM int64 ref test parallel asymmetric
[✓] 1 0 1 0 / 2000 1.8s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (29 shrink steps):
|
|
.---------------------.
| |
Add 0 Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 0 : () Decr : ()
Get : 0
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (24 shrink steps):
|
|
.---------------------.
| |
Add 18L Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add 18L : () Decr : ()
Get : 18
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (30 shrink steps):
|
|
.---------------------.
| |
Add 0 Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Add 0 : () Decr : ()
Get : 0
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (24 shrink steps):
|
|
.---------------------.
| |
Add 18L Decr
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Add 18L : () Decr : ()
Get : 18
================================================================================
success (ran 4 tests)
random seed: 112560089
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 7.0s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 8.0s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 3 0 1 2 / 1000 3.7s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 3 0 1 2 / 1000 3.5s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (25 shrink steps):
|
|
.---------------------.
| |
Add_node (19) Add_node (5)
Member (5)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (19) : true Add_node (5) : true
Member (5) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (25 shrink steps):
|
|
.---------------------.
| |
Add_node (19) Add_node (5)
Member (5)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (19) : true Add_node (5) : true
Member (5) : false
================================================================================
success (ran 4 tests)
random seed: 274382493
generated error fail pass / total time test name
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int test with Domain (generating)
[✓] 3 0 1 2 / 10000 3.0s Lin DSL ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int64 test with Domain
[✓] 2 0 1 1 / 10000 3.6s Lin DSL ref int64 test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int test with Domain
[✓] 2 0 1 1 / 10000 2.1s Lin DSL CList int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int64 test with Domain
[✓] 2 0 1 1 / 10000 1.7s Lin DSL CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int test with Domain failed as expected (8 shrink steps):
|
Sut_int.decr t
|
.---------------------.
| |
Sut_int.set t 2 Sut_int.incr t
Sut_int.incr t Sut_int.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int test with Domain:
Results incompatible with sequential execution
|
Sut_int.decr t : ()
|
.------------------------------------.
| |
Sut_int.set t 2 : () Sut_int.incr t : ()
Sut_int.incr t : () Sut_int.get t : 1
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int64 test with Domain failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Sut_int64.incr t Sut_int64.set t 8
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.incr t : () Sut_int64.set t 8 : ()
Sut_int64.get t : 1
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int test with Domain failed as expected (14 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0 CList.add_node t 2
CList.member t 2
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL CList int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 0 : true CList.add_node t 2 : true
CList.member t 2 : false
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int64 test with Domain failed as expected (13 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 1 CList.add_node t 2
CList.member t 2
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL CList int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 1 : true CList.add_node t 2 : true
CList.member t 2 : false
================================================================================
success (ran 4 tests)
random seed: 217214931
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s negative Lin DSL Dynlink test with Domain
[ ] 0 0 0 0 / 100 0.0s negative Lin DSL Dynlink test with Domain (generating)
[✓] 1 0 1 0 / 100 9.6s negative Lin DSL Dynlink test with Domain
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL 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.all_units ()
Dynlink.loadfile libA.cma
|
.------------------------------.
| |
Dynlink.loadfile libB.cma Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.loadfile libB.cma Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.all_units ()
Dynlink.loadfile libC.cma Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.loadfile libC.cma
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.main_program_units () Dynlink.main_program_units ()
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL Dynlink test with Domain:
Results incompatible with sequential execution
|
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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.cma : Ok (())
|
.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Dynlink.loadfile libB.cma : Ok (()) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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.cma : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
Dynlink.loadfile libC.cma : Error (Dynlink.Error (Dynlink.Cannot_open_dll Sys_error("/src/_build/default/src/dynlink/libC.cma: No such file or directory"))) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libC.cma : Error (Dynlink.Error (Dynlink.Cannot_open_dll Sys_error("/src/_build/default/src/dynlink/libC.cma: No such file or directory")))
Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "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_dsl"; "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__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"]
================================================================================
success (ran 1 tests)
STM ref tests with Thread disabled under bytecode
random seed: 497393339
generated error fail pass / total time test name
[ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int test with Effect (generating)
[✓] 20000 0 0 20000 / 20000 1.5s Lin DSL ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int64 test with Effect
[✓] 20000 0 0 20000 / 20000 1.6s Lin DSL ref int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL CList int test with Effect
[✓] 20000 0 0 20000 / 20000 1.4s Lin DSL CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s Lin DSL CList int64 test with Effect
[✓] 20000 0 0 20000 / 20000 1.4s Lin DSL CList int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL ref int test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin DSL ref int test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL ref int64 test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin DSL ref int64 test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL CList int test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin DSL CList int test with Effect
[ ] 0 0 0 0 / 20000 0.0s negative Lin DSL CList int64 test with Effect
[✓] 1 0 1 0 / 20000 0.0s negative Lin DSL CList int64 test with Effect
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL ref int test with Effect failed as expected (93 shrink steps):
|
|
.---------------------.
| |
Sut_int'.add t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL ref int test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Sut_int'.add t 0 : Ok (())
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL ref int64 test with Effect failed as expected (95 shrink steps):
|
|
.---------------------.
| |
Sut_int64'.add t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL ref int64 test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Sut_int64'.add t 0 : Ok (())
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL CList int test with Effect failed as expected (96 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL CList int test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
CList.add_node t 0 : Ok (true)
--- Info -----------------------------------------------------------------------
Negative test negative Lin DSL CList int64 test with Effect failed as expected (97 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 0
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test negative Lin DSL CList int64 test with Effect:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
CList.add_node t 0 : Ok (true)
================================================================================
success (ran 8 tests)
Lin ref tests with Thread disabled under bytecode
Lin CList int64 test with Thread disabled under bytecode
random seed: 110986683
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s Lin CList int test with Thread
[ ] 0 0 0 0 / 1000 0.0s Lin CList int test with Thread (generating)
[ ] 144 0 0 144 / 1000 60.1s Lin CList int test with Thread
[ ] 269 0 0 269 / 1000 132.2s Lin CList int test with Thread
[ ] 377 0 0 377 / 1000 209.0s Lin CList int test with Thread
[ ] 524 0 0 524 / 1000 269.3s Lin CList int test with Thread
[ ] 844 0 0 844 / 1000 330.0s Lin CList int test with Thread
[✓] 1000 0 0 1000 / 1000 380.0s Lin CList int test with Thread
================================================================================
success (ran 1 tests)
File "src/thread/dune", line 14, characters 7-24:
14 | (name thread_createtree)
^^^^^^^^^^^^^^^^^
(cd _build/default/src/thread && ./thread_createtree.exe --verbose)
Command exited with code 1.
"/bin/bash" "-c" "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice" failed with exit status 1
2023-07-10 17:08.00: Job failed: Failed: Build failed