2024-09-08 06:49.17: New job: test koonwen/obatcher https://github.com/koonwen/obatcher.git#refs/heads/main (7b48cd176a28685461a3b986438009387d5da149) (freebsd-x86_64:freebsd-5.2_opam-2.2)Base: freebsd-ocaml-5.2Opam project buildTo reproduce locally:git clone --recursive "https://github.com/koonwen/obatcher.git" -b "main" && cd "obatcher" && git reset --hard 7b48cd17cat > Dockerfile <<'END-OF-DOCKERFILE'FROM freebsd-ocaml-5.2# freebsd-5.2_opam-2.2USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"WORKDIR /srcRUN sudo ln -f /usr/local/bin/opam-2.2 /usr/local/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionWORKDIR /srcRUN sudo chown opam /srcRUN cd ~/opam-repository && (git cat-file -e e6779b3c37b6fe7eac7a15623ec4fc0bff719fec || git fetch origin master) && git reset -q --hard e6779b3c37b6fe7eac7a15623ec4fc0bff719fec && git log --no-decorate -n1 --oneline && opam update -uCOPY --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-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.13.1 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.0.7 uutf.1.0.3"ENV CI="true"ENV OCAMLCI="true"RUN opam update --depexts && opam install --cli=2.2 --depext-only -y obatcher.dev $DEPSRUN opam install $DEPSCOPY --chown=1000:1000 . /srcRUN opam exec -- dune build @install @check @runtest && rm -rf _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2024-09-08 06:49.17: Using cache hint "koonwen/obatcher-freebsd-ocaml-5.2-freebsd-5.2_opam-2.2-3264f6a5668e321d01d2b29f4d4f2ce8"2024-09-08 06:49.17: Using OBuilder spec:((from freebsd-ocaml-5.2)(comment freebsd-5.2_opam-2.2)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(workdir /src)(run (shell "sudo ln -f /usr/local/bin/opam-2.2 /usr/local/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 e6779b3c37b6fe7eac7a15623ec4fc0bff719fec || git fetch origin master) && git reset -q --hard e6779b3c37b6fe7eac7a15623ec4fc0bff719fec && 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-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.13.1 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.0.7 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-09-08 06:49.17: Waiting for resource in pool OCluster2024-09-08 06:49.17: Waiting for worker…2024-09-08 06:49.17: Got resource from pool OClusterBuilding on summerHEAD is now at 8790b62 work on READMEHEAD is now at 7b48cd1 remove Makefile(from freebsd-ocaml-5.2)2024-09-08 06:40.37 ---> saved as "3515bf58445883216685df527c06fc8b9b7799700694ffa335d1401da4433261"/: (comment freebsd-5.2_opam-2.2)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (workdir /src)/src: (run (shell "sudo ln -f /usr/local/bin/opam-2.2 /usr/local/bin/opam"))2024-09-08 06:40.44 ---> saved as "ce5d446dcad4679490c4842006d3847ab79c5b03f27c64107dd9b4b693f9227b"/src: (run (shell "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.This version of opam requires an update to the layout of /home/opam/.opam from version 2.1 to version 2.2, which can't be reverted.You may want to back it up before going further.Continue? [y/n] y[NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:opam option jobs=1 --globalFormat upgrade done.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] no changes from git+file:///home/opam/opam-repository2024-09-08 06:43.51 ---> saved as "315f104d2431f3f8513b249e297f5cd9ab00e87e07651779a2c033f75790f186"/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))FreeBSD 14.0-RELEASE-p6The OCaml toplevel, version 5.2.02.2.02024-09-08 06:43.58 ---> saved as "122bbc3ca2d5d079e67c62df055dfe2029bb1467ac0b82961d95a877a82d7ad7"/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2024-09-08 06:44.01 ---> saved as "ea3d067661d07cb941931c0bd3d63b7212a0090aedfda056edf38cb8ce4f84dc"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e e6779b3c37b6fe7eac7a15623ec4fc0bff719fec || git fetch origin master) && git reset -q --hard e6779b3c37b6fe7eac7a15623ec4fc0bff719fec && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEADe2171914dc..16e8d80cc5 master -> origin/mastere6779b3c37 Merge pull request #26473 from polytypic/release-picos-0.5.0<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from git+file:///home/opam/opam-repositorydefault (at git+file:///home/opam/opam-repository):[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)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.0However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.2024-09-08 06:49.50 ---> saved as "396afb38c4c4bf8bd5fc6c3751a93eab5fcae29e7beb6ced8744cc0081cf116e"/src: (copy (src obatcher.opam) (dst ./))2024-09-08 06:50.03 ---> saved as "1ffe0317307326ee4bff1b9f40f4eff925723e06b866ee0820f1c82de41d91d5"/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)obatcher is now pinned to file:///src (version dev)2024-09-08 06:50.11 ---> saved as "4a854c5cd141d5975928e6f356fed60c3403d97df21baaa9b89b62256f97b2d4"/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.13.1 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.0.7 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"))[WARNING] Unknown update command for bsd, skipping system update<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[obatcher.dev] synchronised (no changes)[NOTE] Package ocaml-options-vanilla 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-x86_64 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-09-08 06:53.38 ---> saved as "704d8fb1e920f0db4be33cb43d70d06d03f0d51c3b41655c4901d7d8d4434ded"/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-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-x86_64 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 30 packages∗ alcotest 1.8.0∗ astring 0.8.5∗ backoff 0.1.0∗ cmdliner 1.3.0∗ containers 3.13.1∗ csexp 1.5.2∗ dune 3.16.0∗ dune-configurator 3.16.0∗ either 1.0.0∗ fmt 0.9.0∗ logs 0.7.0∗ multicore-magic 2.3.0∗ ocaml-syntax-shims 1.0.0∗ ocamlbuild 0.15.0∗ ocamlfind 1.9.6∗ ounit2 2.2.7∗ picos 0.5.0∗ picos_aux 0.5.0∗ picos_mux 0.5.0∗ picos_std 0.5.0∗ qcheck 0.22∗ qcheck-alcotest 0.22∗ qcheck-core 0.22∗ qcheck-ounit 0.22∗ re 1.12.0∗ seq base∗ stdlib-shims 0.3.0∗ thread-local-storage 0.2∗ topkg 1.0.7∗ uutf 1.0.3<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>⬇ retrieved astring.0.8.5 (cached)⬇ retrieved backoff.0.1.0 (cached)⬇ retrieved cmdliner.1.3.0 (cached)⬇ retrieved alcotest.1.8.0 (cached)⬇ retrieved csexp.1.5.2 (cached)⬇ retrieved either.1.0.0 (cached)⬇ retrieved dune.3.16.0, dune-configurator.3.16.0 (cached)⬇ retrieved logs.0.7.0 (cached)⬇ retrieved fmt.0.9.0 (cached)⬇ retrieved containers.3.13.1 (cached)⬇ retrieved ocaml-syntax-shims.1.0.0 (cached)⬇ retrieved multicore-magic.2.3.0 (cached)⬇ retrieved ocamlbuild.0.15.0 (cached)⬇ retrieved picos.0.5.0, picos_aux.0.5.0, picos_mux.0.5.0, picos_std.0.5.0 (cached)⬇ retrieved ounit2.2.2.7 (cached)⬇ retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22 (cached)⬇ retrieved seq.base (cached)∗ installed seq.base⬇ retrieved stdlib-shims.0.3.0 (cached)⬇ retrieved re.1.12.0 (cached)⬇ retrieved thread-local-storage.0.2 (cached)⬇ retrieved topkg.1.0.7 (cached)⬇ retrieved uutf.1.0.3 (cached)⬇ retrieved ocamlfind.1.9.6 (cached)∗ installed cmdliner.1.3.0∗ installed ocamlbuild.0.15.0∗ installed ocamlfind.1.9.6∗ installed topkg.1.0.7∗ 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 csexp.1.5.2∗ installed thread-local-storage.0.2∗ installed stdlib-shims.0.3.0∗ installed ocaml-syntax-shims.1.0.0∗ installed qcheck-core.0.22∗ installed multicore-magic.2.3.0∗ installed either.1.0.0∗ installed logs.0.7.0∗ installed re.1.12.0∗ installed picos_aux.0.5.0∗ installed picos.0.5.0∗ installed ounit2.2.2.7∗ installed picos_std.0.5.0∗ installed qcheck-ounit.0.22∗ installed dune-configurator.3.16.0∗ installed alcotest.1.8.0∗ installed qcheck.0.22∗ installed qcheck-alcotest.0.22∗ installed picos_mux.0.5.0∗ installed containers.3.13.1Done.2024-09-08 07:00.43 ---> saved as "74dbde4b05fcf3c37ea405d320412e38f501ba46d8f4873fe25d267f48d5bb6b"/src: (copy (src .) (dst /src))2024-09-08 07:00.57 ---> saved as "e14274e52b90fa909cc79c5bbbd1ff702a1873d748e563b66817ef79af2e0b66"/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))(cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -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.0/lib/alcotest -I /home/opam/.opam/5.2.0/lib/alcotest/engine -I /home/opam/.opam/5.2.0/lib/alcotest/stdlib_ext -I /home/opam/.opam/5.2.0/lib/astring -I /home/opam/.opam/5.2.0/lib/backoff -I /home/opam/.opam/5.2.0/lib/cmdliner -I /home/opam/.opam/5.2.0/lib/containers -I /home/opam/.opam/5.2.0/lib/containers/monomorphic -I /home/opam/.opam/5.2.0/lib/either -I /home/opam/.opam/5.2.0/lib/fmt -I /home/opam/.opam/5.2.0/lib/logs -I /home/opam/.opam/5.2.0/lib/multicore-magic -I /home/opam/.opam/5.2.0/lib/ocaml/threads -I /home/opam/.opam/5.2.0/lib/ocaml/unix -I /home/opam/.opam/5.2.0/lib/ounit2 -I /home/opam/.opam/5.2.0/lib/ounit2/advanced -I /home/opam/.opam/5.2.0/lib/picos -I /home/opam/.opam/5.2.0/lib/picos/thread -I /home/opam/.opam/5.2.0/lib/picos_aux/htbl -I /home/opam/.opam/5.2.0/lib/picos_aux/mpscq -I /home/opam/.opam/5.2.0/lib/picos_mux/fifo -I /home/opam/.opam/5.2.0/lib/picos_mux/random -I /home/opam/.opam/5.2.0/lib/picos_mux/thread -I /home/opam/.opam/5.2.0/lib/picos_std/event -I /home/opam/.opam/5.2.0/lib/picos_std/structured -I /home/opam/.opam/5.2.0/lib/qcheck -I /home/opam/.opam/5.2.0/lib/qcheck-alcotest -I /home/opam/.opam/5.2.0/lib/qcheck-core -I /home/opam/.opam/5.2.0/lib/qcheck-core/runner -I /home/opam/.opam/5.2.0/lib/qcheck-ounit -I /home/opam/.opam/5.2.0/lib/re -I /home/opam/.opam/5.2.0/lib/seq -I /home/opam/.opam/5.2.0/lib/stdlib-shims -I /home/opam/.opam/5.2.0/lib/thread-local-storage -I /home/opam/.opam/5.2.0/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 189, characters 17-42:189 | let internal = Mock_Service.get_internal t in^^^^^^^^^^^^^^^^^^^^^^^^^Alert unsafe: Mock_Service.get_internalShould not be used typically by applicationFile "test/test_obatcher.ml", line 200, characters 17-42:200 | let internal = Mock_Service.get_internal t in^^^^^^^^^^^^^^^^^^^^^^^^^Alert unsafe: Mock_Service.get_internalShould not be used typically by applicationFile "test/test_obatcher.ml", line 239, characters 19-44:239 | let internal = Mock_Service.get_internal mock_service in^^^^^^^^^^^^^^^^^^^^^^^^^Alert unsafe: Mock_Service.get_internalShould not be used typically by application(cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -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 -I test/.test_skiplist.eobjs/byte -I test/.test_skiplist.eobjs/native -I /home/opam/.opam/5.2.0/lib/alcotest -I /home/opam/.opam/5.2.0/lib/alcotest/engine -I /home/opam/.opam/5.2.0/lib/alcotest/stdlib_ext -I /home/opam/.opam/5.2.0/lib/astring -I /home/opam/.opam/5.2.0/lib/backoff -I /home/opam/.opam/5.2.0/lib/cmdliner -I /home/opam/.opam/5.2.0/lib/containers -I /home/opam/.opam/5.2.0/lib/containers/monomorphic -I /home/opam/.opam/5.2.0/lib/either -I /home/opam/.opam/5.2.0/lib/fmt -I /home/opam/.opam/5.2.0/lib/logs -I /home/opam/.opam/5.2.0/lib/multicore-magic -I /home/opam/.opam/5.2.0/lib/multicore-magic/__private__/multicore_magic_atomic_array_unboxed5 -I /home/opam/.opam/5.2.0/lib/ocaml/threads -I /home/opam/.opam/5.2.0/lib/ocaml/unix -I /home/opam/.opam/5.2.0/lib/ounit2 -I /home/opam/.opam/5.2.0/lib/ounit2/advanced -I /home/opam/.opam/5.2.0/lib/picos -I /home/opam/.opam/5.2.0/lib/picos/__private__/picos_bootstrap -I /home/opam/.opam/5.2.0/lib/picos/__private__/picos_ocaml5 -I /home/opam/.opam/5.2.0/lib/picos/thread -I /home/opam/.opam/5.2.0/lib/picos_aux/htbl -I /home/opam/.opam/5.2.0/lib/picos_aux/mpscq -I /home/opam/.opam/5.2.0/lib/picos_mux/fifo -I /home/opam/.opam/5.2.0/lib/picos_mux/random -I /home/opam/.opam/5.2.0/lib/picos_mux/thread -I /home/opam/.opam/5.2.0/lib/picos_std/event -I /home/opam/.opam/5.2.0/lib/picos_std/structured -I /home/opam/.opam/5.2.0/lib/qcheck -I /home/opam/.opam/5.2.0/lib/qcheck-alcotest -I /home/opam/.opam/5.2.0/lib/qcheck-core -I /home/opam/.opam/5.2.0/lib/qcheck-core/runner -I /home/opam/.opam/5.2.0/lib/qcheck-ounit -I /home/opam/.opam/5.2.0/lib/re -I /home/opam/.opam/5.2.0/lib/seq -I /home/opam/.opam/5.2.0/lib/stdlib-shims -I /home/opam/.opam/5.2.0/lib/thread-local-storage -I /home/opam/.opam/5.2.0/lib/uutf -I examples/ds/.ds.objs/byte -I examples/ds/.ds.objs/native -I src/.obatcher.objs/byte -I src/.obatcher.objs/native -intf-suffix .ml -no-alias-deps -opaque -open Dune__exe -o test/.test_skiplist.eobjs/native/dune__exe__Test_obatcher.cmx -c -impl test/test_obatcher.ml)File "test/test_obatcher.ml", line 189, characters 17-42:189 | let internal = Mock_Service.get_internal t in^^^^^^^^^^^^^^^^^^^^^^^^^Alert unsafe: Mock_Service.get_internalShould not be used typically by applicationFile "test/test_obatcher.ml", line 200, characters 17-42:200 | let internal = Mock_Service.get_internal t in^^^^^^^^^^^^^^^^^^^^^^^^^Alert unsafe: Mock_Service.get_internalShould not be used typically by applicationFile "test/test_obatcher.ml", line 239, characters 19-44:239 | let internal = Mock_Service.get_internal mock_service in^^^^^^^^^^^^^^^^^^^^^^^^^Alert unsafe: Mock_Service.get_internalShould not be used typically by application(cd _build/default/test && ./test_skiplist.exe)qcheck random seed: 81071237Testing `Batched data structures'.This run has ID `VGSKDPQV'.[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 12.960s. 3 tests run.(cd _build/default/test && ./test_obatcher.exe)qcheck random seed: 108406993Testing `Obatcher'.This run has ID `PL79G4NQ'.[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 518.329s. 24 tests run.2024-09-08 07:10.30 ---> saved as "3ca7db6f5c97850d2ec178a4ebaa979ff9e01a1bfc34dee40771e6a3d0628425"Job succeeded2024-09-08 07:19.32: Job succeeded