Build:
- 0
2024-01-12 13:34.22: New job: test linux-s390x/s390x/5.2/0c8fdcba4d75d7f990bf01dfd0d639b048c67f18 2024-01-12 13:34.22: Using cache hint "linux-s390x/s390x/5.2/0c8fdcba4d75d7f990bf01dfd0d639b048c67f18" 2024-01-12 13:34.22: Using OBuilder spec: ((from ocaml/opam:debian-11-ocaml-5.2@sha256:079c10a7da624ae9b3f0673f83558f097bee2084dc16066194b312b23860bd3d) (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 fa77046c6497f8ca32926acdb7eb1e61777d4c17 || git fetch origin master) && git reset -q --hard fa77046c6497f8ca32926acdb7eb1e61777d4c17 && git log --no-decorate -n1 --oneline && opam update -u")) (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) (env CI true) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) (copy (src .) (dst /src)) (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice")) ) 2024-01-12 13:34.22: Waiting for resource in pool OCluster 2024-01-12 13:34.22: Waiting for worker… 2024-01-12 13:41.13: Got resource from pool OCluster Building on s390x-worker-02.marist.ci.dev HEAD is now at 9c63209 Clean-up old comments HEAD is now at 0c8fdcb Small indentation fix (from ocaml/opam:debian-11-ocaml-5.2@sha256:079c10a7da624ae9b3f0673f83558f097bee2084dc16066194b312b23860bd3d) Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:079c10a7da624ae9b3f0673f83558f097bee2084dc16066194b312b23860bd3d' locally docker.io/ocaml/opam@sha256:079c10a7da624ae9b3f0673f83558f097bee2084dc16066194b312b23860bd3d: Pulling from ocaml/opam b04f59487e32: Pulling fs layer b04f59487e32: Download complete b04f59487e32: Pull complete Digest: sha256:079c10a7da624ae9b3f0673f83558f097bee2084dc16066194b312b23860bd3d Status: Downloaded newer image for ocaml/opam@sha256:079c10a7da624ae9b3f0673f83558f097bee2084dc16066194b312b23860bd3d 2024-01-12 13:43.09 ---> saved as "1970d850fb3b4bae00d71b9a1f1fb172bd6bd04a3bef4d66b327ee22b9693feb" /: (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 2024-01-12 13:44.30 ---> saved as "c5201c7524c0279a6ef0bbd65662780ea5371e9385b76f01b5a8869e57856d2f" /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-01-12 13:44.30 ---> saved as "646df3139044ce0ff5e4032d835987ae1e7666bde595419dc31b6053f63fdd08" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e fa77046c6497f8ca32926acdb7eb1e61777d4c17 || git fetch origin master) && git reset -q --hard fa77046c6497f8ca32926acdb7eb1e61777d4c17 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD cbef5a5f60..fa77046c64 master -> origin/master fa77046c64 Merge pull request #25047 from AltGr/conf-ninja <><> 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 <><><><><><><><><><><><><><><><><><><><> Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2024-01-12 13:45.55 ---> saved as "886a0ed6c9d03059743e20b0d63277a6941839864f45e0840a11be77e56d6fbe" /src: (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) [override] Initialised 2024-01-12 13:45.57 ---> saved as "f6d50c6674e6ba5b7d5ab182011348fb063fc943eba53822b1ede46c04277c97" /src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) 2024-01-12 13:45.58 ---> saved as "fbfe852d3087616ff7d200743fc9ccf8e6d878ba2f58e75cf9581dcceae13c2e" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) [qcheck-multicoretests-util.dev] synchronised (file:///src) qcheck-multicoretests-util is now pinned to file:///src (version dev) [qcheck-lin.dev] synchronised (file:///src) qcheck-lin is now pinned to file:///src (version dev) [qcheck-stm.dev] synchronised (file:///src) qcheck-stm is now pinned to file:///src (version dev) Package multicoretests does not exist, create as a NEW package? [Y/n] y [multicoretests.dev] synchronised (file:///src) multicoretests is now pinned to file:///src (version dev) 2024-01-12 13:46.04 ---> saved as "52f343a35579d30d1001f15900a777be77420c210bd5f45034b7a418dbaf305a" /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 [236 kB] - Fetched 328 kB in 0s (983 kB/s) - Reading package lists... - [qcheck-lin.dev] synchronised (no changes) [multicoretests.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) 2024-01-12 13:46.27 ---> saved as "bf4d2b720c042c8b7259e7c22d58778f91358afad112fab30b09f173beeb7fe2" /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.12.2 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-core 0.21.3 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-multicoretests-util dev* - install qcheck-stm dev* - install qcheck-lin dev* - install multicoretests dev* ===== 6 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved multicoretests.dev (file:///src) -> retrieved qcheck-core.0.21.3 (cached) -> retrieved qcheck-lin.dev (file:///src) -> retrieved qcheck-multicoretests-util.dev (file:///src) -> retrieved qcheck-stm.dev (file:///src) -> retrieved dune.3.12.2 (cached) -> installed dune.3.12.2 -> installed qcheck-core.0.21.3 -> installed qcheck-multicoretests-util.dev -> installed qcheck-lin.dev -> installed qcheck-stm.dev -> installed multicoretests.dev Done. # Run eval $(opam env) to update the current shell environment 2024-01-12 13:47.37 ---> saved as "2561bfd8e0d0e289a92525c5469ae9387640686bb279d7d8b97680e2879f3459" /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+dev2-2023-12-22 standard_library_default: /home/opam/.opam/5.2/lib/ocaml standard_library: /home/opam/.opam/5.2/lib/ocaml ccomp_type: cc c_compiler: gcc ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlc_cppflags: -D_FILE_OFFSET_BITS=64 ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64 bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 bytecomp_c_libraries: -lzstd -lm -ldl -lpthread native_c_libraries: -lzstd -lm -ldl -lpthread native_ldflags: native_pack_linker: ld -r -o native_compiler: true architecture: s390x model: z10 int_size: 63 word_size: 64 system: linux asm: gcc -c asm_cfi_supported: true with_frame_pointers: false ext_exe: ext_obj: .o ext_asm: .s ext_lib: .a ext_dll: .so os_type: Unix default_executable_name: a.out systhread_supported: true host: s390x-ibm-linux-gnu target: s390x-ibm-linux-gnu flambda: false safe_string: true default_safe_string: true flat_float_array: true function_sections: false afl_instrument: false tsan: false windows_unicode: false supports_shared_libraries: true native_dynlink: true naked_pointers: false 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-domains base default base-nnp base default Naked pointers prohibited in the OCaml heap base-threads base default base-unix base default dune 3.12.2 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-variants 5.2.0+trunk default pinned to version 5.2.0+trunk opam-depext 1.2.1-1 default Install OS distribution packages qcheck-core 0.21.3 default Core qcheck library qcheck-lin dev pinned to version dev at file:///src qcheck-multicoretests-util dev pinned to version dev at file:///src qcheck-stm dev pinned to version dev at file:///src 2024-01-12 13:47.41 ---> saved as "cd5b4f7fa1e215b9599504f4975a4760300f59a988e39eb92a58ded910d44b3c" /src: (copy (src .) (dst /src)) 2024-01-12 13:47.43 ---> saved as "b06d5ee2a1166bca652ed62962e996bf04d3196fca859f36764c9176848d22f6" /src: (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice")) STM ensure cleanup: sequential test OK STM ensure cleanup: parallel test OK random seed: 301717275 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency [ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency (generating) [✓] 1000 0 0 1000 / 1000 0.1s STM test exception during next_state consistency ================================================================================ success (ran 1 tests) STM test exception during next_state sequential failed with Random_next_state_failure as expected STM test exception during next_state parallel failed with Random_next_state_failure as expected Skipping src/array/lin_internal_tests.exe from the test suite Skipping src/queue/lin_internal_tests.exe from the test suite Skipping src/stack/lin_internal_tests.exe from the test suite Skipping src/atomic/lin_internal_tests.exe from the test suite Skipping src/bigarray/stm_tests.exe from the test suite Skipping src/domain/lin_tests_dls.exe from the test suite Skipping src/hashtbl/lin_internal_tests.exe from the test suite Skipping src/io/lin_internal_tests.exe from the test suite Skipping src/lazy/lin_internal_tests.exe from the test suite Skipping src/neg_tests/lin_tests_thread.exe from the test suite Skipping src/io/lin_tests_thread.exe from the test suite Skipping src/lazy/lin_tests.exe from the test suite Skipping src/neg_tests/lin_internal_tests_domain.exe from the test suite Skipping src/neg_tests/lin_internal_tests_effect.exe from the test suite random seed: 16046563 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Array test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.8s STM Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Array test parallel [✓] 1 0 1 0 / 1000 31.1s STM Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Array test parallel failed as expected (38 shrink steps): | Fill (2, 6, '8') Sub (6, 7) | .---------------------. | | Stable_sort To_seq +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Array test parallel: Results incompatible with linearized model | Fill (2, 6, '8') : Ok (()) Sub (6, 7) : Ok ([|'8'; '8'; 'a'; 'a'; 'a'; 'a'; 'a'|]) | .------------------------------------------------------------------------------------------. | | Stable_sort : () To_seq : ['a'; 'a'; '8'; '8'; '8'; '8'; '8'; '8'; 'a'; 'a'; 'a'; 'a'; 'a'; '8'; '8'; '8'] ================================================================================ success (ran 2 tests) random seed: 316687414 generated error fail pass / total time test name [ ] 0 0 0 0 / 250 0.0s STM Atomic test sequential [ ] 0 0 0 0 / 250 0.0s STM Atomic test sequential (generating) [✓] 250 0 0 250 / 250 0.0s STM Atomic test sequential [ ] 0 0 0 0 / 250 0.0s STM Atomic test parallel [✓] 250 0 0 250 / 250 23.3s STM Atomic test parallel ================================================================================ success (ran 2 tests) random seed: 104046588 generated error fail pass / total time test name [ ] 0 0 0 0 / 5000 0.0s Lin Bigarray.Array1 (of ints) test with Domain [ ] 0 0 0 0 / 5000 0.0s Lin Bigarray.Array1 (of ints) test with Domain (generating) [✓] 10 0 1 9 / 5000 40.9s Lin Bigarray.Array1 (of ints) test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Bigarray.Array1 (of ints) test with Domain failed as expected (34 shrink steps): | | .--------------------------. | | Bigarray.Array1.fill t 0 Bigarray.Array1.fill t 9 Bigarray.Array1.get t 4 Bigarray.Array1.set t 1 6 Bigarray.Array1.get t 2 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Bigarray.Array1 (of ints) test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Bigarray.Array1.fill t 0 : () Bigarray.Array1.fill t 9 : () Bigarray.Array1.get t 4 : Ok (9) Bigarray.Array1.set t 1 6 : Ok (()) Bigarray.Array1.get t 2 : Ok (0) ================================================================================ success (ran 1 tests) random seed: 517902132 generated error fail pass / total time test name [ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work [ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work (generating) [✓] 100 0 0 100 / 100 56.7s Domain.spawn/join - tak work [ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic [ ] 59 0 0 59 / 500 3.3s Domain.spawn/join - atomic [✓] 500 0 0 500 / 500 21.7s Domain.spawn/join - atomic ================================================================================ success (ran 2 tests) random seed: 500046005 generated error fail pass / total time test name [ ] 0 0 0 0 / 200 0.0s STM Hashtbl test sequential [ ] 0 0 0 0 / 200 0.0s STM Hashtbl test sequential (generating) [✓] 200 0 0 200 / 200 0.0s STM Hashtbl test sequential [ ] 0 0 0 0 / 200 0.0s STM Hashtbl test parallel [✓] 3 0 1 2 / 200 1.6s STM Hashtbl test parallel --- Info ----------------------------------------------------------------------- Negative test STM Hashtbl test parallel failed as expected (8 shrink steps): | Add ('F', 3) | .---------------------. | | Remove 'F' Add ('\'', 803) Length +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Hashtbl test parallel: Results incompatible with linearized model | Add ('F', 3) : () | .------------------------------------. | | Remove 'F' : () Add ('\'', 803) : () Length : 0 ================================================================================ success (ran 2 tests) random seed: 409465671 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin In_channel test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin In_channel test with Domain (generating) [✓] 9 0 1 8 / 1000 1.4s Lin In_channel test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin In_channel test with Domain failed as expected (14 shrink steps): | In_channel.really_input_string t 1 | .-----------------------------------. | | In_channel.pos t In_channel.input_line t In_channel.length t In_channel.input_char t In_channel.length t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin In_channel test with Domain: Results incompatible with sequential execution | In_channel.really_input_string t 1 : Ok (Some ("(")) | .-----------------------------------------------------. | | In_channel.pos t : 4 In_channel.input_line t : Ok (Some ("env")) In_channel.length t : Ok (1875) In_channel.input_char t : Ok (Some (' ')) In_channel.length t : Ok (1875) ================================================================================ success (ran 1 tests) random seed: 155216272 generated error fail pass / total time test name [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential (generating) [✓] 200 0 0 200 / 200 4.7s STM Lazy test sequential [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val [✓] 200 0 0 200 / 200 0.1s STM Lazy test sequential from_val [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun [✓] 200 0 0 200 / 200 4.7s STM Lazy test sequential from_fun [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel [ ] 13 0 0 13 / 200 53.0s STM Lazy test parallel (shrinking: 3.0002) [ ] 13 0 0 13 / 200 115.5s STM Lazy test parallel (shrinking: 6.0002) [✓] 14 0 1 13 / 200 134.7s STM Lazy test parallel [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val [✓] 200 0 0 200 / 200 27.9s STM Lazy test parallel from_val [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun [ ] 13 0 0 13 / 200 20.5s STM Lazy test parallel from_fun (shrinking: 0.0002) [ ] 13 0 0 13 / 200 84.2s STM Lazy test parallel from_fun (shrinking: 3.0004) [ ] 14 0 1 13 / 200 149.9s STM Lazy test parallel from_fun [✓] 14 0 1 13 / 200 149.9s STM Lazy test parallel from_fun --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel failed as expected (6 shrink steps): | | .-----------------------------. | | Force_val Map_val ({700 -> 4; _ -> 0}) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel: Results incompatible with linearized model | | .-----------------------------------------------. | | Force_val : Error (CamlinternalLazy.Undefined) Map_val ({700 -> 4; _ -> 0}) : Ok (4) --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel from_fun failed as expected (6 shrink steps): | | .-----------------------------. | | Force_val Map_val ({700 -> 4; _ -> 0}) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel from_fun: Results incompatible with linearized model | | .------------------------------------------------------------------. | | Force_val : Ok (700) Map_val ({700 -> 4; _ -> 0}) : Error (CamlinternalLazy.Undefined) ================================================================================ success (ran 6 tests) random seed: 255750449 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM int ref test sequential [ ] 0 0 0 0 / 1000 0.0s STM int ref test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.1s STM int ref test sequential [ ] 0 0 0 0 / 1000 0.0s STM int64 ref test sequential [✓] 1000 0 0 1000 / 1000 0.1s STM int64 ref test sequential ================================================================================ success (ran 2 tests) random seed: 68988894 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Array test with Domain (generating) [✓] 1 0 1 0 / 1000 3.8s Lin Array test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Array test with Domain failed as expected (28 shrink steps): | Array.set t 0 '`' | .---------------------. | | Array.copy t Array.sort t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Array test with Domain: Results incompatible with sequential execution | Array.set t 0 '`' : Ok (()) | .--------------------------------------------------------------------------------------------------. | | Array.copy t : [|'a'; 'a'; 'a'; 'a'; '`'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; '`'; 'a'; 'a'|] Array.sort t : () ================================================================================ success (ran 1 tests) random seed: 51988701 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Atomic test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Atomic test with Domain (generating) [✓] 1000 0 0 1000 / 1000 17.9s Lin Atomic test with Domain ================================================================================ success (ran 1 tests) random seed: 466895909 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.7s domain_spawntree - with Atomic ================================================================================ success (ran 1 tests) random seed: 307124586 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.6s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test parallel [✓] 11 0 1 10 / 1000 1.0s STM Domain.DLS test parallel --- Info ----------------------------------------------------------------------- Negative test STM Domain.DLS test parallel failed as expected (17 shrink steps): | | .---------------------. | | Set (2, 5) Set (3, 28) Get 3 Get 2 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Domain.DLS test parallel: Results incompatible with linearized model | | .------------------------------------. | | Set (2, 5) : () Set (3, 28) : () Get 3 : 3 Get 2 : 2 ================================================================================ success (ran 2 tests) random seed: 42747937 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl test with Domain (generating) [ ] 8 0 0 8 / 1000 60.1s Lin Hashtbl test with Domain (shrinking: 36.0006) [✓] 9 0 1 8 / 1000 68.2s Lin Hashtbl test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Hashtbl test with Domain failed as expected (43 shrink steps): | Hashtbl.add t 'a' 0 | .------------------------. | | Hashtbl.clear t Hashtbl.replace t 'b' 1 Hashtbl.length t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Hashtbl test with Domain: Results incompatible with sequential execution | Hashtbl.add t 'a' 0 : () | .------------------------------------. | | Hashtbl.clear t : () Hashtbl.replace t 'b' 1 : () Hashtbl.length t : 2 ================================================================================ success (ran 1 tests) random seed: 89750687 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential [ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential (generating) [✗] 11 0 1 10 / 1000 0.0s STM Out_channel test sequential [ ] 0 0 0 0 / 1000 0.0s STM Out_channel test parallel [✗] 9 0 1 8 / 1000 3.8s STM Out_channel test parallel --- Failure -------------------------------------------------------------------- Test STM Out_channel test sequential failed (15 shrink steps): Close Seek 2L Output_string "Q\167\017" +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Out_channel test sequential: Results incompatible with model Close : Ok (()) Seek 2L : Error (Sys_error("Bad file descriptor")) Output_string "Q\167\017" : Ok (()) --- Failure -------------------------------------------------------------------- Test STM Out_channel test parallel failed (32 shrink steps): | Close Output_char ']' Output_bytes "I\217\253)" | .--------------------------. | | +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Out_channel test parallel: Results incompatible with linearized model | Close : Ok (()) Output_char ']' : Error (Sys_error("Bad file descriptor")) Output_bytes "I\217\253)" : Ok (()) | .-----------------------------------------------------------. | | ================================================================================ failure (2 tests failed, 0 tests errored, ran 2 tests) File "src/io/dune", line 40, characters 7-16: 40 | (name stm_tests) ^^^^^^^^^ (cd _build/default/src/io && ./stm_tests.exe --verbose) Command exited with code 1. random seed: 98569638 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel [ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel (generating) [✓] 2 0 1 1 / 1000 2.4s STM int ref test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel [✓] 4 0 1 3 / 1000 1.6s STM int64 ref test parallel --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel failed as expected (15 shrink steps): | | .---------------------. | | Decr Add 2 Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Decr : () Add 2 : () Get : -1 --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel failed as expected (24 shrink steps): | | .---------------------. | | Add 9L Set 1L Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add 9L : () Set 1L : () Get : 9 ================================================================================ success (ran 2 tests) random seed: 529795132 generated error fail pass / total time test name [ ] 0 0 0 0 / 5000 0.0s STM int ref test parallel asymmetric [ ] 0 0 0 0 / 5000 0.0s STM int ref test parallel asymmetric (generating) [✓] 11 0 1 10 / 5000 4.3s STM int ref test parallel asymmetric [ ] 0 0 0 0 / 5000 0.0s STM int64 ref test parallel asymmetric [✓] 2 0 1 1 / 5000 1.7s STM int64 ref test parallel asymmetric --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel asymmetric failed as expected (31 shrink steps): | | .---------------------. | | Decr Incr Get Decr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel asymmetric: Results incompatible with linearized model: | | .------------------------------------. | | Decr : () Incr : () Get : -2 Decr : () --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel asymmetric failed as expected (25 shrink steps): | | .---------------------. | | Incr Decr Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test parallel asymmetric: Results incompatible with linearized model: | | .------------------------------------. | | Incr : () Decr : () Get : 1 ================================================================================ success (ran 2 tests) random seed: 453199210 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 3.4s STM int CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential [✓] 1000 0 0 1000 / 1000 4.2s STM int64 CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel [✓] 3 0 1 2 / 1000 13.6s STM int CList test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel [✓] 3 0 1 2 / 1000 19.7s STM int64 CList test parallel --- Info ----------------------------------------------------------------------- Negative test STM int CList test parallel failed as expected (34 shrink steps): | | .---------------------. | | Add_node (1) Add_node (7) Member (7) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int CList test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add_node (1) : true Add_node (7) : true Member (7) : false --- Info ----------------------------------------------------------------------- Negative test STM int64 CList test parallel failed as expected (33 shrink steps): | | .---------------------. | | Add_node (1) Add_node (7) Member (7) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 CList test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add_node (1) : true Add_node (7) : true Member (7) : false ================================================================================ success (ran 4 tests) random seed: 393029878 generated error fail pass / total time test name [ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain (generating) [✓] 3 0 1 2 / 10000 13.0s Lin ref int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain [✓] 2 0 1 1 / 10000 2.9s Lin ref int64 test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain [✓] 3 0 1 2 / 10000 20.5s Lin CList int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain [✓] 3 0 1 2 / 10000 20.7s Lin CList int64 test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin ref int test with Domain failed as expected (30 shrink steps): | | .---------------------. | | Sut_int.add t 8 Sut_int.add t 1 Sut_int.get t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin ref int test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Sut_int.add t 8 : () Sut_int.add t 1 : () Sut_int.get t : 8 --- Info ----------------------------------------------------------------------- Negative test Lin ref int64 test with Domain failed as expected (25 shrink steps): | | .---------------------. | | Sut_int64.incr t Sut_int64.incr t Sut_int64.set t 4 Sut_int64.get t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin ref int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Sut_int64.incr t : () Sut_int64.incr t : () Sut_int64.set t 4 : () Sut_int64.get t : 2 --- Info ----------------------------------------------------------------------- Negative test Lin CList int test with Domain failed as expected (36 shrink steps): | | .---------------------. | | CList.add_node t 7 CList.add_node t 3 CList.member t 7 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin CList int test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | CList.add_node t 7 : true CList.add_node t 3 : true CList.member t 7 : false --- Info ----------------------------------------------------------------------- Negative test Lin CList int64 test with Domain failed as expected (27 shrink steps): | | .---------------------. | | CList.add_node t 6 CList.add_node t 8 CList.member t 8 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin CList int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | CList.add_node t 6 : true CList.add_node t 8 : true CList.member t 8 : false ================================================================================ success (ran 4 tests) random seed: 293462078 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) [ ] 121 0 0 121 / 500 60.3s Mash up of threads and domains [ ] 259 0 0 259 / 500 120.3s Mash up of threads and domains [ ] 382 0 0 382 / 500 181.0s Mash up of threads and domains [ ] 490 0 0 490 / 500 241.4s Mash up of threads and domains [✓] 500 0 0 500 / 500 248.2s Mash up of threads and domains ================================================================================ success (ran 1 tests) random seed: 271367203 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Buffer test sequential [ ] 0 0 0 0 / 1000 0.0s STM Buffer test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.3s STM Buffer test sequential [ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel [✓] 4 0 1 2 / 1000 15.2s STM Buffer test parallel --- Info ----------------------------------------------------------------------- Negative test STM Buffer test parallel failed as expected (22 shrink steps): | Add_string "=>\197\191*\196\176\155#... (truncated) | .----------------------------------------------------. | | Reset Add_char ':' To_bytes Length +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Buffer test parallel: Results incompatible with linearized model | Add_string "=>\197\191*\196\176\155#... (truncated) : Ok (()) | .--------------------------------------------------------------. | | Reset : Ok (()) Add_char ':' : Ok (()) To_bytes : Error (Invalid_argument("String.sub / Bytes.sub")) Length : 29 ================================================================================ success (ran 2 tests) random seed: 6959615 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential [ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s STM Ephemeron test sequential ================================================================================ success (ran 1 tests) generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel [ ] 18 0 0 18 / 1000 59.9s STM Ephemeron test parallel (shrinking: 21.0002) [✓] 19 0 1 18 / 1000 65.7s STM Ephemeron test parallel --- Info ----------------------------------------------------------------------- Negative test STM Ephemeron test parallel failed as expected (35 shrink steps): | Add (0L, 2L) Add (0L, 8L) | .---------------------. | | Remove 0L Remove 0L Find_all 0L Find_opt 0L +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Ephemeron test parallel: Results incompatible with linearized model | Add (0L, 2L) : () Add (0L, 8L) : () | .------------------------------------. | | Remove 0L : () Remove 0L : () Find_all 0L : [2] Find_opt 0L : Some (2) ================================================================================ success (ran 1 tests) random seed: 210016116 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential [ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.5s STM Sys test sequential [ ] 0 0 0 0 / 200 0.0s STM Sys test parallel [✓] 200 0 0 200 / 200 15.4s STM Sys test parallel ================================================================================ success (ran 2 tests) random seed: 364717433 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) [ ] 93 0 0 93 / 100 60.2s Thread.create/join [✓] 100 0 0 100 / 100 63.4s Thread.create/join ================================================================================ success (ran 1 tests) random seed: 442675462 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential [ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.3s STM Bytes test sequential [ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel [✓] 2 0 1 1 / 1000 2.3s STM Bytes test parallel --- Info ----------------------------------------------------------------------- Negative test STM Bytes test parallel failed as expected (29 shrink steps): | | .---------------------. | | Fill (2, 9, 'i') To_seq +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Bytes test parallel: Results incompatible with linearized model | | .------------------------------------------------------------------------------------------. | | Fill (2, 9, 'i') : Ok (()) To_seq : ['a'; 'a'; 'a'; 'i'; 'i'; 'i'; 'i'; 'i'; 'i'; 'i'; 'i'; 'a'; 'a'; 'a'; 'a'; 'a'] ================================================================================ success (ran 2 tests) random seed: 349091003 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Float Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Float Array test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Float Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel [✓] 1 0 1 0 / 1000 0.4s STM Float Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Float Array test parallel failed as expected (2 shrink steps): | | .----------------------------. | | Fill (0, 16, 90.5453807334) To_list +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Float Array test parallel: Results incompatible with linearized model | | .--------------------------------------------------------------------------------------. | | Fill (0, 16, 90.5453807334) : Ok (()) To_list : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 90.5453807334] ================================================================================ success (ran 2 tests) random seed: 61965126 generated error fail pass / total time test name [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test sequential [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test sequential (generating) [✓] 200 0 0 200 / 200 0.0s STM Semaphore.Counting test sequential [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel (w/ get_value) [✓] 417 0 0 200 / 200 3.8s STM Semaphore.Counting test parallel (w/ get_value) [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel (w/o get_value) [✓] 600 0 0 194 / 200 6.1s STM Semaphore.Counting test parallel (w/o get_value) ================================================================================ success (ran 3 tests) random seed: 418454490 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential [ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.3s STM Weak test sequential ================================================================================ success (ran 1 tests) generated error fail pass / total time test name [ ] 0 0 0 0 / 5000 0.0s STM Weak test parallel [✓] 121 0 1 120 / 5000 38.1s STM Weak test parallel --- Info ----------------------------------------------------------------------- Negative test STM Weak test parallel failed as expected (41 shrink steps): | | .---------------------. | | Fill (0, 2, Some 9L) Fill (0, 2, None) Check 1 Check 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Weak test parallel: Results incompatible with linearized model | | .------------------------------------. | | Fill (0, 2, Some 9L) : Ok (()) Fill (0, 2, None) : Ok (()) Check 1 : Ok (false) Check 0 : Ok (true) ================================================================================ success (ran 1 tests) random seed: 162077841 generated error fail pass / total time test name [ ] 0 0 0 0 / 100 0.0s negative Lin Dynlink test with Domain [ ] 0 0 0 0 / 100 0.0s negative Lin Dynlink test with Domain (generating) [✓] 1 0 1 0 / 100 6.0s negative Lin Dynlink test with Domain --- Info ----------------------------------------------------------------------- Negative test negative Lin Dynlink test with Domain failed as expected (0 shrink steps): | Dynlink.loadfile libA.cmxs Dynlink.loadfile libA.cmxs Dynlink.all_units () | .------------------------------. | | Dynlink.main_program_units () Dynlink.all_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.all_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.loadfile libB.cmxs Dynlink.loadfile libC.cmxs Dynlink.all_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.all_units () Dynlink.all_units () Dynlink.main_program_units () Dynlink.loadfile libC.cmxs Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.all_units () Dynlink.main_program_units () +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin Dynlink test with Domain: Results incompatible with sequential execution | Dynlink.loadfile libA.cmxs : Ok (()) Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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.cmxs : Ok (()) Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll Failure("/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory"))) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "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"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "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"; "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__In_channel"; "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"; "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__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll Failure("/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory"))) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "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"; "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__In_channel"; "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"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "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"; "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__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] ================================================================================ success (ran 1 tests) random seed: 512792136 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain (generating) [✓] 1 0 1 0 / 1000 3.0s Lin Queue test with Domain [ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread [ ] 157 0 0 157 / 250 57.5s Lin Queue test with Thread [✓] 250 0 0 250 / 250 113.0s Lin Queue test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin Queue test with Domain failed as expected (9 shrink steps): | Queue.add 3 t | .---------------------. | | Queue.add 0 t Queue.take t Queue.peek t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Queue test with Domain: Results incompatible with sequential execution | Queue.add 3 t : () | .------------------------------------------. | | Queue.add 0 t : () Queue.take t : Ok (3) Queue.peek t : Error (Stdlib.Queue.Empty) ================================================================================ success (ran 2 tests) random seed: 9825190 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Stack test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Stack test with Domain (generating) [✓] 2 0 1 1 / 1000 25.9s Lin Stack test with Domain [ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread [ ] 65 0 0 65 / 250 34.2s Lin Stack test with Thread [ ] 178 0 0 178 / 250 94.4s Lin Stack test with Thread [✓] 250 0 0 250 / 250 139.0s Lin Stack test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin Stack test with Domain failed as expected (20 shrink steps): | Stack.push 0 t | .---------------------. | | Stack.pop_opt t Stack.push 0 t Stack.is_empty t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Stack test with Domain: Results incompatible with sequential execution | Stack.push 0 t : () | .------------------------------------. | | Stack.pop_opt t : Some (0) Stack.push 0 t : () Stack.is_empty t : true ================================================================================ success (ran 2 tests) random seed: 300613667 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Domain (generating) [✓] 1000 0 0 1000 / 1000 23.0s Lin Bytes test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread [✓] 1000 0 0 1000 / 1000 9.3s Lin Bytes test with Thread ================================================================================ success (ran 2 tests) random seed: 411854607 generated error fail pass / total time test name [ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread [ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread (generating) [✓] 250 0 0 250 / 250 7.8s STM int ref test with Thread [ ] 0 0 0 0 / 2500 0.0s STM int64 ref test with Thread [✓] 7 0 1 6 / 2500 20.1s STM int64 ref test with Thread --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test with Thread failed as expected (8 shrink steps): | Decr | .---------------------. | | Get Set 88L Incr Add 3L Decr Get Set 3L Set 4L Decr Set 98L Add 67L Get Add 1L Add 1L Incr Add 3L Set 7L Decr Incr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test with Thread: Results incompatible with linearized model | Decr : () | .------------------------------------. | | Get : 88 Set 88L : () Incr : () Add 3L : () Decr : () Get : 90 Set 3L : () Set 4L : () Decr : () Set 98L : () Add 67L : () Get : 165 Add 1L : () Add 1L : () Incr : () Add 3L : () Set 7L : () Decr : () Incr : () ================================================================================ success (ran 2 tests) random seed: 354930540 generated error fail pass / total time test name [ ] 0 0 0 0 / 20000 0.0s Lin ref int test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin ref int test with Effect (generating) [✓] 20000 0 0 20000 / 20000 0.3s Lin ref int test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin ref int64 test with Effect [✓] 20000 0 0 20000 / 20000 0.4s Lin ref int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin CList int test with Effect [✓] 20000 0 0 20000 / 20000 0.5s Lin CList int test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin CList int64 test with Effect [✓] 20000 0 0 20000 / 20000 0.5s Lin CList int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin ref int test with Effect [✓] 2 0 1 1 / 20000 0.0s negative Lin ref int test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin ref int64 test with Effect [✓] 2 0 1 1 / 20000 0.0s negative Lin ref int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin CList int test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin CList int test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin CList int64 test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin CList int64 test with Effect --- Info ----------------------------------------------------------------------- Negative test negative Lin ref int test with Effect failed as expected (95 shrink steps): | | .---------------------. | | Sut_int'.add t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin ref int test with Effect: Results incompatible with linearized model | | .------------------------------------. | | Sut_int'.add t 0 : Ok (()) --- Info ----------------------------------------------------------------------- Negative test negative Lin ref int64 test with Effect failed as expected (79 shrink steps): | | .---------------------. | | Sut_int64'.add t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin ref int64 test with Effect: Results incompatible with linearized model | | .------------------------------------. | | Sut_int64'.add t 0 : Ok (()) --- Info ----------------------------------------------------------------------- Negative test negative Lin CList int test with Effect failed as expected (66 shrink steps): | | .---------------------. | | CList.add_node t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin CList int test with Effect: Results incompatible with linearized model | | .------------------------------------. | | CList.add_node t 0 : Ok (true) --- Info ----------------------------------------------------------------------- Negative test negative Lin CList int64 test with Effect failed as expected (76 shrink steps): | | .---------------------. | | CList.add_node t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin CList int64 test with Effect: Results incompatible with linearized model | | .------------------------------------. | | CList.add_node t 0 : Ok (true) ================================================================================ success (ran 8 tests) random seed: 29149214 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic [ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic (generating) [✓] 1000 0 0 1000 / 1000 5.2s thread_createtree - with Atomic ================================================================================ success (ran 1 tests) random seed: 279120314 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain (generating) [✓] 2 0 1 1 / 1000 13.6s Lin Float.Array test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Float.Array test with Domain failed as expected (13 shrink steps): | Float.Array.set t 0 -43948.6698787 | .-----------------------------------. | | Float.Array.sort t Float.Array.to_array t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Float.Array test with Domain: Results incompatible with sequential execution | Float.Array.set t 0 -43948.6698787 : Ok (()) | .--------------------------------------------------------------------------------------------------------------------. | | Float.Array.sort t : () Float.Array.to_array t : [|-43948.6698787; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; -43948.6698787; 0.; 0.|] ================================================================================ success (ran 1 tests) random seed: 302328620 generated error fail pass / total time test name [ ] 0 0 0 0 / 500 0.0s STM Semaphore.Binary test sequential [ ] 0 0 0 0 / 500 0.0s STM Semaphore.Binary test sequential (generating) [✓] 500 0 0 500 / 500 0.0s STM Semaphore.Binary test sequential [ ] 0 0 0 0 / 500 0.0s STM Semaphore.Binary test parallel [✓] 1500 0 0 333 / 500 6.6s STM Semaphore.Binary test parallel ================================================================================ success (ran 2 tests) random seed: 229204709 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet test sequential [ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s 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 [✓] 17 0 1 16 / 5000 32.1s STM Weak HashSet test parallel --- Info ----------------------------------------------------------------------- Negative test STM Weak HashSet test parallel failed as expected (25 shrink steps): | Add 1L Add 1L Add 1L | .---------------------. | | Remove 1L Merge 0L Stats +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Weak HashSet test parallel: Results incompatible with linearized model | Add 1L : Ok (()) Add 1L : Ok (()) Add 1L : Ok (()) | .------------------------------------. | | Remove 1L : Ok (()) Merge 0L : Ok (0) Stats : (16, 4, 7, 0, 0, 7) ================================================================================ success (ran 1 tests) random seed: 223057186 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin.Internal ref int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin.Internal ref int test with Thread (generating) [✓] 1000 0 0 1000 / 1000 35.3s Lin.Internal ref int test with Thread [ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread [ ] 6 0 0 6 / 15000 24.9s Lin.Internal ref int64 test with Thread (shrinking: 7.0002) [✓] 7 0 1 6 / 15000 62.1s Lin.Internal ref int64 test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin.Internal ref int64 test with Thread failed as expected (8 shrink steps): | Decr Incr Add 931L | .---------------------. | | Add 59L Get Incr Get Add 73L Decr Add 9L Set 2L Get Add 7L Set 50L Incr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin.Internal ref int64 test with Thread: Results incompatible with sequential execution | Decr : RDecr Incr : RIncr Add 931L : RAdd | .------------------------------------. | | Add 59L : RAdd Get : RGet 931L Incr : RIncr Get : RGet 990L Add 73L : RAdd Decr : RDecr Add 9L : RAdd Set 2L : RSet Get : RGet 1080L Add 7L : RAdd Set 50L : RSet Incr : RIncr ================================================================================ success (ran 2 tests) random seed: 515148872 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int test with Thread (generating) [ ] 214 0 0 214 / 1000 60.1s Lin.Internal CList int test with Thread [ ] 342 0 0 342 / 1000 120.4s Lin.Internal CList int test with Thread [ ] 692 0 0 692 / 1000 189.7s Lin.Internal CList int test with Thread [ ] 882 0 0 882 / 1000 249.8s Lin.Internal CList int test with Thread [ ] 994 0 0 994 / 1000 309.9s Lin.Internal CList int test with Thread [✓] 1000 0 0 1000 / 1000 311.7s Lin.Internal CList int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread [ ] 168 0 0 168 / 1000 58.8s Lin.Internal CList int64 test with Thread [ ] 288 0 0 288 / 1000 121.1s Lin.Internal CList int64 test with Thread [ ] 692 0 0 692 / 1000 189.2s Lin.Internal CList int64 test with Thread [ ] 842 0 0 842 / 1000 249.5s Lin.Internal CList int64 test with Thread [ ] 904 0 0 904 / 1000 314.1s Lin.Internal CList int64 test with Thread [✓] 1000 0 0 1000 / 1000 346.8s Lin.Internal CList int64 test with Thread ================================================================================ success (ran 2 tests) File "src/io/dune", line 40, characters 7-16: 40 | (name stm_tests) ^^^^^^^^^ (cd _build/default/src/io && ./stm_tests.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 2024-01-12 14:26.59: Job failed: Failed: Build failed