Build:
- 0
2024-09-11 15:49.58: New job: test linux-ppc64/ppc64le/5.2/cd5b374a7b3e6b0217bf808746fc005995260a50 2024-09-11 15:49.58: Using cache hint "linux-ppc64/ppc64le/5.2/cd5b374a7b3e6b0217bf808746fc005995260a50" 2024-09-11 15:49.58: Using OBuilder spec: ((from ocaml/opam:debian-11-ocaml-5.2@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5) (env QCHECK_MSG_INTERVAL 60) (user (uid 1000) (gid 1000)) (workdir /src) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (workdir /src) (run (shell "sudo chown opam /src")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 0329818dcfd3de1a722ea09eeeed94cd24caa375 || git fetch origin master) && git reset -q --hard 0329818dcfd3de1a722ea09eeeed94cd24caa375 && git log --no-decorate -n1 --oneline && opam update -u")) (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) (env CI true) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) (copy (src .) (dst /src)) (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice")) ) 2024-09-11 15:49.58: Waiting for resource in pool OCluster 2024-09-11 15:49.58: Waiting for worker… 2024-09-11 15:55.00: Got resource from pool OCluster Building on orithia.caelum.ci.dev HEAD is now at f334c3f Repro under pure bytecode HEAD is now at cd5b374 Drop the v=0 parameter in CI debug runs (from ocaml/opam:debian-11-ocaml-5.2@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5) Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5' locally docker.io/ocaml/opam@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5: Pulling from ocaml/opam Digest: sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5 Status: Downloaded newer image for ocaml/opam@sha256:f8dcb3e5624c5518f37f772d0ff1252a4a47df7e65e3e96f1f489d61fd68c0f5 2024-09-11 16:16.19 ---> saved as "2ed442e5cd3b80489d9ff0df1f31a8db2a8b98d45546abdaf8122ad1e634ea06" /: (env QCHECK_MSG_INTERVAL 60) /: (user (uid 1000) (gid 1000)) /: (workdir /src) /src: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-11 16:18.23 ---> saved as "ef341f11172638a7f267af3c4e6e4fea56e57415d7e9690d830dad646a73a98e" /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-09-11 16:18.28 ---> saved as "d34f5b7c6f2537bbdb9cecfd9af4b49d28ec53b0054d1ca811a2fd9664c9b132" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 0329818dcfd3de1a722ea09eeeed94cd24caa375 || git fetch origin master) && git reset -q --hard 0329818dcfd3de1a722ea09eeeed94cd24caa375 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 7f8a1201e6..0329818dcf master -> origin/master 0329818dcf Merge pull request #26527 from dbuenzli/b0-publish-mtime.2.1.0-etc-b00ab5a8b3cb608d <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2024-09-11 16:20.29 ---> saved as "555753ae5a688c3d9e26c15118eca179e8e07daf080959bc4e4e3e35e0438cf7" /src: (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) [override] Initialised 2024-09-11 16:20.31 ---> saved as "a12a76c5703c2894077415192267ea6ca0029709ee5d295fc030d83631717b4f" /src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) 2024-09-11 16:20.31 ---> saved as "e2a79406aaeffed4721864f2fcfa7e25e828925ab5fffbe8d8c7090d7a5d442f" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) [qcheck-multicoretests-util.dev] synchronised (file:///src) qcheck-multicoretests-util is now pinned to file:///src (version dev) [qcheck-lin.dev] synchronised (file:///src) qcheck-lin is now pinned to file:///src (version dev) [qcheck-stm.dev] synchronised (file:///src) qcheck-stm is now pinned to file:///src (version dev) Package multicoretests does not exist, create as a NEW package? [Y/n] y [multicoretests.dev] synchronised (file:///src) multicoretests is now pinned to file:///src (version dev) 2024-09-11 16:20.42 ---> saved as "e22bfa95b9b0c6f4c54fa22a606738cfdb18e313eac77e82eaca7c0516eb4105" /src: (env CI true) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) + /usr/bin/sudo "apt-get" "update" - Hit:1 http://deb.debian.org/debian bullseye InRelease - Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [27.2 kB] - Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB] - Fetched 71.2 kB in 1s (117 kB/s) - Reading package lists... - [qcheck-lin.dev] synchronised (no changes) [multicoretests.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) 2024-09-11 16:20.56 ---> saved as "cef4ed6db593fb1d4e7034a6774a5c3fbbbd1e1d5fa7e7acfd0e9f16717b0140" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) [qcheck-lin.dev] synchronised (no changes) [multicoretests.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) The following actions will be performed: - install dune 3.16.0 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-core 0.22 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-multicoretests-util dev* - install qcheck-stm dev* - install qcheck-lin dev* - install multicoretests dev* ===== 6 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved qcheck-core.0.22 (cached) -> retrieved multicoretests.dev (file:///src) -> retrieved qcheck-lin.dev (file:///src) -> retrieved qcheck-multicoretests-util.dev (file:///src) -> retrieved qcheck-stm.dev (file:///src) -> retrieved dune.3.16.0 (cached) -> installed dune.3.16.0 -> installed qcheck-core.0.22 -> installed qcheck-multicoretests-util.dev -> installed qcheck-lin.dev -> installed qcheck-stm.dev -> installed multicoretests.dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-11 16:22.04 ---> saved as "8ce0825e77e56e07ee294b5175a8d81f4a79abd637eb12450d3c18963516ffb1" /src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) version: 5.2.0 standard_library_default: /home/opam/.opam/5.2/lib/ocaml standard_library: /home/opam/.opam/5.2/lib/ocaml ccomp_type: cc c_compiler: gcc ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlc_cppflags: -D_FILE_OFFSET_BITS=64 ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64 bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 bytecomp_c_libraries: -lzstd -lm -ldl -lpthread native_c_libraries: -lm -ldl -lpthread native_ldflags: native_pack_linker: ld -r -m elf64lppc -o native_compiler: true architecture: power model: ppc64le 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: powerpc64le-unknown-linux-gnu target: powerpc64le-unknown-linux-gnu flambda: false safe_string: true default_safe_string: true flat_float_array: true function_sections: false afl_instrument: false tsan: false windows_unicode: false supports_shared_libraries: true native_dynlink: true naked_pointers: false exec_magic_number: Caml1999X034 cmi_magic_number: Caml1999I034 cmo_magic_number: Caml1999O034 cma_magic_number: Caml1999A034 cmx_magic_number: Caml1999Y034 cmxa_magic_number: Caml1999Z034 ast_impl_magic_number: Caml1999M034 ast_intf_magic_number: Caml1999N034 cmxs_magic_number: Caml1999D034 cmt_magic_number: Caml1999T034 linear_magic_number: Caml1999L034 <><> Global opam variables ><><><><><><><><><><><><><><><><><><><><><><><><><><> arch ppc64 # Inferred from system exe # Suffix needed for executable filenames (Windows) jobs 175 # The number of parallel jobs set up in opam configuration make make # The 'make' command to use opam-version 2.1.6 # The currently running opam version os linux # Inferred from system os-distribution debian # Inferred from system os-family debian # Inferred from system os-version 11 # Inferred from system root /home/opam/.opam # The current opam root directory switch 5.2 # The identifier of the current switch sys-ocaml-version # OCaml version present on your system independently of opam, if any <><> Configuration variables from the current switch ><><><><><><><><><><><><><> prefix /home/opam/.opam/5.2 lib /home/opam/.opam/5.2/lib bin /home/opam/.opam/5.2/bin sbin /home/opam/.opam/5.2/sbin share /home/opam/.opam/5.2/share doc /home/opam/.opam/5.2/doc etc /home/opam/.opam/5.2/etc man /home/opam/.opam/5.2/man toplevel /home/opam/.opam/5.2/lib/toplevel stublibs /home/opam/.opam/5.2/lib/stublibs user opam group opam <><> Package variables ('opam var --package PKG' to show) <><><><><><><><><><><> PKG:name # Name of the package PKG:version # Version of the package PKG:depends # Resolved direct dependencies of the package PKG:installed # Whether the package is installed PKG:enable # Takes the value "enable" or "disable" depending on whether the package is installed PKG:pinned # Whether the package is pinned PKG:bin # Binary directory for this package PKG:sbin # System binary directory for this package PKG:lib # Library directory for this package PKG:man # Man directory for this package PKG:doc # Doc directory for this package PKG:share # Share directory for this package PKG:etc # Etc directory for this package PKG:build # Directory where the package was built PKG:hash # Hash of the package archive PKG:dev # True if this is a development package PKG:build-id # A hash identifying the precise package version with all its dependencies PKG:opamfile # Path of the curent opam file # Packages matching: installed # Name # Installed # Repository # Synopsis base-bigarray base default base-domains base default base-nnp base default Naked pointers prohibited in the OCaml heap base-threads base default base-unix base default dune 3.16.0 default Fast, portable, and opinionated build system host-arch-ppc64 1 default OCaml on 64-bit IBM POWER host-system-other 1 default OCaml on an unidentified system multicoretests dev pinned to version dev at file:///src ocaml 5.2.0 default The OCaml compiler (virtual package) ocaml-base-compiler 5.2.0 default pinned to version 5.2.0 ocaml-config 3 default OCaml Switch Configuration ocaml-options-vanilla 1 default Ensure that OCaml is compiled with no special options enabled opam-depext 1.2.3 default Install OS distribution packages qcheck-core 0.22 default Core qcheck library qcheck-lin dev pinned to version dev at file:///src qcheck-multicoretests-util dev pinned to version dev at file:///src qcheck-stm dev pinned to version dev at file:///src 2024-09-11 16:22.05 ---> saved as "5439ec87be825a4b3d61ef4cfb2e42656ed9e4889e0a2b2f9a4f88d7e7f91498" /src: (copy (src .) (dst /src)) 2024-09-11 16:22.06 ---> saved as "d3a819fec8997656f9507d8be182b4ef4de7ca59d7c1ad51543675cca58ff315" /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 random seed: 485827140 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 6.6s Domain.spawn/join - tak work [ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic [✓] 500 0 0 500 / 500 29.6s Domain.spawn/join - atomic ================================================================================ success (ran 2 tests) random seed: 180304528 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 3.7s domain_spawntree - with Atomic ================================================================================ success (ran 1 tests) random seed: 511460631 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.6s STM Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Array test parallel [✓] 4 0 1 3 / 1000 7.8s STM Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Array test parallel failed as expected (17 shrink steps): | Fill (5, 9, 'H') Sort | .---------------------. | | Get 12 Stable_sort +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Array test parallel: Results incompatible with linearized model | Fill (5, 9, 'H') : Ok (()) Sort : () | .------------------------------------. | | Get 12 : Ok ('H') Stable_sort : () ================================================================================ success (ran 2 tests) random seed: 162245968 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 11.1s STM Atomic test parallel ================================================================================ success (ran 2 tests) random seed: 302955414 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 [✓] 6 0 1 5 / 200 7.7s STM Hashtbl test parallel --- Info ----------------------------------------------------------------------- Negative test STM Hashtbl test parallel failed as expected (27 shrink steps): | Replace ('(', 7) | .---------------------. | | Clear Remove '(' Length +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Hashtbl test parallel: Results incompatible with linearized model | Replace ('(', 7) : () | .------------------------------------. | | Clear : () Remove '(' : () Length : -1 ================================================================================ success (ran 2 tests) random seed: 404759442 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 3.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 3.6s STM Lazy test sequential from_fun [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel [✓] 7 0 1 6 / 200 51.8s STM Lazy test parallel [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val [ ] 9 0 0 9 / 200 0.9s STM Lazy test parallel from_val [✓] 200 0 0 200 / 200 7.4s STM Lazy test parallel from_val [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun [✓] 7 0 1 6 / 200 51.1s STM Lazy test parallel from_fun --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel failed as expected (4 shrink steps): | | .--------------------------. | | Map ({700 -> 9; _ -> 39}) Force +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel: Results incompatible with linearized model | | .---------------------------------------------------------------. | | Map ({700 -> 9; _ -> 39}) : Error (CamlinternalLazy.Undefined) Force : Ok (700) --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel from_fun failed as expected (4 shrink steps): | | .--------------------------. | | Map ({700 -> 9; _ -> 39}) Force +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel from_fun: Results incompatible with linearized model | | .---------------------------------------------------------------. | | Map ({700 -> 9; _ -> 39}) : Error (CamlinternalLazy.Undefined) Force : Ok (700) ================================================================================ success (ran 6 tests) random seed: 201700805 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 1.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test parallel [✓] 6 0 1 5 / 1000 3.8s STM Domain.DLS test parallel [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS stress test parallel [✓] 1000 0 0 1000 / 1000 32.5s STM Domain.DLS stress test parallel --- Info ----------------------------------------------------------------------- Negative test STM Domain.DLS test parallel failed as expected (17 shrink steps): | | .---------------------. | | Set (2, 13) Set (0, 16) Get 0 Get 2 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Domain.DLS test parallel: Results incompatible with linearized model | | .------------------------------------. | | Set (2, 13) : () Set (0, 16) : () Get 0 : 0 Get 2 : 2 ================================================================================ success (ran 3 tests) random seed: 371081484 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential [ ] 0 0 0 0 / 1000 0.0s STM Out_channel test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Out_channel test sequential [ ] 0 0 0 0 / 1000 0.0s STM Out_channel test parallel [ ] 1115 0 0 989 / 1000 58.4s STM Out_channel test parallel [✓] 1127 0 0 1000 / 1000 58.8s STM Out_channel test parallel ================================================================================ success (ran 2 tests) random seed: 244789076 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.1s STM int CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential [✓] 1000 0 0 1000 / 1000 5.2s STM int64 CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel [✓] 4 0 1 3 / 1000 8.0s STM int CList test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel [✓] 4 0 1 3 / 1000 11.3s STM int64 CList test parallel --- Info ----------------------------------------------------------------------- Negative test STM int CList test parallel failed as expected (33 shrink steps): | | .---------------------. | | Add_node (92) Add_node (8) Member (8) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int CList test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add_node (92) : true Add_node (8) : true Member (8) : false --- Info ----------------------------------------------------------------------- Negative test STM int64 CList test parallel failed as expected (29 shrink steps): | | .---------------------. | | Add_node (78) Add_node (0) Member (78) Member (0) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 CList test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add_node (78) : true Add_node (0) : true Member (78) : false Member (0) : true ================================================================================ success (ran 4 tests) random seed: 313312357 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: 393335816 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 4.3s STM int ref test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel [✓] 2 0 1 1 / 1000 2.4s STM int64 ref test parallel --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel failed as expected (21 shrink steps): | | .---------------------. | | Decr Add 1 Get Decr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Decr : () Add 1 : () Get : -1 Decr : () --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel failed as expected (20 shrink steps): | | .---------------------. | | Decr Add 2L Get Decr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Decr : () Add 2L : () Get : -1 Decr : () ================================================================================ success (ran 2 tests) random seed: 85097534 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) [✓] 1 0 1 0 / 5000 8.5s STM int ref test parallel asymmetric [ ] 0 0 0 0 / 5000 0.0s STM int64 ref test parallel asymmetric [✓] 1 0 1 0 / 5000 2.5s STM int64 ref test parallel asymmetric --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel asymmetric failed as expected (32 shrink steps): | Incr | .---------------------. | | Add 2 Decr Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel asymmetric: Results incompatible with linearized model: | Incr : () | .------------------------------------. | | Add 2 : () Decr : () Get : 0 --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel asymmetric failed as expected (21 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: 258954693 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 16.8s STM int ref test with Thread [ ] 0 0 0 0 / 5000 0.0s STM int64 ref test with Thread [✓] 11 0 1 10 / 5000 18.1s STM int64 ref test with Thread --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test with Thread failed as expected (21 shrink steps): | | .---------------------. | | Get Decr Incr Decr Set 5L Get Add 252L Get Decr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test with Thread: Results incompatible with linearized model | | .------------------------------------. | | Get : -1 Decr : () Incr : () Decr : () Set 5L : () Get : -1 Add 252L : () Get : 251 Decr : () ================================================================================ success (ran 2 tests) random seed: 339330760 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 8.8s Lin Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Array stress test with Domain [✓] 1000 0 0 1000 / 1000 21.1s Lin Array stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Array test with Domain failed as expected (29 shrink steps): | | .---------------------. | | Array.set t 0 'b' Array.sort t Array.to_seq t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Array test with Domain: Results incompatible with sequential execution | | .--------------------------------------------------------------------------------------------------. | | Array.set t 0 'b' : Ok (()) Array.sort t : () Array.to_seq t : <'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'b'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'> ================================================================================ success (ran 2 tests) random seed: 112556199 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 43.8s Lin Atomic test with Domain ================================================================================ success (ran 1 tests) random seed: 351275530 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) [ ] 13 0 0 13 / 1000 60.1s Lin Hashtbl test with Domain (shrinking: 52.0008) [✓] 14 0 1 13 / 1000 65.2s Lin Hashtbl test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl stress test with Domain [✓] 1000 0 0 1000 / 1000 20.1s Lin Hashtbl stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Hashtbl test with Domain failed as expected (55 shrink steps): | Hashtbl.add t 'a' 0 | .-----------------------. | | Hashtbl.add t 'a' 0 Hashtbl.find_all t 'a' Hashtbl.length t Hashtbl.clear t Hashtbl.clear t Hashtbl.add t '_' 3 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Hashtbl test with Domain: Results incompatible with sequential execution | Hashtbl.add t 'a' 0 : () | .------------------------------------. | | Hashtbl.add t 'a' 0 : () Hashtbl.find_all t 'a' : [0] Hashtbl.length t : 3 Hashtbl.clear t : () Hashtbl.clear t : () Hashtbl.add t '_' 3 : () ================================================================================ success (ran 2 tests) random seed: 407485737 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) [✓] 28 0 1 27 / 1000 5.6s Lin In_channel test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin In_channel stress test with Domain [✓] 1000 0 0 1000 / 1000 24.6s Lin In_channel stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin In_channel test with Domain failed as expected (24 shrink steps): | | .-----------------------------------. | | In_channel.really_input_string t 1 In_channel.input_line 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.input_line t : Ok (Some ("env\n")) ================================================================================ success (ran 2 tests) random seed: 519092563 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Queue test with Domain (generating) [✓] 2 0 1 1 / 1000 4.3s Lin Queue test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Queue stress test with Domain [✓] 1000 0 0 1000 / 1000 19.6s Lin Queue stress test with Domain [ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread [✓] 250 0 0 250 / 250 6.6s Lin Queue test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin Queue test with Domain failed as expected (26 shrink steps): | Queue.add 0 t | .---------------------. | | Queue.take_opt t Queue.take_opt t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Queue test with Domain: Results incompatible with sequential execution | Queue.add 0 t : () | .------------------------------------. | | Queue.take_opt t : Some (0) Queue.take_opt t : Some (0) ================================================================================ success (ran 3 tests) random seed: 238026037 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) [✓] 3 0 1 2 / 1000 8.0s Lin Stack test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Stack stress test with Domain [✓] 1000 0 0 1000 / 1000 19.9s Lin Stack stress test with Domain [ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread [✓] 250 0 0 250 / 250 7.7s Lin Stack test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin Stack test with Domain failed as expected (39 shrink steps): | Stack.push 0 t | .---------------------. | | Stack.pop_opt t Stack.pop 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.pop t : Ok (0) ================================================================================ success (ran 3 tests) random seed: 190672246 generated error fail pass / total time test name [ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin ref int test with Domain (generating) [✓] 1 0 1 0 / 10000 4.5s Lin ref int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain [✓] 1 0 1 0 / 10000 2.0s Lin ref int64 test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain [✓] 1 0 1 0 / 10000 9.6s Lin CList int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain [✓] 1 0 1 0 / 10000 3.9s Lin CList int64 test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin ref int test with Domain failed as expected (26 shrink steps): | | .---------------------. | | Sut_int.decr t 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.decr t : () Sut_int.add t 1 : () Sut_int.get t : -1 --- Info ----------------------------------------------------------------------- Negative test Lin ref int64 test with Domain failed as expected (23 shrink steps): | | .---------------------. | | Sut_int64.decr t Sut_int64.add t 6 Sut_int64.get t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin ref int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Sut_int64.decr t : () Sut_int64.add t 6 : () Sut_int64.get t : -1 --- Info ----------------------------------------------------------------------- Negative test Lin CList int test with Domain failed as expected (17 shrink steps): | | .---------------------. | | CList.add_node t 7 CList.add_node t 0 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 0 : true CList.member t 7 : false --- Info ----------------------------------------------------------------------- Negative test Lin CList int64 test with Domain failed as expected (13 shrink steps): | | .---------------------. | | CList.add_node t 7 CList.add_node t 5 CList.member t 7 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin CList int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | CList.add_node t 7 : true CList.add_node t 5 : true CList.member t 7 : false ================================================================================ success (ran 4 tests) random seed: 215341428 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.3s 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.4s 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.4s Lin CList int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin ref int test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin ref int test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin ref int64 test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin ref int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin CList int test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin CList int test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin CList int64 test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin CList int64 test with Effect --- Info ----------------------------------------------------------------------- Negative test negative Lin ref int test with Effect failed as expected (109 shrink steps): | | .---------------------. | | Sut_int'.add t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin ref int test with Effect: Results incompatible with linearized model | | .------------------------------------. | | Sut_int'.add t 0 : Ok (()) --- Info ----------------------------------------------------------------------- Negative test negative Lin ref int64 test with Effect failed as expected (95 shrink steps): | | .---------------------. | | Sut_int64'.add t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin ref int64 test with Effect: Results incompatible with linearized model | | .------------------------------------. | | Sut_int64'.add t 0 : Ok (()) --- Info ----------------------------------------------------------------------- Negative test negative Lin CList int test with Effect failed as expected (104 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 (108 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: 73074947 generated error fail pass / total time test name [ ] 0 0 0 0 / 100 0.0s Thread.create/join [ ] 0 0 0 0 / 100 0.0s Thread.create/join (generating) [✓] 100 0 0 100 / 100 47.4s Thread.create/join ================================================================================ success (ran 1 tests) random seed: 15992555 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) [ ] 155 0 0 155 / 500 60.3s Mash up of threads and domains [ ] 297 0 0 297 / 500 120.7s Mash up of threads and domains [ ] 453 0 0 453 / 500 180.9s Mash up of threads and domains [✓] 500 0 0 500 / 500 199.0s Mash up of threads and domains ================================================================================ success (ran 1 tests) random seed: 33919346 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential [ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s STM BigArray test sequential [ ] 0 0 0 0 / 5000 0.0s STM BigArray test parallel [✓] 45 0 1 44 / 5000 8.6s STM BigArray test parallel --- Info ----------------------------------------------------------------------- Negative test STM BigArray test parallel failed as expected (17 shrink steps): | | .---------------------. | | Size_in_bytes Set (29, 4) Fill 14 Fill 11 Get 14 Get 2 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM BigArray test parallel: Results incompatible with linearized model | | .--------------------------------------------------------------. | | Size_in_bytes : 128 Set (29, 4) : Error (Invalid_argument("index out of bounds")) Fill 14 : Ok (()) Fill 11 : Ok (()) Get 14 : Ok (11) Get 2 : Ok (14) ================================================================================ success (ran 2 tests) random seed: 298455280 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.5s STM Buffer test sequential [ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel [✓] 3 0 1 0 / 1000 7.6s STM Buffer test parallel [ ] 0 0 0 0 / 1000 0.0s STM Buffer stress test parallel [ ] 1038 0 0 757 / 1000 52.2s STM Buffer stress test parallel [✓] 1374 0 0 1000 / 1000 65.2s STM Buffer stress test parallel --- Info ----------------------------------------------------------------------- Negative test STM Buffer test parallel failed as expected (33 shrink steps): | | .-----------------------------------. | | Add_char 'O' Add_string "\144^\136\179\187\202" To_bytes +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Buffer test parallel: Results incompatible with linearized model | | .---------------------------------------------. | | Add_char 'O' : Ok (()) Add_string "\144^\136\179\187\202" : Ok (()) To_bytes : Ok ("O") ================================================================================ success (ran 3 tests) random seed: 193966495 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 [✓] 1 0 1 0 / 1000 5.3s STM Bytes test parallel --- Info ----------------------------------------------------------------------- Negative test STM Bytes test parallel failed as expected (27 shrink steps): | | .---------------------. | | To_seq Fill (1, 9, 'w') +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Bytes test parallel: Results incompatible with linearized model | | .------------------------------------------------------------------------------------------. | | To_seq : ['a'; 'a'; 'a'; 'w'; 'w'; 'w'; 'w'; 'w'; 'w'; 'w'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'] Fill (1, 9, 'w') : Ok (()) ================================================================================ success (ran 2 tests) random seed: 189241602 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.3s STM Ephemeron test sequential ================================================================================ success (ran 1 tests) generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel [✓] 35 0 1 34 / 1000 25.9s STM Ephemeron test parallel --- Info ----------------------------------------------------------------------- Negative test STM Ephemeron test parallel failed as expected (31 shrink steps): | | .---------------------. | | Add (0L, 8L) Clean Replace (0L, 62L) Find_opt 0L Clear Length Replace (2L, 5L) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Ephemeron test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add (0L, 8L) : () Clean : () Replace (0L, 62L) : () Find_opt 0L : None Clear : () Length : 2 Replace (2L, 5L) : () ================================================================================ success (ran 1 tests) random seed: 73646130 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 7.4s STM Float Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Float Array test parallel failed as expected (35 shrink steps): | Fill (2, 5, -0.0033191261768) | .------------------------------. | | To_list Sort +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Float Array test parallel: Results incompatible with linearized model | Fill (2, 5, -0.0033191261768) : Ok (()) | .---------------------------------------------------------------------------------------------------------------------------------------------------------------. | | To_list : [1.; 1.; -0.0033191261768; -0.0033191261768; 1.; -0.0033191261768; -0.0033191261768; 1.; 1.; 1.; -0.0033191261768; 1.; 1.; -0.0033191261768; 1.; 1.] Sort : () ================================================================================ success (ran 2 tests) random seed: 238501883 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) [✓] 437 0 0 200 / 200 6.1s 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 184 / 200 5.0s STM Semaphore.Counting test parallel (w/o get_value) ================================================================================ success (ran 3 tests) random seed: 529009346 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 4.1s STM Sys test sequential [ ] 0 0 0 0 / 200 0.0s STM Sys test parallel [✗] 137 0 1 136 / 200 49.3s STM Sys test parallel [ ] 0 0 0 0 / 1000 0.0s STM Sys stress test parallel [ ] 32 0 0 32 / 1000 6.6s STM Sys stress test parallel [ ] 482 0 0 482 / 1000 66.7s STM Sys stress test parallel [ ] 927 0 0 927 / 1000 127.9s STM Sys stress test parallel [✓] 1000 0 0 1000 / 1000 137.3s STM Sys stress test parallel --- Failure -------------------------------------------------------------------- Test STM Sys test parallel failed (14 shrink steps): | Mkdir ([], "ddd") | .---------------------. | | Readdir [] Mkfile ([], "ccc") Rmdir ([], "ddd") +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Sys test parallel: Results incompatible with linearized model | Mkdir ([], "ddd") : Ok (()) | .------------------------------------. | | Readdir [] : Ok ([||]) Mkfile ([], "ccc") : Ok (()) Rmdir ([], "ddd") : Ok (()) ================================================================================ failure (1 tests failed, 0 tests errored, ran 3 tests) File "src/sys/dune", line 4, characters 7-16: 4 | (name stm_tests) ^^^^^^^^^ (cd _build/default/src/sys && ./stm_tests.exe --verbose) Command exited with code 1. random seed: 414512905 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 [✓] 211 0 1 210 / 5000 55.3s STM Weak test parallel --- Info ----------------------------------------------------------------------- Negative test STM Weak test parallel failed as expected (41 shrink steps): | | .---------------------. | | Get_copy 0 Fill (3, 1, None) Check 0 Fill (0, 9, Some 7L) Get_copy 3 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Weak test parallel: Results incompatible with linearized model | | .------------------------------------. | | Get_copy 0 : Ok (None) Fill (3, 1, None) : Ok (()) Check 0 : Ok (true) Fill (0, 9, Some 7L) : Ok (()) Get_copy 3 : Ok (None) ================================================================================ success (ran 1 tests) generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak stress test parallel [ ] 65 0 0 65 / 1000 4.5s STM Weak stress test parallel [ ] 958 0 0 958 / 1000 64.6s STM Weak stress test parallel [✓] 1000 0 0 1000 / 1000 66.2s STM Weak stress test parallel ================================================================================ success (ran 1 tests) random seed: 39439313 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 4.9s negative Lin Dynlink test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Dynlink stress test with Domain [✓] 1000 0 0 1000 / 1000 36.5s Lin Dynlink stress test with Domain --- Info ----------------------------------------------------------------------- Negative test negative Lin Dynlink test with Domain failed as expected (0 shrink steps): | Dynlink.loadfile libB.cmxs Dynlink.loadfile libB.cmxs Dynlink.all_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.loadfile libA.cmxs Dynlink.all_units () | .------------------------------. | | Dynlink.all_units () Dynlink.loadfile libC.cmxs Dynlink.all_units () Dynlink.loadfile libA.cmxs Dynlink.loadfile libA.cmxs Dynlink.all_units () Dynlink.loadfile libB.cmxs Dynlink.all_units () Dynlink.loadfile libB.cmxs Dynlink.main_program_units () Dynlink.all_units () Dynlink.loadfile libB.cmxs Dynlink.loadfile libC.cmxs Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.loadfile libA.cmxs Dynlink.main_program_units () Dynlink.all_units () Dynlink.loadfile libC.cmxs Dynlink.main_program_units () +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin Dynlink test with Domain: Results incompatible with sequential execution | Dynlink.loadfile libB.cmxs : Ok (()) Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libA.cmxs : Ok (()) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] | .--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------. | | Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.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__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) Dynlink.loadfile libA.cmxs : 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"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll Failure("/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory"))) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll Failure("/src/_build/default/src/dynlink/libC.cmxs: cannot open shared object file: No such file or directory"))) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] ================================================================================ success (ran 2 tests) random seed: 79444563 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 2.8s thread_createtree - with Atomic ================================================================================ success (ran 1 tests) random seed: 506098548 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Bigarray.Array1 stress test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Bigarray.Array1 stress test with Domain (generating) [✓] 1000 0 0 1000 / 1000 20.3s Lin Bigarray.Array1 stress test with Domain ================================================================================ success (ran 1 tests) random seed: 115592234 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 40.8s Lin Bytes test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread [ ] 702 0 0 702 / 1000 19.2s Lin Bytes test with Thread [✓] 1000 0 0 1000 / 1000 27.6s Lin Bytes test with Thread ================================================================================ success (ran 2 tests) random seed: 194781100 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Ephemeron stress test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Ephemeron stress test with Domain (generating) [✓] 1000 0 0 1000 / 1000 23.4s Lin Ephemeron stress test with Domain ================================================================================ success (ran 1 tests) random seed: 117135880 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Float.Array test with Domain (generating) [✓] 1 0 1 0 / 1000 5.9s Lin Float.Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Float.Array stress test with Domain [✓] 1000 0 0 1000 / 1000 21.3s Lin Float.Array stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Float.Array test with Domain failed as expected (31 shrink steps): | Float.Array.set t 2 4.31482656491e-06 | .--------------------------------------. | | Float.Array.to_seq t Float.Array.fast_sort t Float.Array.to_list t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Float.Array test with Domain: Results incompatible with sequential execution | Float.Array.set t 2 4.31482656491e-06 : Ok (()) | .----------------------------------------------------------------------------------------------------------------------. | | Float.Array.to_seq t : <0.; 0.; 4.31482656491e-06; 0.; 0.; 0.; 4.31482656491e-06; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.> Float.Array.fast_sort t : () Float.Array.to_list t : [0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 4.31482656491e-06] ================================================================================ success (ran 2 tests) random seed: 130406198 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 336 / 500 8.0s STM Semaphore.Binary test parallel ================================================================================ success (ran 2 tests) random seed: 35586531 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.4s 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 [✓] 141 0 1 140 / 5000 25.7s STM Weak HashSet test parallel --- Info ----------------------------------------------------------------------- Negative test STM Weak HashSet test parallel failed as expected (20 shrink steps): | Add 3L | .---------------------. | | Add 2L Stats Count Clear Count +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Weak HashSet test parallel: Results incompatible with linearized model | Add 3L : Ok (()) | .------------------------------------. | | Add 2L : Ok (()) Stats : (16, 1, 3, 0, 0, 3) Count : 2 Clear : () Count : 1 ================================================================================ success (ran 1 tests) generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet stress test parallel [ ] 750 0 0 750 / 1000 34.0s STM Weak HashSet stress test parallel [✓] 1000 0 0 1000 / 1000 44.2s STM Weak HashSet stress test parallel ================================================================================ success (ran 1 tests) random seed: 85834557 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Weak stress test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Weak stress test with Domain (generating) [✓] 1000 0 0 1000 / 1000 20.4s Lin Weak stress test with Domain ================================================================================ success (ran 1 tests) random seed: 418882728 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin Weak HashSet stress test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Weak HashSet stress test with Domain (generating) [✓] 1000 0 0 1000 / 1000 23.9s Lin Weak HashSet stress test with Domain ================================================================================ success (ran 1 tests) random seed: 4016723 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 46.0s Lin.Internal ref int test with Thread [ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread [✓] 6 0 1 5 / 15000 7.4s Lin.Internal ref int64 test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin.Internal ref int64 test with Thread failed as expected (27 shrink steps): | Add 0L | .---------------------. | | Decr Get Incr Add 1L Decr Get Set 5L +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin.Internal ref int64 test with Thread: Results incompatible with sequential execution | Add 0L : RAdd | .------------------------------------. | | Decr : RDecr Get : RGet 0L Incr : RIncr Add 1L : RAdd Decr : RDecr Get : RGet (-1L) Set 5L : RSet ================================================================================ success (ran 2 tests) random seed: 323277742 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int test with Thread (generating) [✓] 1000 0 0 1000 / 1000 39.3s Lin.Internal CList int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread [ ] 441 0 0 441 / 1000 22.6s Lin.Internal CList int64 test with Thread [✓] 1000 0 0 1000 / 1000 54.7s Lin.Internal CList int64 test with Thread ================================================================================ success (ran 2 tests) File "src/sys/dune", line 4, characters 7-16: 4 | (name stm_tests) ^^^^^^^^^ (cd _build/default/src/sys && ./stm_tests.exe --verbose) Command exited with code 1. "/usr/bin/env" "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-09-11 16:52.15: Job failed: Failed: Build failed