2024-08-29 07:08.07: New job: test koonwen/obatcher https://github.com/koonwen/obatcher.git#refs/heads/main (dc9855221fbc8e201a85e52b14090e8252c21244) (linux-arm64:debian-12-5.2_arm32_opam-2.2) Base: ocaml/opam:debian-12-ocaml-5.2@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8 Opam project build To reproduce locally: git clone --recursive "https://github.com/koonwen/obatcher.git" -b "main" && cd "obatcher" && git reset --hard dc985522 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-5.2@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8 # debian-12-5.2_arm32_opam-2.2 USER 1000:1000 SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ] ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version WORKDIR /src RUN sudo chown opam /src RUN cd ~/opam-repository && (git cat-file -e 1f0530d76bd442f96a6e0a90e30ba19c6f1b4015 || git fetch origin master) && git reset -q --hard 1f0530d76bd442f96a6e0a90e30ba19c6f1b4015 && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 obatcher.opam ./ RUN opam pin add -yn obatcher.dev './' ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.13.1 cppo.1.6.9 csexp.1.5.2 cstruct.6.2.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 logs.0.7.0 lwt.5.7.0 mtime.2.0.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 optint.0.3.0 ounit2.2.2.7 picos.0.4.0 psq.0.2.1 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.11.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.1 topkg.1.0.7 uring.0.9 uutf.1.0.3" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.2 --depext-only -y obatcher.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . /src RUN opam exec -- dune build @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2024-08-29 07:08.07: Using cache hint "koonwen/obatcher-ocaml/opam:debian-12-ocaml-5.2@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8-debian-12-5.2_arm32_opam-2.2-abf1affc435d97a5df3f9413fbccb480" 2024-08-29 07:08.07: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-5.2@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8) (comment debian-12-5.2_arm32_opam-2.2) (user (uid 1000) (gid 1000)) (shell /usr/bin/linux32 /bin/sh -c) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (workdir /src) (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam")) (run (shell "opam init --reinit -ni")) (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) (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 1f0530d76bd442f96a6e0a90e30ba19c6f1b4015 || git fetch origin master) && git reset -q --hard 1f0530d76bd442f96a6e0a90e30ba19c6f1b4015 && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src obatcher.opam) (dst ./)) (run (network host) (shell "opam pin add -yn obatcher.dev './'")) (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.13.1 cppo.1.6.9 csexp.1.5.2 cstruct.6.2.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 logs.0.7.0 lwt.5.7.0 mtime.2.0.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 optint.0.3.0 ounit2.2.2.7 picos.0.4.0 psq.0.2.1 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.11.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.1 topkg.1.0.7 uring.0.9 uutf.1.0.3") (env CI true) (env OCAMLCI true) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y obatcher.dev $DEPS")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) (copy (src .) (dst /src)) (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) ) 2024-08-29 07:08.07: Waiting for resource in pool OCluster 2024-08-29 07:08.07: Waiting for worker… 2024-08-29 07:08.07: Got resource from pool OCluster Building on okypous.caelum.ci.dev HEAD is now at 6d621e1 initial work on uring backend HEAD is now at dc98552 remove building tests in examples directory (from ocaml/opam:debian-12-ocaml-5.2@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8) Unable to find image 'ocaml/opam:debian-12-ocaml-5.2@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8' locally docker.io/ocaml/opam@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8: Pulling from ocaml/opam 7574553771a3: Pulling fs layer 7574553771a3: Verifying Checksum 7574553771a3: Download complete 7574553771a3: Pull complete Digest: sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8 Status: Downloaded newer image for ocaml/opam@sha256:2e4e678ac08163f2cbf81ead151a53d4ed67500c40544fb541225f8b0f06d0c8 WARNING: The requested image's platform (linux/arm/v7) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested 2024-08-29 07:08.08 ---> using "f432d9bf046539507c3e0c8768b653469d775a1bde042e1d110e886bf2dad4db" from cache /: (comment debian-12-5.2_arm32_opam-2.2) /: (user (uid 1000) (gid 1000)) /: (shell /usr/bin/linux32 /bin/sh -c) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (workdir /src) /src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam")) 2024-08-29 07:08.08 ---> using "b5540eebc6166a2481f79e8e7ac1c5f7b0267030732f43452a0fba4096a1f1d2" from cache /src: (run (shell "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.2, 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-08-29 07:08.08 ---> using "85830a122b0e4211a3878bf03e65f4df332ff5ec40dd283a40d2e2e32f156b81" from cache /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 5.15.0-117-generic The OCaml toplevel, version 5.2.0 2.2.0 2024-08-29 07:08.08 ---> using "8e30eb3c1a131f6bd177b9208350211b046281d34bd02839f18212af6da3dcde" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-08-29 07:08.08 ---> using "78e37a9abf4324d82503df4ecb782d4775a78fc40cb8cef360c331b40176bbb4" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 1f0530d76bd442f96a6e0a90e30ba19c6f1b4015 || git fetch origin master) && git reset -q --hard 1f0530d76bd442f96a6e0a90e30ba19c6f1b4015 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 7c4ff52ef3..1f0530d76b master -> origin/master 1f0530d76b Merge pull request #26372 from c-cube/release-thread-local-storage-v0.2 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository The following actions will be performed: === upgrade 1 package - upgrade opam-depext 1.2.1-1 to 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (cached) -> removed opam-depext.1.2.1-1 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment 2024-08-29 07:08.08 ---> using "08d2fc9228fe11a09beb33a05d18238e34da31f209798e86de7600b62d034961" from cache /src: (copy (src obatcher.opam) (dst ./)) 2024-08-29 07:08.09 ---> saved as "ba686ec083274477e202507c40f074f2abe18edf3ff42507aefb3e4bd51d6a2f" /src: (run (network host) (shell "opam pin add -yn obatcher.dev './'")) Package obatcher does not exist, create as a NEW package? [y/n] y [obatcher.dev] synchronised (file:///src) [WARNING] Failed checks on obatcher package definition from source at file:///src: warning 68: Missing field 'license' obatcher is now pinned to file:///src (version dev) 2024-08-29 07:08.11 ---> saved as "902f7712e4ae643eafe387ddfc319fb3beab19c099e33bf42b526b13b2ee77ef" /src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.13.1 cppo.1.6.9 csexp.1.5.2 cstruct.6.2.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 logs.0.7.0 lwt.5.7.0 mtime.2.0.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 optint.0.3.0 ounit2.2.2.7 picos.0.4.0 psq.0.2.1 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.11.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.1 topkg.1.0.7 uring.0.9 uutf.1.0.3") /src: (env CI true) /src: (env OCAMLCI true) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y obatcher.dev $DEPS")) + /usr/bin/sudo "apt-get" "update" - Hit:1 http://deb.debian.org/debian bookworm InRelease - Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] - Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] - Get:4 http://deb.debian.org/debian-security bookworm-security/main armhf Packages [172 kB] - Fetched 276 kB in 0s (610 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [obatcher.dev] synchronised (no changes) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-option-bytecode-only is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 3). [NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0). [NOTE] Package ocaml is already installed (current version is 5.2.0). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-arm32 is already installed (current version is 1). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-nnp is already installed (current version is base). [NOTE] Package base-domains is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). 2024-08-29 07:08.25 ---> saved as "795cd9ba1f1cb8dcc50457a2dd9dd44f9976c78cab0f72c6cb7fc358a65adcf3" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-option-bytecode-only is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 3). [NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0). [NOTE] Package ocaml is already installed (current version is 5.2.0). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-arm32 is already installed (current version is 1). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-nnp is already installed (current version is base). [NOTE] Package base-domains is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). The following actions will be performed: === install 36 packages - install alcotest 1.8.0 - install astring 0.8.5 - install backoff 0.1.0 - install base-bytes base - install cmdliner 1.3.0 - install containers 3.13.1 - install cppo 1.6.9 - install csexp 1.5.2 - install cstruct 6.2.0 - install dune 3.16.0 - install dune-configurator 3.16.0 - install either 1.0.0 - install fmt 0.9.0 - install logs 0.7.0 - install lwt 5.7.0 - install mtime 2.0.0 - install multicore-magic 2.3.0 - install ocaml-syntax-shims 1.0.0 - install ocamlbuild 0.15.0 - install ocamlfind 1.9.6 - install ocplib-endian 1.2 - install optint 0.3.0 - install ounit2 2.2.7 - install picos 0.4.0 - install psq 0.2.1 - install qcheck 0.22 - install qcheck-alcotest 0.22 - install qcheck-core 0.22 - install qcheck-ounit 0.22 - install re 1.11.0 - install seq base - install stdlib-shims 0.3.0 - install thread-local-storage 0.1 - install topkg 1.0.7 - install uring 0.9 - install uutf 1.0.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved backoff.0.1.0 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved alcotest.1.8.0 (cached) -> retrieved containers.3.13.1 (cached) -> retrieved cppo.1.6.9 (cached) -> retrieved csexp.1.5.2 (cached) -> retrieved cstruct.6.2.0 (cached) -> retrieved either.1.0.0 (cached) -> retrieved fmt.0.9.0 (cached) -> retrieved logs.0.7.0 (cached) -> retrieved mtime.2.0.0 (cached) -> retrieved lwt.5.7.0 (cached) -> retrieved multicore-magic.2.3.0 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocamlbuild.0.15.0 (cached) -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached) -> retrieved ocplib-endian.1.2 (cached) -> retrieved optint.0.3.0 (cached) -> retrieved ounit2.2.2.7 (cached) -> retrieved picos.0.4.0 (cached) -> retrieved psq.0.2.1 (cached) -> retrieved seq.base (cached) -> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22 (cached) -> installed cmdliner.1.3.0 -> installed seq.base -> retrieved re.1.11.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved thread-local-storage.0.1 (cached) -> retrieved uutf.1.0.3 (cached) -> retrieved topkg.1.0.7 (cached) -> retrieved uring.0.9 (cached) -> installed ocamlfind.1.9.6 -> installed base-bytes.base -> installed ocamlbuild.0.15.0 -> installed topkg.1.0.7 -> installed mtime.2.0.0 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed dune.3.16.0 -> installed backoff.0.1.0 -> installed either.1.0.0 -> installed csexp.1.5.2 -> installed cstruct.6.2.0 -> installed multicore-magic.2.3.0 -> installed optint.0.3.0 -> installed psq.0.2.1 -> installed qcheck-core.0.22 -> installed re.1.11.0 -> installed stdlib-shims.0.3.0 -> installed thread-local-storage.0.1 -> installed cppo.1.6.9 -> installed ocplib-endian.1.2 -> installed ounit2.2.2.7 -> installed qcheck-ounit.0.22 -> installed qcheck.0.22 -> installed dune-configurator.3.16.0 -> installed ocaml-syntax-shims.1.0.0 -> installed alcotest.1.8.0 -> installed qcheck-alcotest.0.22 -> installed containers.3.13.1 -> installed uring.0.9 -> installed lwt.5.7.0 -> installed picos.0.4.0 -> installed logs.0.7.0 Done. # Run eval $(opam env) to update the current shell environment 2024-08-29 07:09.29 ---> saved as "99cc1a9f8efb96df4f573b255053ced13e7eb4aa0f5de5b128df7095d8f19959" /src: (copy (src .) (dst /src)) 2024-08-29 07:09.29 ---> saved as "b201a9ce9fcfe88326c8df3d823dee43c13035add0582e0eef088585ac63d4a5" /src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) (cd _build/default && /home/opam/.opam/5.2/bin/ocamlc -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -bin-annot-occurrences -I test/.test_skiplist.eobjs/byte -I /home/opam/.opam/5.2/lib/alcotest -I /home/opam/.opam/5.2/lib/alcotest/engine -I /home/opam/.opam/5.2/lib/alcotest/stdlib_ext -I /home/opam/.opam/5.2/lib/astring -I /home/opam/.opam/5.2/lib/backoff -I /home/opam/.opam/5.2/lib/cmdliner -I /home/opam/.opam/5.2/lib/containers -I /home/opam/.opam/5.2/lib/containers/monomorphic -I /home/opam/.opam/5.2/lib/either -I /home/opam/.opam/5.2/lib/fmt -I /home/opam/.opam/5.2/lib/logs -I /home/opam/.opam/5.2/lib/mtime -I /home/opam/.opam/5.2/lib/mtime/clock/os -I /home/opam/.opam/5.2/lib/multicore-magic -I /home/opam/.opam/5.2/lib/ocaml/threads -I /home/opam/.opam/5.2/lib/ocaml/unix -I /home/opam/.opam/5.2/lib/ounit2 -I /home/opam/.opam/5.2/lib/ounit2/advanced -I /home/opam/.opam/5.2/lib/picos -I /home/opam/.opam/5.2/lib/picos/domain -I /home/opam/.opam/5.2/lib/picos/exn_bt -I /home/opam/.opam/5.2/lib/picos/fd -I /home/opam/.opam/5.2/lib/picos/fifos -I /home/opam/.opam/5.2/lib/picos/htbl -I /home/opam/.opam/5.2/lib/picos/mpscq -I /home/opam/.opam/5.2/lib/picos/randos -I /home/opam/.opam/5.2/lib/picos/rc -I /home/opam/.opam/5.2/lib/picos/select -I /home/opam/.opam/5.2/lib/picos/structured -I /home/opam/.opam/5.2/lib/picos/thread -I /home/opam/.opam/5.2/lib/picos/threaded -I /home/opam/.opam/5.2/lib/psq -I /home/opam/.opam/5.2/lib/qcheck -I /home/opam/.opam/5.2/lib/qcheck-alcotest -I /home/opam/.opam/5.2/lib/qcheck-core -I /home/opam/.opam/5.2/lib/qcheck-core/runner -I /home/opam/.opam/5.2/lib/qcheck-ounit -I /home/opam/.opam/5.2/lib/re -I /home/opam/.opam/5.2/lib/seq -I /home/opam/.opam/5.2/lib/stdlib-shims -I /home/opam/.opam/5.2/lib/thread-local-storage -I /home/opam/.opam/5.2/lib/uutf -I examples/ds/.ds.objs/byte -I src/.obatcher.objs/byte -intf-suffix .ml -no-alias-deps -opaque -open Dune__exe -o test/.test_skiplist.eobjs/byte/dune__exe__Test_obatcher.cmo -c -impl test/test_obatcher.ml) File "test/test_obatcher.ml", line 186, characters 17-42: 186 | let internal = Mock_Service.get_internal t in ^^^^^^^^^^^^^^^^^^^^^^^^^ Alert unsafe: Mock_Service.get_internal Should not be used typically by application File "test/test_obatcher.ml", line 197, characters 17-42: 197 | let internal = Mock_Service.get_internal t in ^^^^^^^^^^^^^^^^^^^^^^^^^ Alert unsafe: Mock_Service.get_internal Should not be used typically by application File "test/test_obatcher.ml", line 236, characters 19-44: 236 | let internal = Mock_Service.get_internal mock_service in ^^^^^^^^^^^^^^^^^^^^^^^^^ Alert unsafe: Mock_Service.get_internal Should not be used typically by application (cd _build/default/test && ./test_skiplist.exe) qcheck random seed: 880123786 Testing `Batched data structures'. This run has ID `KZCOV2UY'. [OK] skiplist 0 inserts return true on member lookup. [OK] skiplist 1 member lookup not vacuously true. [OK] skiplist 2 duplicate elements are not inserted. Full test results in `/src/_build/default/test/_build/_tests/Batched data structures'. Test Successful in 7.379s. 3 tests run. (cd _build/default/test && ./test_obatcher.exe) qcheck random seed: 115773172 Testing `Obatcher'. This run has ID `4QTROVNF'. [OK] Fifos scheduler 0 Req submitted = Req completed... [OK] Fifos scheduler 1 Req submitted = Req completed... [OK] Fifos scheduler 2 Req submitted = Req completed... [OK] Fifos scheduler 3 Req submitted = Req completed... [OK] Fifos scheduler 4 Batches are linearizable (1 d... [OK] Fifos scheduler 5 Batches are linearizable (16 ... [OK] Fifos scheduler 6 Batches are linearizable (1 d... [OK] Fifos scheduler 7 Batches are linearizable (16 ... [OK] Threaded scheduler 0 Req submitted = Req completed... [OK] Threaded scheduler 1 Req submitted = Req completed... [OK] Threaded scheduler 2 Req submitted = Req completed... [OK] Threaded scheduler 3 Req submitted = Req completed... [OK] Threaded scheduler 4 Batches are linearizable (1 d... [OK] Threaded scheduler 5 Batches are linearizable (16 ... [OK] Threaded scheduler 6 Batches are linearizable (1 d... [OK] Threaded scheduler 7 Batches are linearizable (16 ... [OK] Randos scheduler 0 Req submitted = Req completed... [OK] Randos scheduler 1 Req submitted = Req completed... [OK] Randos scheduler 2 Req submitted = Req completed... [OK] Randos scheduler 3 Req submitted = Req completed... [OK] Randos scheduler 4 Batches are linearizable (1 d... [OK] Randos scheduler 5 Batches are linearizable (16 ... [OK] Randos scheduler 6 Batches are linearizable (1 d... [OK] Randos scheduler 7 Batches are linearizable (16 ... Full test results in `/src/_build/default/test/_build/_tests/Obatcher'. Test Successful in 90.169s. 24 tests run. 2024-08-29 07:11.02 ---> saved as "c2a625c594f746d97d534af52d1d6d67afcb163b61072df12873d3ec3aeb2d91" Job succeeded 2024-08-29 07:11.02: Job succeeded