Build:
- 0
2024-09-10 08:19.40: New job: test freebsd-x86_64/amd64/5.2/7df52e0a25d84480c559e79269a25c0bed310107 2024-09-10 08:19.40: Using cache hint "freebsd-x86_64/amd64/5.2/7df52e0a25d84480c559e79269a25c0bed310107" 2024-09-10 08:19.40: Using OBuilder spec: ((from freebsd-ocaml-5.2) (env QCHECK_MSG_INTERVAL 60) (user (uid 1000) (gid 1000)) (workdir /src) (run (network host) (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam && opam init --reinit -ni")) (workdir /src) (run (shell "sudo chown opam /src")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u")) (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) (env CI true) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) (copy (src .) (dst /src)) (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice")) ) 2024-09-10 08:19.40: Waiting for resource in pool OCluster 2024-09-10 08:19.40: Waiting for worker… 2024-09-10 08:19.40: Got resource from pool OCluster Building on spring HEAD is now at 058dc01 Remove dead code HEAD is now at 7df52e0 Document 'musl' option in common.ml (from freebsd-ocaml-5.2) 2024-09-10 08:10.39 ---> using "3515bf58445883216685df527c06fc8b9b7799700694ffa335d1401da4433261" from cache /: (env QCHECK_MSG_INTERVAL 60) /: (user (uid 1000) (gid 1000)) /: (workdir /src) /src: (run (network host) (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam && opam init --reinit -ni")) No configuration file found, using 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. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from git+file:///home/opam/opam-repository default (at git+file:///home/opam/opam-repository): [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) 2024-09-10 08:10.39 ---> using "5a93fb1e198000a6635181612f1a00e0b1cc2e6cefc5e864485ece84f5ff186d" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-09-10 08:10.39 ---> using "89a455d225d1de9b68d60489ec35dca40f0174b95a46a592c9cc1522e0d73083" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD e2171914dc..7f8a1201e6 master -> origin/master 7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///home/opam/opam-repository default (at git+file:///home/opam/opam-repository): [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) Constructing initial basis... Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). The following packages are not being upgraded because the new versions conflict with other installed packages: - ocaml.5.4.0 However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. 2024-09-10 08:10.40 ---> using "b515037d251eb1984e3ed4321c5332cb009c4de8d06582103ec7962d6ffc0ea0" from cache /src: (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) [override] Initialised 2024-09-10 08:10.40 ---> using "d5704e4fb8d9aeb02c345135d016dedf16f99b07f28490d6c3c474e1a6a75e24" from cache /src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) 2024-09-10 08:10.40 ---> using "cb3498a25a9dc87d68d06e8f703460e7aa49fb6cf65b8d583b9b848c382fc44b" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) [qcheck-multicoretests-util.dev] synchronised (file:///src) qcheck-multicoretests-util is now pinned to file:///src (version dev) [qcheck-lin.dev] synchronised (file:///src) qcheck-lin is now pinned to file:///src (version dev) [qcheck-stm.dev] synchronised (file:///src) qcheck-stm is now pinned to file:///src (version dev) Package multicoretests does not exist, create as a NEW package? [Y/n] y [multicoretests.dev] synchronised (file:///src) multicoretests is now pinned to file:///src (version dev) 2024-09-10 08:10.40 ---> using "b7f18b06d006e014be9f7d03f37dc19f944b8c5006f0e073abf2992b1e0b080c" from cache /src: (env CI true) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) [WARNING] Unknown update command for bsd, skipping system update [multicoretests.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) Constructing initial basis... Number of 0-1 knapsack inequalities = 60 Constructing conflict graph... Conflict graph has 44 + 7 = 51 vertices 2024-09-10 08:10.41 ---> using "158253981f15c49dc7f766aecf1fe1c8f82ce273ab5ec1c76512c7976a1a74c5" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) [multicoretests.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) Constructing initial basis... Number of 0-1 knapsack inequalities = 60 Constructing conflict graph... Conflict graph has 44 + 7 = 51 vertices 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 ===== <><> 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. 2024-09-10 08:10.41 ---> using "ce101a91483ba12a54c399c45637781c2fd52531df1d0f164d38226dde6189d8" from cache /src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) version: 5.2.0 standard_library_default: /home/opam/.opam/5.2.0/lib/ocaml standard_library: /home/opam/.opam/5.2.0/lib/ocaml ccomp_type: cc c_compiler: cc 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: cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 native_c_compiler: cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 bytecomp_c_libraries: -L/usr/local/lib -lzstd -lm -lpthread native_c_libraries: -lm -lpthread native_ldflags: native_pack_linker: ld -r -o native_compiler: true architecture: amd64 model: default int_size: 63 word_size: 64 system: freebsd asm: cc -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: x86_64-unknown-freebsd14.0 target: x86_64-unknown-freebsd14.0 flambda: false safe_string: true default_safe_string: true flat_float_array: true function_sections: true 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 x86_64 # Inferred from system exe # Suffix needed for executable filenames (Windows) jobs 7 # The number of parallel jobs set up in opam configuration make gmake # The 'make' command to use opam-version 2.1.5 # The currently running opam version os freebsd # Inferred from system os-distribution freebsd # Inferred from system os-family bsd # Inferred from system os-version 1400097 # Inferred from system root /home/opam/.opam # The current opam root directory switch 5.2.0 # The identifier of the current switch sys-ocaml-arch # Target architecture of the OCaml compiler present on your system sys-ocaml-cc # Host C Compiler type of the OCaml compiler present on your system sys-ocaml-libc # Host C Runtime Library type of the OCaml compiler present on your system 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.0 lib /home/opam/.opam/5.2.0/lib bin /home/opam/.opam/5.2.0/bin sbin /home/opam/.opam/5.2.0/sbin share /home/opam/.opam/5.2.0/share doc /home/opam/.opam/5.2.0/doc etc /home/opam/.opam/5.2.0/etc man /home/opam/.opam/5.2.0/man toplevel /home/opam/.opam/5.2.0/lib/toplevel stublibs /home/opam/.opam/5.2.0/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-x86_64 1 default OCaml on amd64 (64-bit) 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 Official release 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 qcheck-core 0.22 default Core qcheck library qcheck-lin dev pinned to version dev at file:///src qcheck-multicoretests-util dev pinned to version dev at file:///src qcheck-stm dev pinned to version dev at file:///src 2024-09-10 08:10.41 ---> using "3ce883fe59067067c05bbd8060ab346b8230e8219669d3b09bf406232590c897" from cache /src: (copy (src .) (dst /src)) 2024-09-10 08:10.42 ---> saved as "fc47fd61e513e9e919a36fbf90d69742a4e98021ff2765d8f69a80c8ea699c06" /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/io/lin_internal_tests.exe from the test suite Skipping src/array/lin_internal_tests.exe from the test suite Skipping src/atomic/lin_internal_tests.exe from the test suite Skipping src/domain/lin_tests_dls.exe from the test suite Skipping src/hashtbl/lin_internal_tests.exe from the test suite Skipping src/lazy/lin_internal_tests.exe from the test suite Skipping src/neg_tests/lin_tests_thread.exe from the test suite Skipping src/queue/lin_internal_tests.exe from the test suite Skipping src/stack/lin_internal_tests.exe from the test suite Skipping src/io/lin_tests_thread.exe from the test suite Skipping src/lazy/lin_tests.exe from the test suite Skipping src/neg_tests/lin_internal_tests_domain.exe from the test suite Skipping src/neg_tests/lin_internal_tests_effect.exe from the test suite random seed: 501273825 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 12.9s Domain.spawn/join - tak work [ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic [✓] 500 0 0 500 / 500 4.8s Domain.spawn/join - atomic ================================================================================ success (ran 2 tests) random seed: 457200127 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 1.5s domain_spawntree - with Atomic ================================================================================ success (ran 1 tests) random seed: 360296126 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 6.1s Lin Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Array stress test with Domain [✓] 1000 0 0 1000 / 1000 4.9s Lin Array stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Array test with Domain failed as expected (37 shrink steps): | | .---------------------. | | Array.fill t 3 2 '[' Array.to_list t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Array test with Domain: Results incompatible with sequential execution | | .---------------------------------------------------------------------------------------------------. | | Array.fill t 3 2 '[' : Ok (()) Array.to_list t : ['a'; 'a'; 'a'; '['; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'] ================================================================================ success (ran 2 tests) random seed: 420879445 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 9.6s Lin Atomic test with Domain ================================================================================ success (ran 1 tests) random seed: 222329440 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) [✓] 5 0 1 4 / 1000 4.1s Lin Hashtbl test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Hashtbl stress test with Domain [✓] 1000 0 0 1000 / 1000 4.5s Lin Hashtbl stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Hashtbl test with Domain failed as expected (29 shrink steps): | | .------------------------. | | Hashtbl.replace t '[' 4 Hashtbl.add t 'r' 3 Hashtbl.length t Hashtbl.length t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Hashtbl test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Hashtbl.replace t '[' 4 : () Hashtbl.add t 'r' 3 : () Hashtbl.length t : 1 Hashtbl.length t : 1 ================================================================================ success (ran 2 tests) random seed: 172259107 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) [✓] 94 0 1 93 / 1000 3.2s 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 5.6s Lin In_channel stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin In_channel test with Domain failed as expected (20 shrink steps): | In_channel.input_line t | .----------------------------------. | | In_channel.really_input t " " 0 1 In_channel.input_line t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin In_channel test with Domain: Results incompatible with sequential execution | In_channel.input_line t : Ok (Some ("(env")) | .---------------------------------------------------------. | | In_channel.really_input t " " 0 1 : Ok (Some (())) In_channel.input_line t : Ok (Some ("(debug-runtime\n")) ================================================================================ success (ran 2 tests) random seed: 507226559 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 1.1s Lin ref int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin ref int64 test with Domain [✓] 1 0 1 0 / 10000 0.8s Lin ref int64 test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin CList int test with Domain [✓] 11 0 1 10 / 10000 6.0s Lin CList int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin CList int64 test with Domain [✓] 14 0 1 13 / 10000 1.4s Lin CList int64 test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin ref int test with Domain failed as expected (32 shrink steps): | | .---------------------. | | Sut_int.add t 3 Sut_int.decr t Sut_int.get t Sut_int.decr t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin ref int test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Sut_int.add t 3 : () Sut_int.decr t : () Sut_int.get t : -2 Sut_int.decr t : () --- Info ----------------------------------------------------------------------- Negative test Lin ref int64 test with Domain failed as expected (29 shrink steps): | | .---------------------. | | Sut_int64.add t 9 Sut_int64.get t Sut_int64.get t Sut_int64.decr t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin ref int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Sut_int64.add t 9 : () Sut_int64.get t : 0 Sut_int64.get t : -1 Sut_int64.decr t : () --- Info ----------------------------------------------------------------------- Negative test Lin CList int test with Domain failed as expected (34 shrink steps): | | .---------------------. | | CList.add_node t 0 CList.add_node t 4 CList.member t 6 CList.member t 4 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin CList int test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | CList.add_node t 0 : true CList.add_node t 4 : true CList.member t 6 : false CList.member t 4 : false --- Info ----------------------------------------------------------------------- Negative test Lin CList int64 test with Domain failed as expected (18 shrink steps): | | .---------------------. | | CList.add_node t 4 CList.add_node t 2 CList.member t 2 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin CList int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | CList.add_node t 4 : true CList.add_node t 2 : true CList.member t 2 : false ================================================================================ success (ran 4 tests) random seed: 377457117 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 1.0s STM Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Array test parallel [✓] 1 0 1 0 / 1000 0.9s STM Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Array test parallel failed as expected (11 shrink steps): | Find_opt ({a -> true; 7 -> true; X -... (truncated) Set (11, 'r') | .----------------------------------------------------. | | To_seq Get 7 To_list Exists ({a -> false; r -> false; 7 -... (truncated) To_seq Fill (10, 2, 'Y') Copy +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Array test parallel: Results incompatible with linearized model | Find_opt ({a -> true; 7 -> true; X -... (truncated) : Some ('a') Set (11, 'r') : Ok (()) | .-------------------------------------------------------------------------------------------. | | To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'r'; 'a'; 'a'; 'a'; 'a'] Get 7 : Ok ('a') To_list : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'Y'; 'r'; 'a'; 'a'; 'a'; 'a'] Exists ({a -> false; r -> false; 7 -... (truncated) : false To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'r'; 'a'; 'a'; 'a'; 'a'] Fill (10, 2, 'Y') : Ok (()) Copy : [|'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'Y'; 'Y'; 'a'; 'a'; 'a'; 'a'|] ================================================================================ success (ran 2 tests) random seed: 237771253 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 4.3s STM Atomic test parallel ================================================================================ success (ran 2 tests) random seed: 188879159 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.1s STM Hashtbl test sequential [ ] 0 0 0 0 / 200 0.0s STM Hashtbl test parallel [✓] 7 0 1 6 / 200 1.5s STM Hashtbl test parallel --- Info ----------------------------------------------------------------------- Negative test STM Hashtbl test parallel failed as expected (8 shrink steps): | Replace ('n', 56) | .---------------------. | | Add ('n', 6) Remove 'n' Mem 'n' +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Hashtbl test parallel: Results incompatible with linearized model | Replace ('n', 56) : () | .------------------------------------. | | Add ('n', 6) : () Remove 'n' : () Mem 'n' : false ================================================================================ success (ran 2 tests) random seed: 18225601 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.4s 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.4s STM Lazy test sequential from_fun [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel [✓] 2 0 1 1 / 200 45.9s STM Lazy test parallel [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val [✓] 200 0 0 200 / 200 2.5s STM Lazy test parallel from_val [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun [ ] 1 0 0 1 / 200 5.0s STM Lazy test parallel from_fun (shrinking: 0.0002) [✓] 2 0 1 1 / 200 45.9s STM Lazy test parallel from_fun --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel failed as expected (2 shrink steps): | | .-----------------------------. | | Force Map_val ({700 -> 4; _ -> 2}) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel: Results incompatible with linearized model | | .-------------------------------------------. | | Force : Error (CamlinternalLazy.Undefined) Map_val ({700 -> 4; _ -> 2}) : Ok (4) --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel from_fun failed as expected (2 shrink steps): | | .-----------------------------. | | Force Map_val ({700 -> 4; _ -> 2}) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel from_fun: Results incompatible with linearized model | | .-------------------------------------------. | | Force : Error (CamlinternalLazy.Undefined) Map_val ({700 -> 4; _ -> 2}) : Ok (4) ================================================================================ success (ran 6 tests) random seed: 295852368 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.5s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test parallel [✓] 3 0 1 2 / 1000 0.5s STM Domain.DLS test parallel [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS stress test parallel [✓] 1000 0 0 1000 / 1000 36.9s STM Domain.DLS stress test parallel --- Info ----------------------------------------------------------------------- Negative test STM Domain.DLS test parallel failed as expected (20 shrink steps): | | .---------------------. | | Set (2, 5) Set (0, 4) Get 0 Get 2 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Domain.DLS test parallel: Results incompatible with linearized model | | .------------------------------------. | | Set (2, 5) : () Set (0, 4) : () Get 0 : 0 Get 2 : 2 ================================================================================ success (ran 3 tests) random seed: 276251826 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.1s STM Out_channel test sequential [ ] 0 0 0 0 / 1000 0.0s STM Out_channel test parallel [✓] 1125 0 0 1000 / 1000 24.0s STM Out_channel test parallel ================================================================================ success (ran 2 tests) random seed: 176616137 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential (generating) [✓] 1000 0 0 1000 / 1000 7.5s STM int CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential [✓] 1000 0 0 1000 / 1000 9.4s STM int64 CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel [✓] 6 0 1 5 / 1000 1.4s STM int CList test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel [✓] 6 0 1 5 / 1000 1.4s STM int64 CList test parallel --- Info ----------------------------------------------------------------------- Negative test STM int CList test parallel failed as expected (14 shrink steps): | | .---------------------. | | Add_node (205) Member (0) Member (0) Add_node (64) Member (205) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int CList test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add_node (205) : true Member (0) : true Member (0) : true Add_node (64) : true Member (205) : false --- Info ----------------------------------------------------------------------- Negative test STM int64 CList test parallel failed as expected (16 shrink steps): | Member (0) | .---------------------. | | Add_node (205) Add_node (64) Member (205) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 CList test parallel: Results incompatible with linearized model | Member (0) : true | .------------------------------------. | | Add_node (205) : true Add_node (64) : true Member (205) : false ================================================================================ success (ran 4 tests) random seed: 215412889 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: 63731313 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 1.6s STM int ref test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel [✓] 6 0 1 5 / 1000 1.6s STM int64 ref test parallel --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel failed as expected (28 shrink steps): | | .---------------------. | | Decr Set 1 Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Decr : () Set 1 : () Get : -1 --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel failed as expected (37 shrink steps): | | .---------------------. | | Incr Add 418L Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Incr : () Add 418L : () Get : 1 ================================================================================ success (ran 2 tests) random seed: 429638762 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 1.1s STM int ref test parallel asymmetric [ ] 0 0 0 0 / 5000 0.0s STM int64 ref test parallel asymmetric [✓] 1 0 1 0 / 5000 0.8s STM int64 ref test parallel asymmetric --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel asymmetric failed as expected (27 shrink steps): | | .---------------------. | | Incr Set 2 Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel asymmetric: Results incompatible with linearized model: | | .------------------------------------. | | Incr : () Set 2 : () Get : 1 --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel asymmetric failed as expected (33 shrink steps): | | .---------------------. | | Incr Set 4743L Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test parallel asymmetric: Results incompatible with linearized model: | | .------------------------------------. | | Incr : () Set 4743L : () Get : 1 ================================================================================ success (ran 2 tests) random seed: 55610841 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 42.3s Thread.create/join ================================================================================ success (ran 1 tests) random seed: 374792269 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) [ ] 177 0 0 177 / 500 60.6s Mash up of threads and domains [ ] 348 0 0 348 / 500 120.8s Mash up of threads and domains [✓] 500 0 0 500 / 500 175.4s Mash up of threads and domains ================================================================================ success (ran 1 tests) random seed: 235510054 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 0.2s negative Lin Dynlink test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Dynlink stress test with Domain [✓] 1000 0 0 1000 / 1000 8.6s Lin Dynlink stress test with Domain --- Info ----------------------------------------------------------------------- Negative test negative Lin Dynlink test with Domain failed as expected (0 shrink steps): | Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.all_units () Dynlink.loadfile libA.cmxs | .------------------------------. | | Dynlink.main_program_units () Dynlink.all_units () +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin Dynlink test with Domain: Results incompatible with sequential execution | Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Hashtbl"; "Stdlib__In_channel"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "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.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"; "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: 121238452 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 4.5s Lin Bigarray.Array1 stress test with Domain ================================================================================ success (ran 1 tests) random seed: 237329334 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 4.7s Lin Ephemeron stress test with Domain ================================================================================ success (ran 1 tests) random seed: 296481435 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 2.1s 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 5.0s Lin Float.Array stress test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin Float.Array test with Domain failed as expected (49 shrink steps): | | .------------------------------------------. | | Float.Array.to_array t Float.Array.fill t 0 2 -8.88601171404e-05 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Float.Array test with Domain: Results incompatible with sequential execution | | .------------------------------------------------------------------------------------------------------------. | | Float.Array.to_array t : [|0.; -8.88601171404e-05; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.; 0.|] Float.Array.fill t 0 2 -8.88601171404e-05 : Ok (()) ================================================================================ success (ran 2 tests) random seed: 259954480 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 4.5s Lin Weak stress test with Domain ================================================================================ success (ran 1 tests) random seed: 446428702 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.6s STM Buffer test sequential [ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel [✓] 4 0 1 3 / 1000 1.8s STM Buffer test parallel [ ] 0 0 0 0 / 1000 0.0s STM Buffer stress test parallel [ ] 1233 0 0 911 / 1000 60.5s STM Buffer stress test parallel [✓] 1349 0 0 1000 / 1000 63.4s STM Buffer stress test parallel --- Info ----------------------------------------------------------------------- Negative test STM Buffer test parallel failed as expected (18 shrink steps): | Add_char '\004' | .---------------------. | | Truncate 0 Add_char '\165' Contents +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Buffer test parallel: Results incompatible with linearized model | Add_char '\004' : Ok (()) | .------------------------------------. | | Truncate 0 : Ok (()) Add_char '\165' : Ok (()) Contents : Ok ("\004\165") ================================================================================ success (ran 3 tests) random seed: 395747120 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.5s STM Bytes test sequential [ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel [✓] 5 0 1 4 / 1000 1.0s STM Bytes test parallel --- Info ----------------------------------------------------------------------- Negative test STM Bytes test parallel failed as expected (21 shrink steps): | | .---------------------. | | Fill (2, 7, '(') Length Sub (9, 1) Copy Fill (1, 13, 'U') Copy +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Bytes test parallel: Results incompatible with linearized model | | .------------------------------------. | | Fill (2, 7, '(') : Ok (()) Length : 16 Sub (9, 1) : Ok ("U") Copy : "aaaaaaaaaaaaaaaa" Fill (1, 13, 'U') : Ok (()) Copy : "aU((((((UUUUUUaa" ================================================================================ success (ran 2 tests) random seed: 27159721 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) [✓] 442 0 0 200 / 200 1.3s STM Semaphore.Counting test parallel (w/ get_value) [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel (w/o get_value) [✓] 569 0 0 200 / 200 1.7s STM Semaphore.Counting test parallel (w/o get_value) ================================================================================ success (ran 3 tests) random seed: 116644909 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.2s STM Sys test sequential [ ] 0 0 0 0 / 2500 0.0s STM Sys test parallel [ ] 78 0 0 78 / 2500 56.1s STM Sys test parallel (shrinking: 4.0001) [✓] 79 0 1 78 / 2500 101.2s STM Sys test parallel [ ] 0 0 0 0 / 1000 0.0s STM Sys stress test parallel [ ] 133 0 0 133 / 1000 14.9s STM Sys stress test parallel [ ] 670 0 0 670 / 1000 75.0s STM Sys stress test parallel [✓] 1000 0 0 1000 / 1000 107.8s STM Sys stress test parallel --- Info ----------------------------------------------------------------------- Negative test STM Sys test parallel failed as expected (30 shrink steps): | Mkfile ([], "aaa") | .---------------------. | | Mkdir ([], "ddd") Mkdir ([], "ccc") Mkdir ([], "ccc") Rmdir ([], "ccc") Readdir [] +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Sys test parallel: Results incompatible with linearized model | Mkfile ([], "aaa") : Ok (()) | .------------------------------------. | | Mkdir ([], "ddd") : Ok (()) Mkdir ([], "ccc") : Ok (()) Mkdir ([], "ccc") : Ok (()) Rmdir ([], "ccc") : Ok (()) Readdir [] : Ok ([|"aaa"; "ccc"|]) ================================================================================ success (ran 3 tests) random seed: 491875220 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 2.8s Lin Queue test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Queue stress test with Domain [✓] 1000 0 0 1000 / 1000 4.8s Lin Queue stress test with Domain [ ] 0 0 0 0 / 250 0.0s Lin Queue test with Thread [✓] 250 0 0 250 / 250 5.3s Lin Queue test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin Queue test with Domain failed as expected (46 shrink steps): | Queue.add 0 t | .---------------------. | | Queue.add 0 t Queue.take t Queue.length t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Queue test with Domain: Results incompatible with sequential execution | Queue.add 0 t : () | .------------------------------------. | | Queue.add 0 t : () Queue.take t : Ok (0) Queue.length t : 2 ================================================================================ success (ran 3 tests) random seed: 455550326 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) [✓] 4 0 1 3 / 1000 0.9s Lin Stack test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Stack stress test with Domain [✓] 1000 0 0 1000 / 1000 4.8s Lin Stack stress test with Domain [ ] 0 0 0 0 / 250 0.0s Lin Stack test with Thread [✓] 250 0 0 250 / 250 4.7s Lin Stack test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin Stack test with Domain failed as expected (23 shrink steps): | Stack.push 1 t | .---------------------. | | Stack.pop t Stack.pop t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin Stack test with Domain: Results incompatible with sequential execution | Stack.push 1 t : () | .------------------------------------. | | Stack.pop t : Ok (1) Stack.pop t : Ok (1) ================================================================================ success (ran 3 tests) random seed: 479038571 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 9.8s Lin Bytes test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin Bytes test with Thread [✓] 1000 0 0 1000 / 1000 16.8s Lin Bytes test with Thread ================================================================================ success (ran 2 tests) random seed: 295282980 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 6.8s STM int ref test with Thread [ ] 0 0 0 0 / 5000 0.0s STM int64 ref test with Thread [✓] 99 0 1 98 / 5000 19.9s STM int64 ref test with Thread --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test with Thread failed as expected (15 shrink steps): | Add 3L | .---------------------. | | Decr Incr Decr Incr Get Get Add 5552L Add 643L Incr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test with Thread: Results incompatible with linearized model | Add 3L : () | .------------------------------------. | | Decr : () Incr : () Decr : () Incr : () Get : 4 Get : 4 Add 5552L : () Add 643L : () Incr : () ================================================================================ success (ran 2 tests) random seed: 300412294 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.5s 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 (74 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 (77 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 (78 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 (80 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: 250024768 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 1.8s thread_createtree - with Atomic ================================================================================ success (ran 1 tests) random seed: 86115099 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.4s STM BigArray test sequential [ ] 0 0 0 0 / 5000 0.0s STM BigArray test parallel [✓] 1 0 1 0 / 5000 29.4s STM BigArray test parallel --- Info ----------------------------------------------------------------------- Negative test STM BigArray test parallel failed as expected (8 shrink steps): | | .---------------------. | | Fill 0 Fill 13 Fill 4 Set (3, 44) Get 13 Get 8 Get 6 Get 1 Get 9 Size_in_bytes Get 9 Fill 5 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM BigArray test parallel: Results incompatible with linearized model | | .------------------------------------. | | Fill 0 : Ok (()) Fill 13 : Ok (()) Fill 4 : Ok (()) Set (3, 44) : Ok (()) Get 13 : Ok (4) Get 8 : Ok (4) Get 6 : Ok (4) Get 1 : Ok (0) Get 9 : Ok (4) Size_in_bytes : 128 Get 9 : Ok (4) Fill 5 : Ok (()) ================================================================================ success (ran 2 tests) random seed: 208954008 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.4s 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 [✓] 25 0 1 24 / 1000 2.2s STM Ephemeron test parallel --- Info ----------------------------------------------------------------------- Negative test STM Ephemeron test parallel failed as expected (17 shrink steps): | Add (8L, 96L) | .---------------------. | | Clean Remove 8L Find_opt 8L +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Ephemeron test parallel: Results incompatible with linearized model | Add (8L, 96L) : () | .------------------------------------. | | Clean : () Remove 8L : () Find_opt 8L : Some (96) ================================================================================ success (ran 1 tests) random seed: 505919189 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.7s STM Float Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel [✓] 2 0 1 1 / 1000 1.1s STM Float Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Float Array test parallel failed as expected (19 shrink steps): | Set (6, 0.0024651974039) | .-------------------------. | | Sort Sort To_list +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Float Array test parallel: Results incompatible with linearized model | Set (6, 0.0024651974039) : Ok (()) | .---------------------------------------------------------------------------. | | Sort : () Sort : () To_list : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.] ================================================================================ success (ran 2 tests) random seed: 273583324 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 4.7s Lin Weak HashSet stress test with Domain ================================================================================ success (ran 1 tests) random seed: 408045699 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.5s 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 [✓] 23 0 1 22 / 5000 9.9s STM Weak test parallel --- Info ----------------------------------------------------------------------- Negative test STM Weak test parallel failed as expected (26 shrink steps): | | .---------------------. | | Set (2, Some 23L) Fill (2, 7, Some 8L) Check 7 Get 2 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Weak test parallel: Results incompatible with linearized model | | .------------------------------------. | | Set (2, Some 23L) : Ok (()) Fill (2, 7, Some 8L) : Ok (()) Check 7 : Ok (false) Get 2 : Ok (Some (23)) ================================================================================ success (ran 1 tests) generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak stress test parallel [✓] 1000 0 0 1000 / 1000 45.5s STM Weak stress test parallel ================================================================================ success (ran 1 tests) random seed: 10313013 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.5s 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 [✓] 208 0 1 207 / 5000 24.6s STM Weak HashSet test parallel --- Info ----------------------------------------------------------------------- Negative test STM Weak HashSet test parallel failed as expected (29 shrink steps): | Add 31L Add 31L Add 6L | .---------------------. | | Remove 0L Add 6L Clear Count +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Weak HashSet test parallel: Results incompatible with linearized model | Add 31L : Ok (()) Add 31L : Ok (()) Add 6L : Ok (()) | .------------------------------------. | | Remove 0L : Ok (()) Add 6L : Ok (()) Clear : () Count : 4 ================================================================================ success (ran 1 tests) generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet stress test parallel [✓] 1000 0 0 1000 / 1000 22.1s STM Weak HashSet stress test parallel ================================================================================ success (ran 1 tests) random seed: 71056869 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 332 / 500 1.8s STM Semaphore.Binary test parallel ================================================================================ success (ran 2 tests) random seed: 124066174 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 22.1s Lin.Internal ref int test with Thread [ ] 0 0 0 0 / 15000 0.0s Lin.Internal ref int64 test with Thread [✓] 44 0 1 43 / 15000 4.9s Lin.Internal ref int64 test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin.Internal ref int64 test with Thread failed as expected (9 shrink steps): | Add 1L | .---------------------. | | Decr Set 4L Incr Get Add 73L Decr Get Get Set 464L Decr Set 88L Decr Decr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin.Internal ref int64 test with Thread: Results incompatible with sequential execution | Add 1L : RAdd | .------------------------------------. | | Decr : RDecr Set 4L : RSet Incr : RIncr Get : RGet 3L Add 73L : RAdd Decr : RDecr Get : RGet 3L Get : RGet 3L Set 464L : RSet Decr : RDecr Set 88L : RSet Decr : RDecr Decr : RDecr ================================================================================ success (ran 2 tests) random seed: 515050800 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 18.3s Lin.Internal CList int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin.Internal CList int64 test with Thread [✓] 1000 0 0 1000 / 1000 18.7s Lin.Internal CList int64 test with Thread ================================================================================ success (ran 2 tests) 2024-09-10 08:28.59 ---> saved as "65880a78c0f49aea75f85395e39f5253c4c360a6c4195db1318e385c1352ea2d" Job succeeded 2024-09-10 08:38.01: Job succeeded