Build:
- 0
2023-07-14 22:11.57: New job: test linux-s390x/s390x/5.2/e5ee87b2bc964b356dfcb161e3f0b67787d66cdc
2023-07-14 22:11.57: Using cache hint "linux-s390x/s390x/5.2/e5ee87b2bc964b356dfcb161e3f0b67787d66cdc"
2023-07-14 22:11.57: 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-14 22:11.57: Waiting for resource in pool OCluster
2023-07-14 22:11.57: Waiting for worker…
2023-07-14 22:11.57: Got resource from pool OCluster
Building on s390x-worker-02.marist.ci.dev
HEAD is now at a3a67a7 Bump asym count to account for sensitive GA runners
HEAD is now at e5ee87b Merge pull request #376 from ocaml-multicore/thread_joingraph_unification
(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
51c7357a8939: Pulling fs layer
51c7357a8939: Verifying Checksum
51c7357a8939: Download complete
51c7357a8939: Pull complete
Digest: sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44
Status: Downloaded newer image for ocaml/opam@sha256:0977a5bd32a039bf5652d9553dff3cbbe7ef4338063adc84ca81971473230b44
2023-07-14 22:11.58 ---> using "45ac2893f2683c10c04a68ecf85c296386b23011cb061678fa6b8a019ceedf26" from cache
/: (env QCHECK_MSG_INTERVAL 60)
/: (user (uid 1000) (gid 1000))
/: (workdir /src)
/src: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This 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-14 22:11.58 ---> using "e71990a8238a6e3a26faa35b434c6d323c5f7fe5b3306aa4433891067edbf430" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2023-07-14 22:11.58 ---> using "991fd5aad0d3bdf471c4b2bfd0bd3fa2a3a1bd78a1156d76807f90d33ea2ef2c" from cache
/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..7109cb085f 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-14 22:11.58 ---> using "6a8a7efcdf4f2a0904cf908ffc258ac336326e63a9a7f20a00c171fcbabc0e9e" from cache
/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-14 22:11.58 ---> using "7c97d3c3ab192c1e3b75ec09b08e10ba4e7bd5e6a2b93513f2e30851bbd336ae" from cache
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2023-07-14 22:11.58 ---> using "85c2549aa78e149d7663453fd977ff06e88ac11926b1967923215e7a67604cf9" from cache
/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-14 22:11.58 ---> using "c457185b3bf2519286e621905154013eaca7ee2772a6d508e395a04b71a29d6d" from cache
/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 0s (893 kB/s)
- Reading package lists...
-
[multicoretests.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2023-07-14 22:11.58 ---> using "d2647065677423cb86f33ba272e01f7801c9d84b7c3878472db7cb065eab55ce" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
[qcheck-lin.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
The following actions will be performed:
- install dune 3.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 ocamlfind.1.9.5 (cached)
-> retrieved dune.3.9.1 (cached)
-> retrieved multicoretests.dev (file:///src)
-> 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-stm.dev
-> installed qcheck-lin.dev
-> installed multicoretests.dev
Done.
# Run eval $(opam env) to update the current shell environment
2023-07-14 22:11.58 ---> using "62a244018cf0d8bf83e808e94b206ed7764cd3e26b9f457010290e9313f25dcb" from cache
/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-14 22:11.58 ---> using "0c05f924e7b25859afc289ad2cf2fe7a59176e58721c25772e857f683b48eb2f" from cache
/src: (copy (src .) (dst /src))
2023-07-14 22:11.59 ---> saved as "4010355505bf24b2238d1a1c0656e338fbd4c146f24bc8ecb835f57e349afce1"
/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: 87990474
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)
[ ] 57 0 0 57 / 100 61.8s Domain.spawn/join - tak work
[✓] 100 0 0 100 / 100 114.9s Domain.spawn/join - tak work
[ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic
[ ] 156 0 0 156 / 500 7.0s Domain.spawn/join - atomic
[✓] 500 0 0 500 / 500 22.1s Domain.spawn/join - atomic
================================================================================
success (ran 2 tests)
random seed: 48755734
generated error fail pass / total time test name
[ ] 0 0 0 0 / 100 0.0s Thread.create/join
[ ] 0 0 0 0 / 100 0.0s Thread.create/join (generating)
[ ] 30 0 0 30 / 100 63.6s Thread.create/join
[ ] 64 0 0 64 / 100 125.6s Thread.create/join
[ ] 89 0 0 89 / 100 186.4s Thread.create/join
[✓] 100 0 0 100 / 100 215.0s Thread.create/join
================================================================================
success (ran 1 tests)
random seed: 413011460
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)
[ ] 52 0 0 52 / 500 60.5s Mash up of threads and domains
[ ] 91 0 0 91 / 500 120.6s Mash up of threads and domains
[ ] 137 0 0 137 / 500 181.8s Mash up of threads and domains
[ ] 178 0 0 178 / 500 242.7s Mash up of threads and domains
[ ] 220 0 0 220 / 500 303.6s Mash up of threads and domains
[ ] 265 0 0 265 / 500 364.4s Mash up of threads and domains
[ ] 312 0 0 312 / 500 424.9s Mash up of threads and domains
[ ] 353 0 0 353 / 500 485.5s Mash up of threads and domains
[ ] 399 0 0 399 / 500 545.6s Mash up of threads and domains
[ ] 442 0 0 442 / 500 606.5s Mash up of threads and domains
[ ] 483 0 0 483 / 500 667.0s Mash up of threads and domains
[✓] 500 0 0 500 / 500 683.7s Mash up of threads and domains
================================================================================
success (ran 1 tests)
random seed: 128003329
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 4.8s domain_spawntree - with Atomic
================================================================================
success (ran 1 tests)
random seed: 362338500
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 16216 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16218 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16219 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168684 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168689 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168691 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168692 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168698 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168726 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168731 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168734 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 168735 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 514683 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 514684 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575102 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575017 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575109 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575114 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575353 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575360 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575364 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 575365 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445193 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445196 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445198 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445201 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445202 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445208 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445209 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445214 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1445218 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1444977 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1444972 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1444981 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1444982 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1902525 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1902529 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1902531 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1902535 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1902545 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1991534 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1991535 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1991536 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 1991544 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2133617 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2133214 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2133327 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2298981 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2298983 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2298743 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 61.2s thread_createtree - with Atomic (shrinking: 7.0005)Thread 2872706 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2872708 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2872711 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2872712 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2872713 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 2872714 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3149714 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3149715 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3300390 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3300394 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3300395 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3443765 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3563965 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3760770 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3760774 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3760779 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 3760790 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4153088 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4153091 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4153093 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4153095 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4153101 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4153109 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4153110 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4354065 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4354071 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4354076 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4354078 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4354079 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4354080 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4705661 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4961391 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4961182 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4961395 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 4961196 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5004280 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 121.7s thread_createtree - with Atomic (shrinking: 15.0004)Thread 5296566 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5296571 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5296572 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5296573 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5296574 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5296575 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5563039 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5726799 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5726800 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5772824 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5871299 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 5870995 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6179158 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6179159 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6178959 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6178960 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6178962 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6487795 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 6487557 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059850 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059853 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059855 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059857 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059670 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059657 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059861 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7059673 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7376332 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7376334 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7376338 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7376343 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7376345 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7376032 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7376117 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7674797 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7674799 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7695296 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7695096 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 7695303 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 183.7s thread_createtree - with Atomic (shrinking: 25.0004)Thread 8439692 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8439693 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8439694 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8439715 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8766563 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8766319 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8972919 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8972922 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8972924 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8972936 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8972941 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8972944 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 8972945 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9252609 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9252610 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9252654 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9574941 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9574942 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9574763 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9574954 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9574962 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9574963 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9575400 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9798938 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9799018 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9799022 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9799024 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 9975518 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10214214 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10214216 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10214223 killed on uncaught exception Out_of_memory
Thread 10214224 killed on uncaught exception Out_of_memory
Thread 10214237 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10214238 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10214239 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10214612 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10283940 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10284314 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 244.1s thread_createtree - with Atomic (shrinking: 34.0004)Thread 10422894 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10422731 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10422895 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10810148 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 10809892 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11101385 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11356817 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11796725 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11796726 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 11796734 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12096018 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12096019 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12218012 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12218013 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12218014 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12218015 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12347166 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12347174 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12347175 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12625541 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 12778303 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 305.1s thread_createtree - with Atomic (shrinking: 42.0005)Thread 13249205 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13486438 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13486088 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13486090 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13486097 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13486098 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13486099 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13486101 killed on uncaught exception Out_of_memory
Thread 13731116 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13731117 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13731118 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13730966 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 13731123 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038513 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038515 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038518 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038517 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038532 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038540 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038541 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14038557 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14227875 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14227877 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14227883 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14227891 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14227892 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14227664 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14671695 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14671696 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14671698 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 14801022 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15064858 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15064859 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15064866 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15064894 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15278824 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15278815 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15428751 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 366.1s thread_createtree - with Atomic (shrinking: 51.0005)Thread 15498948 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15498949 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15498802 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15684941 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 15684942 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16291290 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16291292 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16291293 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16291294 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16291296 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16291299 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16619747 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16619749 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16619751 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16619755 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16619756 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16619757 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16619764 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16801740 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16978704 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 16978559 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17090439 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17090448 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17090265 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17090460 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17090461 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17090463 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238094 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238096 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238102 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238109 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238110 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238111 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238133 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17238135 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17327657 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17327651 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17327669 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17327676 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17327677 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17327507 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17327566 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17429720 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685612 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685615 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685617 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685619 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685622 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685623 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685624 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685625 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685469 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685486 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 17685493 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 427.2s thread_createtree - with Atomic (shrinking: 60.0004)Thread 18007637 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18007638 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18209390 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18209396 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18209397 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18209398 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18209399 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18209407 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18565074 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18565075 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18565076 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18565036 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18564943 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18564944 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716556 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716559 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716561 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716563 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716406 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716569 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716576 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18716379 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18858154 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18858162 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18858163 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18858171 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18858211 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18858212 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18858064 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 18987860 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19068099 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19196847 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19196848 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19196849 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19254383 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19254282 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19417805 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19641681 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19641683 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19641684 killed on uncaught exception Out_of_memory
Thread 19847551 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19847553 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 19847421 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 487.4s thread_createtree - with Atomic (shrinking: 71.0005)Thread 20126000 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20126002 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20142104 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20142119 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20283069 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20283070 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20381685 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412131 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412132 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412137 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412141 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412143 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412145 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412151 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412158 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412159 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412160 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412045 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20412431 killed on uncaught exception Out_of_memory
Thread 20556517 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556674 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556682 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556685 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556686 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556692 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556697 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556698 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556701 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556700 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20556703 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558151 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558157 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558163 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558165 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558154 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558162 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558173 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558176 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558177 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558178 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558179 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558183 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558188 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20558189 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20716212 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20716308 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20716313 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 20716314 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21074359 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21074272 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238299 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238305 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238311 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238313 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238310 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238302 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238321 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238324 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238325 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238326 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238327 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238331 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238336 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21238337 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21465814 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21641711 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21641716 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21641717 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21688412 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21688413 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21688415 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21688306 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21918475 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21918476 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 21918478 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 547.8s thread_createtree - with Atomic (shrinking: 82.0008)Thread 22164300 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 22375308 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 22375310 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 22375349 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 22375352 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 22446607 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23024590 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23024591 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23024592 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23024594 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23024595 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23188542 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23188543 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23385590 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23385591 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23516001 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23516004 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23516011 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23516018 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23516023 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23685034 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23684961 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 23685048 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24000705 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24000699 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24084057 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24288549 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24389108 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24466234 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24466235 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 607.9s thread_createtree - with Atomic (shrinking: 95.0003)Thread 24618650 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24773276 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24773279 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24836214 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 24995566 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25104574 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25174017 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25174019 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25246370 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25445993 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25639851 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25746807 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25746808 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25746810 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25746811 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25791162 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25791163 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25803970 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25803972 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25893168 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25991784 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 25994661 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26143635 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26143695 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26143700 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26172195 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26172197 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26236718 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26298661 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26458118 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26458119 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26627261 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26627323 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26652085 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26652091 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26769707 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26769709 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26769710 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 26775529 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 668.1s thread_createtree - with Atomic (shrinking: 113.0007)Thread 27042192 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27158998 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27159000 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27355130 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27369899 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27533225 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27533228 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27563143 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27663764 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27718665 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27718602 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27786105 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 27824140 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28174269 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28174270 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28177277 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28392625 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28479948 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28479949 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28479950 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28627589 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28627590 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28704683 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28704684 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28814810 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28814811 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28830404 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 28881041 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29092311 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29115528 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29115529 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29148865 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 728.8s thread_createtree - with Atomic (shrinking: 132.0009)Thread 29714363 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29782035 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29910228 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29910204 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29910200 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29956384 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29956386 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 29956387 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30031179 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30127329 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30184132 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30279108 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30279110 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30279115 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30279116 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30325813 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30351686 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30412485 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30412494 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30549048 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30599861 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30636063 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30636065 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30636071 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30671896 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30671898 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30690552 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30690554 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30725010 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30767228 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30797027 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30818284 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30918093 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30968702 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30968703 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30969964 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 30969966 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31026241 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31026242 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31036957 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31197614 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31251463 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31289048 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31289055 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31355658 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31470644 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31470645 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31526962 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 789.1s thread_createtree - with Atomic (shrinking: 159.0009)Thread 31648173 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31783545 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31783546 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31819016 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31864043 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 31900603 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32043150 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32162191 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32235164 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32319487 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32346397 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32373964 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32416088 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32439561 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32441701 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32502186 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32522872 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32563109 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32590804 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32649668 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32708664 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32742934 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32752612 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 32905514 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33015963 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33075534 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33092798 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33154080 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33224724 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33266841 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33343419 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33361942 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33474099 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33525113 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33567469 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33658696 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33736012 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33752404 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33752413 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33785255 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33878023 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33927151 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 33954742 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34041813 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[ ] 354 0 0 354 / 1000 849.2s thread_createtree - with Atomic (shrinking: 196)Thread 34065692 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34065787 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34095496 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34140081 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34157715 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34195210 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34200606 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34200607 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34216178 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34232032 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34232039 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34293191 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34325964 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34346311 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34372172 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34397602 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34417024 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34431785 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34440591 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34535035 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34535042 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34651259 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34683546 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34702937 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34712745 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34780289 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34787110 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34811198 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34918975 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 34984616 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35005592 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35103029 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35179609 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35207059 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35281640 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35288013 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35300159 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35365424 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35382127 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35464898 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35533394 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35562296 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35578194 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35685741 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35739951 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35748511 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35765594 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
Thread 35772051 killed on uncaught exception Sys_error("Thread.create: Resource temporarily unavailable")
[✗] 355 1 0 354 / 1000 889.5s thread_createtree - with Atomic
=== Error ======================================================================
Test thread_createtree - with Atomic errored on (10 shrink steps):
Create [Incr]
exception Sys_error("Thread.create: Resource temporarily unavailable")
================================================================================
failure (0 tests failed, 1 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: 282695875
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)
[✓] 1 0 1 0 / 1000 9.0s Lin DSL Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Array test with Domain failed as expected (36 shrink steps):
|
Array.set t 0 '`'
|
.---------------------.
| |
Array.to_seq t Array.sort t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Array test with Domain:
Results incompatible with sequential execution
|
Array.set t 0 '`' : Ok (())
|
.--------------------------------------------------------------------------------------------------.
| |
Array.to_seq t : <'`'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; '`'; 'a'; 'a'> Array.sort t : ()
================================================================================
success (ran 1 tests)
random seed: 510750234
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.7s STM Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Array test parallel
[✓] 1 0 1 0 / 1000 2.6s STM Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Array test parallel failed as expected (17 shrink steps):
|
To_seq
|
.---------------------.
| |
Sort Mem 'n'
Fill (7, 1, '/')
To_seq
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Array test parallel:
Results incompatible with linearized model
|
To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
|
.------------------------------------------------------------------------------------------.
| |
Sort : () Mem 'n' : false
Fill (7, 1, '/') : Ok (())
To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a']
================================================================================
success (ran 2 tests)
random seed: 302115023
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 20.3s Lin DSL Atomic test with Domain
================================================================================
success (ran 1 tests)
random seed: 298447265
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)
[✓] 359 0 1 358 / 5000 29.7s Lin DSL Bigarray.Array1 (of ints) test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Bigarray.Array1 (of ints) test with Domain failed as expected (17 shrink steps):
|
|
.--------------------------------.
| |
Bigarray.Array1.set t 3 3 Bigarray.Array1.set t 2 5
Bigarray.Array1.size_in_bytes t Bigarray.Array1.size_in_bytes t
Bigarray.Array1.fill t 1 Bigarray.Array1.fill t 2
Bigarray.Array1.get t 0 Bigarray.Array1.set t 8 2
Bigarray.Array1.get t 8
Bigarray.Array1.get t 4
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Bigarray.Array1 (of ints) test with Domain:
Results incompatible with sequential execution
|
|
.--------------------------------------.
| |
Bigarray.Array1.set t 3 3 : Ok (()) Bigarray.Array1.set t 2 5 : Ok (())
Bigarray.Array1.size_in_bytes t : 128 Bigarray.Array1.size_in_bytes t : 128
Bigarray.Array1.fill t 1 : () Bigarray.Array1.fill t 2 : ()
Bigarray.Array1.get t 0 : Ok (2) Bigarray.Array1.set t 8 2 : Ok (())
Bigarray.Array1.get t 8 : Ok (2)
Bigarray.Array1.get t 4 : Ok (1)
================================================================================
success (ran 1 tests)
random seed: 453349042
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)
[✓] 17 0 1 16 / 1000 8.3s Lin DSL Hashtbl test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Hashtbl test with Domain failed as expected (38 shrink steps):
|
Hashtbl.add t 'a' 0
|
.---------------------.
| |
Hashtbl.add t 'a' 0 Hashtbl.clear t
Hashtbl.length t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Hashtbl test with Domain:
Results incompatible with sequential execution
|
Hashtbl.add t 'a' 0 : ()
|
.------------------------------------.
| |
Hashtbl.add t 'a' 0 : () Hashtbl.clear t : ()
Hashtbl.length t : 2
================================================================================
success (ran 1 tests)
random seed: 76024089
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)
[✓] 1 0 1 0 / 1000 2.4s Lin DSL Queue test with Domain
[ ] 0 0 0 0 / 250 0.0s Lin DSL Queue test with Thread
[ ] 152 0 0 152 / 250 57.7s Lin DSL Queue test with Thread
[✓] 250 0 0 250 / 250 94.8s Lin DSL Queue test with Thread
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Queue test with Domain failed as expected (28 shrink steps):
|
Queue.add 0 t
|
.---------------------.
| |
Queue.take_opt 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_opt t : Some (0) Queue.take t : Ok (0)
================================================================================
success (ran 2 tests)
random seed: 222797908
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)
[✓] 2 0 1 1 / 1000 6.0s Lin DSL Float.Array test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Float.Array test with Domain failed as expected (40 shrink steps):
|
Float.Array.fill t 1 4 -4.54092443388e-07
|
.------------------------------------------.
| |
Float.Array.to_seq t Float.Array.stable_sort t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Float.Array test with Domain:
Results incompatible with sequential execution
|
Float.Array.fill t 1 4 -4.54092443388e-07 : Ok (())
|
.--------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Float.Array.to_seq t : <0.; -4.54092443388e-07; -4.54092443388e-07; -4.54092443388e-07; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; -4.54092443388e-07; 0.; 0.; 0.> Float.Array.stable_sort t : ()
================================================================================
success (ran 1 tests)
random seed: 510495445
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.1s STM Atomic test sequential
[ ] 0 0 0 0 / 250 0.0s STM Atomic test parallel
[✓] 250 0 0 250 / 250 13.9s STM Atomic test parallel
================================================================================
success (ran 2 tests)
random seed: 291524526
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
[✓] 1 0 1 0 / 200 18.2s STM Hashtbl test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Hashtbl test parallel failed as expected (29 shrink steps):
|
|
.---------------------.
| |
Add ('L', 9) Replace ('$', 4)
Find_opt '$'
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Hashtbl test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add ('L', 9) : () Replace ('$', 4) : ()
Find_opt '$' : None
================================================================================
success (ran 2 tests)
random seed: 259667392
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 16.7s STM Lazy test sequential
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val
[✓] 200 0 0 200 / 200 0.5s STM Lazy test sequential from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun
[✓] 200 0 0 200 / 200 16.8s STM Lazy test sequential from_fun
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel
[ ] 6 0 0 6 / 200 34.9s STM Lazy test parallel (shrinking: 0.0002)
[ ] 6 0 0 6 / 200 99.6s STM Lazy test parallel (shrinking: 1.0003)
[ ] 6 0 0 6 / 200 164.2s STM Lazy test parallel (shrinking: 2.0004)
[ ] 6 0 0 6 / 200 229.0s STM Lazy test parallel (shrinking: 3.0004)
[ ] 6 0 0 6 / 200 293.7s STM Lazy test parallel (shrinking: 4.0004)
[✓] 7 0 1 6 / 200 315.2s STM Lazy test parallel
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val
[✓] 200 0 0 200 / 200 14.0s STM Lazy test parallel from_val
[ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun
[ ] 6 0 0 6 / 200 34.7s STM Lazy test parallel from_fun (shrinking: 0.0002)
[ ] 6 0 0 6 / 200 99.3s STM Lazy test parallel from_fun (shrinking: 1.0003)
[ ] 6 0 0 6 / 200 163.9s STM Lazy test parallel from_fun (shrinking: 2.0004)
[ ] 6 0 0 6 / 200 228.6s STM Lazy test parallel from_fun (shrinking: 3.0004)
[ ] 6 0 0 6 / 200 293.5s STM Lazy test parallel from_fun (shrinking: 4.0004)
[✓] 7 0 1 6 / 200 315.1s STM Lazy test parallel from_fun
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel failed as expected (4 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 42; _ -> 2}) Map_val ({700 -> 20; _ -> 7})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel:
Results incompatible with linearized model
|
|
.-------------------------------------------------------------------.
| |
Map_val ({700 -> 42; _ -> 2}) : Error (CamlinternalLazy.Undefined) Map_val ({700 -> 20; _ -> 7}) : Ok (20)
--- Info -----------------------------------------------------------------------
Negative test STM Lazy test parallel from_fun failed as expected (4 shrink steps):
|
|
.------------------------------.
| |
Map_val ({700 -> 42; _ -> 2}) Map_val ({700 -> 20; _ -> 7})
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Lazy test parallel from_fun:
Results incompatible with linearized model
|
|
.-------------------------------------------------------------------.
| |
Map_val ({700 -> 42; _ -> 2}) : Error (CamlinternalLazy.Undefined) Map_val ({700 -> 20; _ -> 7}) : Ok (20)
================================================================================
success (ran 6 tests)
random seed: 8901053
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.2s STM Buffer test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel
[✓] 13 0 1 7 / 1000 12.2s STM Buffer test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Buffer test parallel failed as expected (23 shrink steps):
|
Add_bytes "\149\149\215;4\182\222"
Add_string "zt^T\171\127"
|
.-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Contents Contents
Contents
Length
Clear
Add_string "(\025\030\218_\233\195\026\019\004\253\015j\237\193\215/\170\01455~\144=j\176\184\248\232\141\214\025e\137\158\b\002X\t6\1678\n\003\014\230\200\183\016\226\168~Y\t?%\130g-\190{\189sd\2236H\193q\196@\021\t\179\242J\218&S"
Reset
Sub (3, 4)
Add_char '}'
Sub (5, 0)
Sub (6, 53)
Clear
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Buffer test parallel:
Results incompatible with linearized model
|
Add_bytes "\149\149\215;4\182\222" : Ok (())
Add_string "zt^T\171\127" : Ok (())
|
.---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
Contents : Ok ("}\149\215;4\182\222zt^T\171\127") Contents : Ok ("\149\149\215;4\182\222zt^T\171\127")
Contents : Ok ("\149\149\215;4\182\222zt^T\171\127")
Length : 13
Clear : Ok (())
Add_string "(\025\030\218_\233\195\026\019\004\253\015j\237\193\215/\170\01455~\144=j\176\184\248\232\141\214\025e\137\158\b\002X\t6\1678\n\003\014\230\200\183\016\226\168~Y\t?%\130g-\190{\189sd\2236H\193q\196@\021\t\179\242J\218&S" : Ok (())
Reset : Ok (())
Sub (3, 4) : Error (Invalid_argument("Buffer.sub"))
Add_char '}' : Ok (())
Sub (5, 0) : Error (Invalid_argument("Buffer.sub"))
Sub (6, 53) : Error (Invalid_argument("Buffer.sub"))
Clear : Ok (())
================================================================================
success (ran 2 tests)
random seed: 455033156
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.8s STM Bytes test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel
[✓] 6 0 1 5 / 1000 22.7s STM Bytes test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Bytes test parallel failed as expected (16 shrink steps):
|
|
.---------------------.
| |
To_seq Fill (0, 8, '6')
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Bytes test parallel:
Results incompatible with linearized model
|
|
.------------------------------------------------------------------------------------------.
| |
To_seq : ['a'; '6'; '6'; '6'; '6'; '6'; '6'; '6'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'] Fill (0, 8, '6') : Ok (())
================================================================================
success (ran 2 tests)
random seed: 173494910
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 1.6s STM Ephemeron test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel
[✓] 13 0 1 12 / 1000 8.4s STM Ephemeron test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Ephemeron test parallel failed as expected (27 shrink steps):
|
|
.---------------------.
| |
Replace (8L, 5L) Replace (8L, 62L)
Length
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Ephemeron test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Replace (8L, 5L) : () Replace (8L, 62L) : ()
Length : 2
================================================================================
success (ran 1 tests)
random seed: 47524789
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.6s STM Float Array test sequential
[ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel
[✓] 3 0 1 2 / 1000 1.0s STM Float Array test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Float Array test parallel failed as expected (16 shrink steps):
|
|
.---------------------------.
| |
To_list Fill (1, 8, 29.7521910072)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Float Array test parallel:
Results incompatible with linearized model
|
|
.----------------------------------------------------------------------------------------------------------------------------------.
| |
To_list : [1.; 1.; 1.; 1.; 29.7521910072; 29.7521910072; 29.7521910072; 29.7521910072; 29.7521910072; 1.; 1.; 1.; 1.; 1.; 1.; 1.] Fill (1, 8, 29.7521910072) : Ok (())
================================================================================
success (ran 2 tests)
random seed: 358586447
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
[✓] 443 0 0 200 / 200 7.3s STM Semaphore.Counting test parallel
================================================================================
success (ran 2 tests)
random seed: 445193311
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 6.6s STM Sys test sequential
[ ] 0 0 0 0 / 200 0.0s STM Sys test parallel
[ ] 180 0 0 180 / 200 53.5s STM Sys test parallel
[✓] 200 0 0 200 / 200 57.7s STM Sys test parallel
================================================================================
success (ran 2 tests)
random seed: 33145024
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 2.1s 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
[✓] 73 0 1 72 / 2000 25.1s STM Weak test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak test parallel failed as expected (26 shrink steps):
|
|
.---------------------.
| |
Fill (4, 6, Some 3L) Check 4
Get_copy 9
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Fill (4, 6, Some 3L) : Ok (()) Check 4 : Ok (true)
Get_copy 9 : Ok (None)
================================================================================
success (ran 1 tests)
random seed: 30742483
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 2.3s STM Weak HashSet test sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total time test name
[ ] 0 0 0 0 / 5000 0.0s STM Weak HashSet test parallel
[ ] 661 0 0 661 / 5000 57.8s STM Weak HashSet test parallel (shrinking: 10.0002)
[✓] 662 0 1 661 / 5000 61.9s STM Weak HashSet test parallel
--- Info -----------------------------------------------------------------------
Negative test STM Weak HashSet test parallel failed as expected (20 shrink steps):
|
Add 0L
Add 0L
|
.---------------------.
| |
Remove 0L Remove 0L
Count Add 0L
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM Weak HashSet test parallel:
Results incompatible with linearized model
|
Add 0L : Ok (())
Add 0L : Ok (())
|
.------------------------------------.
| |
Remove 0L : Ok (()) Remove 0L : Ok (())
Count : 2 Add 0L : Ok (())
================================================================================
success (ran 1 tests)
Lin DSL Stack test with Thread disabled under bytecode
random seed: 517806889
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)
[✓] 1 0 1 0 / 1000 2.3s Lin DSL Stack test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Stack test with Domain failed as expected (18 shrink steps):
|
Stack.push 0 t
|
.---------------------.
| |
Stack.pop t Stack.pop_opt t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Stack test with Domain:
Results incompatible with sequential execution
|
Stack.push 0 t : ()
|
.------------------------------------.
| |
Stack.pop t : Ok (0) Stack.pop_opt t : Some (0)
================================================================================
success (ran 1 tests)
random seed: 139634079
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 16.8s Lin DSL Bytes test with Domain
[ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Thread
[ ] 117 0 0 117 / 1000 43.3s Lin DSL Bytes test with Thread
[ ] 275 0 0 275 / 1000 103.4s Lin DSL Bytes test with Thread
[ ] 435 0 0 435 / 1000 163.5s Lin DSL Bytes test with Thread
[ ] 581 0 0 581 / 1000 223.5s Lin DSL Bytes test with Thread
[ ] 736 0 0 736 / 1000 283.6s Lin DSL Bytes test with Thread
[ ] 893 0 0 893 / 1000 343.6s Lin DSL Bytes test with Thread (collecting)
[✓] 1000 0 0 1000 / 1000 386.7s Lin DSL Bytes test with Thread
================================================================================
success (ran 2 tests)
random seed: 261440949
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)
[✓] 11 0 1 10 / 1000 6.6s Lin DSL In_channel test with Domain
[ ] 0 0 0 0 / 5000 0.0s Lin DSL Out_channel test with Domain
[ ] 161 0 0 161 / 5000 68.4s Lin DSL Out_channel test with Domain (shrinking: 0.0004)
[✓] 162 0 1 161 / 5000 113.3s Lin DSL Out_channel test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL In_channel test with Domain failed as expected (13 shrink steps):
|
In_channel.set_binary_mode t false
|
.-----------------------------------.
| |
In_channel.input_line t In_channel.pos t
In_channel.seek t 86
In_channel.input_line t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL In_channel test with Domain:
Results incompatible with sequential execution
|
In_channel.set_binary_mode t false : Ok (())
|
.--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
In_channel.input_line t : Ok (Some ("\127ELF\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")) In_channel.pos t : 973
In_channel.seek t 86 : Ok (())
In_channel.input_line t : Ok (Some ("\000@\000\000\000\000\000\000\000@\000\000\000\000\000\000\0020\000\000\000\000\000\000\0020\000\000\000\000\000\000\000\b\000\000\000\003\000\000\000\004\000\000\000\000\000\000\002p\000\000\000\000\000\000\002p\000\000\000\000\000\000\002p\000\000\000\000\000\000\000\015\000\000\000\000\000\000\000\015\000\000\000\000\000\000\000\001\000\000\000\001\000\000\000\005\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\021\192\000\000\000\000\000\007\021\192\000\000\000\000\000\000\016\000\000\000\000\001\000\000\000\006\000\000\000\000\000\007\023 \000\000\000\000\000\007' \000\000\000\000\000\007' \000\000\000\000\000\b\209\128\000\000\000\000\000\t\161\232\000\000\000\000\000\000\016\000\000\000\000\002\000\000\000\006\000\000\000\000\000\007\027\184\000\000\000\000\000\007+\184\000\000\000\000\000\007+\184\000\000\000\000\000\000\002@\000\000\000\000\000\000\002@\000\000\000\000\000\000\000\b\000\000\000\004\000\000\000\004\000\000\000\000\000\000\002\128\000\000\000\000\000\000\002\128\000\000\000\000\000\000\002\128\000\000\000\000\000\000\000D\000\000\000\000\000\000\000D\000\000\000\000\000\000\000\004\000\000\000\007\000\000\000\004\000\000\000\000\000\007\023 \000\000\000\000\000\007' \000\000\000\000\000\007' \000\000\000\000\000\000\000\028\000\000\000\000\000\000\000@\000\000\000\000\000\000\000\bdt\229P\000\000\000\004\000\000\000\000\000\006\017\216\000\000\000\000\000\006\017\216\000\000\000\000\000\006\017\216\000\000\000\000\000\000'\228\000\000\000\000\000\000'\228\000\000\000\000\000\000\000\004dt\229Q\000\000\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\016dt\229R\000\000\000\004\000\000\000\000\000\007\023 \000\000\000\000\000\007' \000\000\000\000\000\007' \000\000\000\000\000\000\b\224\000\000\000\000\000\000\b\224\000\000\000\000\000\000\000\001/lib/ld64.so.1\000\000\000\000\000\004\000\000\000\020\000\000\000\003GNU\000\148\186\198\230E\249x\142v\144\190\166\r\189\b-M\004\154V\000\000\000\004\000\000\000\016\000\000\000\001GNU\000\000\000\000\000\000\000\000\003\000\000\000\002\000\000\000\000\000\000\000\000\000\000\004\007\000\000\000\252\000\000\000\128\000\000\000\r\016\018\163\004\026\002D\016\129<P\020@\208\128\130 \144\208\214\0002\165 \129\141;\002\000\176D\002\000F)`@<\018\021@\016\000\b\129@8\018\145\b-\216\226\003$\202\026\176\b\022\140\138\004@\154\012P\t\1379B\0163\002P\004\128B`\020B\129\002\002\000 \012\128\000 \000H\160\160@\000\000 \128\000\006Ah\000\133 \b\002\021\000\006 \b\192 \000\128\128\132J\027a\016\017c\144<\024\018\142\138\000\000\011`,\004\138@\192G\216\000\228\000,\b\001\192A\026\0023\\\200\004\165\136\000`\002\006BU\0010\001h@\016'\150\018\228\020\200\000A\160\002@\016\025D\004H\150\016\000\012\000\144\226\000\001\165\003)\140\145\000A\000J\000\210@\000\r\000\134\024\000!\018\192\t:B\0270\t\000B\016P\155@a\146\000\136\024\016p\177\128\028e\b\000D\208\012\174"))
--- Info -----------------------------------------------------------------------
Negative test Lin DSL Out_channel test with Domain failed as expected (19 shrink steps):
|
Out_channel.output_bytes t "J"
|
.-------------------------------.
| |
Out_channel.close_noerr t Out_channel.length t
Out_channel.seek t 5
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL Out_channel test with Domain:
Results incompatible with sequential execution
|
Out_channel.output_bytes t "J" : Ok (())
|
.-----------------------------------------.
| |
Out_channel.close_noerr t : () Out_channel.length t : Ok (1)
Out_channel.seek t 5 : Ok (())
================================================================================
success (ran 2 tests)
random seed: 7442346
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: 175956395
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)
[✓] 3 0 1 2 / 1000 6.0s STM int ref test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel
[✓] 1 0 1 0 / 1000 1.7s STM int64 ref test parallel
[ ] 0 0 0 0 / 2000 0.0s STM int ref test parallel asymmetric
[✓] 3 0 1 2 / 2000 4.4s 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.3s STM int64 ref test parallel asymmetric
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel failed as expected (30 shrink steps):
|
|
.---------------------.
| |
Set 2 Add 0
Incr Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Set 2 : () Add 0 : ()
Incr : () Get : 1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel failed as expected (28 shrink steps):
|
|
.---------------------.
| |
Decr Add 11L
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Decr : () Add 11L : ()
Get : -1
--- Info -----------------------------------------------------------------------
Negative test STM int ref test parallel asymmetric failed as expected (31 shrink steps):
|
|
.---------------------.
| |
Set 2 Add 0
Incr Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Set 2 : () Add 0 : ()
Incr : () Get : 1
--- Info -----------------------------------------------------------------------
Negative test STM int64 ref test parallel asymmetric failed as expected (28 shrink steps):
|
|
.---------------------.
| |
Decr Add 11L
Get
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 ref test parallel asymmetric:
Results incompatible with linearized model:
|
|
.------------------------------------.
| |
Decr : () Add 11L : ()
Get : -1
================================================================================
success (ran 4 tests)
random seed: 420670721
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential (generating)
[✓] 1000 0 0 1000 / 1000 4.5s STM int CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential
[✓] 1000 0 0 1000 / 1000 5.1s STM int64 CList test sequential
[ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel
[✓] 1 0 1 0 / 1000 1.0s STM int CList test parallel
[ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel
[✓] 1 0 1 0 / 1000 1.1s STM int64 CList test parallel
--- Info -----------------------------------------------------------------------
Negative test STM int CList test parallel failed as expected (12 shrink steps):
|
|
.---------------------.
| |
Add_node (17) Add_node (45)
Member (17)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (17) : true Add_node (45) : true
Member (17) : false
--- Info -----------------------------------------------------------------------
Negative test STM int64 CList test parallel failed as expected (12 shrink steps):
|
|
.---------------------.
| |
Add_node (17) Add_node (45)
Member (17)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test STM int64 CList test parallel:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Add_node (17) : true Add_node (45) : true
Member (17) : false
================================================================================
success (ran 4 tests)
random seed: 376469683
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)
[✓] 4 0 1 3 / 10000 3.6s Lin DSL ref int test with Domain
[ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int64 test with Domain
[✓] 4 0 1 3 / 10000 1.5s 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.4s 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.4s Lin DSL CList int64 test with Domain
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int test with Domain failed as expected (35 shrink steps):
|
|
.---------------------.
| |
Sut_int.add t 0 Sut_int.decr t
Sut_int.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int.add t 0 : () Sut_int.decr t : ()
Sut_int.get t : 0
--- Info -----------------------------------------------------------------------
Negative test Lin DSL ref int64 test with Domain failed as expected (31 shrink steps):
|
|
.---------------------.
| |
Sut_int64.add t 7 Sut_int64.decr t
Sut_int64.get t
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL ref int64 test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
Sut_int64.add t 7 : () Sut_int64.decr t : ()
Sut_int64.get t : 7
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int test with Domain failed as expected (26 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 1 CList.add_node t 2
CList.member t 1
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin DSL CList int test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------.
| |
CList.add_node t 1 : true CList.add_node t 2 : true
CList.member t 1 : false
--- Info -----------------------------------------------------------------------
Negative test Lin DSL CList int64 test with Domain failed as expected (24 shrink steps):
|
|
.---------------------.
| |
CList.add_node t 1 CList.add_node t 6
CList.member t 1
+++ 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 6 : true
CList.member t 1 : false
================================================================================
success (ran 4 tests)
random seed: 85478827
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 6.7s 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.loadfile libA.cma
Dynlink.main_program_units ()
Dynlink.all_units ()
Dynlink.loadfile libA.cma
Dynlink.loadfile libA.cma
Dynlink.main_program_units ()
Dynlink.loadfile libA.cma
Dynlink.loadfile libA.cma
Dynlink.loadfile libA.cma
Dynlink.loadfile libA.cma
Dynlink.main_program_units ()
Dynlink.all_units ()
Dynlink.all_units ()
Dynlink.main_program_units ()
Dynlink.all_units ()
Dynlink.main_program_units ()
|
.------------------------------.
| |
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.all_units () Dynlink.all_units ()
Dynlink.all_units () Dynlink.main_program_units ()
Dynlink.loadfile libB.cma Dynlink.loadfile libA.cma
+++ 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.loadfile libA.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"; "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 : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
Dynlink.loadfile libA.cma : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
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.loadfile libA.cma : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
Dynlink.loadfile libA.cma : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
Dynlink.loadfile libA.cma : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
Dynlink.loadfile libA.cma : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
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.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.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.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.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.loadfile libB.cma : Ok (()) Dynlink.loadfile libA.cma : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA"))
================================================================================
success (ran 1 tests)
STM ref tests with Thread disabled under bytecode
random seed: 405954827
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.5s 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 (107 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 (107 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 (104 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: 199175661
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)
[ ] 154 0 0 154 / 1000 60.3s Lin CList int test with Thread
[ ] 294 0 0 294 / 1000 120.5s Lin CList int test with Thread (shrinking: 0.0004)
[ ] 294 0 0 294 / 1000 181.3s Lin CList int test with Thread (shrinking: 0.0032)
[ ] 294 0 0 294 / 1000 242.8s Lin CList int test with Thread (shrinking: 0.0062)
[ ] 294 0 0 294 / 1000 302.9s Lin CList int test with Thread (shrinking: 0.0090)
[ ] 294 0 0 294 / 1000 364.8s Lin CList int test with Thread (shrinking: 0.0120)
[ ] 294 0 0 294 / 1000 425.4s Lin CList int test with Thread (shrinking: 0.0147)
[✗] 295 0 1 294 / 1000 476.8s Lin CList int test with Thread
--- Failure --------------------------------------------------------------------
Test Lin CList int test with Thread failed (0 shrink steps):
|
Member (8)
Add_node (3)
Member (6)
Member (1)
Member (8260)
Add_node (3)
Member (9)
Add_node (606)
Add_node (0)
Member (65)
Member (5905)
Member (41)
Add_node (59)
Member (316)
Add_node (177)
|
.---------------------.
| |
Member (5) Add_node (327)
Add_node (0) Add_node (9908)
Add_node (0) Member (7)
Add_node (9) Add_node (1)
Member (0) Member (9)
Member (9) Add_node (573)
Add_node (1) Add_node (80)
Add_node (9) Add_node (5)
Add_node (877) Member (27)
Member (74)
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Lin CList int test with Thread:
Results incompatible with sequential execution
|
Member (8) : RMember false
Add_node (3) : RAdd_node true
Member (6) : RMember false
Member (1) : RMember false
Member (8260) : RMember false
Add_node (3) : RAdd_node true
Member (9) : RMember false
Add_node (606) : RAdd_node true
Add_node (0) : RAdd_node true
Member (65) : RMember false
Member (5905) : RMember false
Member (41) : RMember false
Add_node (59) : RAdd_node true
Member (316) : RMember false
Add_node (177) : RAdd_node true
|
.------------------------------------.
| |
Member (5) : RMember false Add_node (327) : RAdd_node true
Add_node (0) : RAdd_node true Add_node (9908) : RAdd_node true
Add_node (0) : RAdd_node true Member (7) : RMember false
Add_node (9) : RAdd_node true Add_node (1) : RAdd_node true
Member (0) : RMember true Member (9) : RMember false
Member (9) : RMember false Add_node (573) : RAdd_node true
Add_node (1) : RAdd_node true Add_node (80) : RAdd_node true
Add_node (9) : RAdd_node true Add_node (5) : RAdd_node true
Add_node (877) : RAdd_node true Member (27) : RMember false
Member (74) : RMember false
================================================================================
failure (1 tests failed, 0 tests errored, ran 1 tests)
File "src/neg_tests/dune", line 105, characters 29-54:
105 | (names lin_tests_thread_ref lin_tests_thread_conclist)
^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default/src/neg_tests && ./lin_tests_thread_conclist.exe --verbose)
Command exited with code 1.
File "src/neg_tests/dune", line 105, characters 29-54:
105 | (names lin_tests_thread_ref lin_tests_thread_conclist)
^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default/src/neg_tests && ./lin_tests_thread_conclist.exe --verbose)
Command exited with code 1.
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-14 23:21.00: Job failed: Failed: Build failed