Build:
- 0
2024-09-10 08:10.15: New job: test linux-arm64/arm64/5.2/8334131078c28a6259b7630a472e61dedc783dfe 2024-09-10 08:10.15: Using cache hint "linux-arm64/arm64/5.2/8334131078c28a6259b7630a472e61dedc783dfe" 2024-09-10 08:10.15: Using OBuilder spec: ((from ocaml/opam:debian-11-ocaml-5.2@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7) (env QCHECK_MSG_INTERVAL 60) (user (uid 1000) (gid 1000)) (workdir /src) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (workdir /src) (run (shell "sudo chown opam /src")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 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:10.15: Waiting for resource in pool OCluster 2024-09-10 08:10.15: Waiting for worker… 2024-09-10 08:10.15: Got resource from pool OCluster Building on ocaml-1.osuosl.ci.dev HEAD is now at e0a2c6e REMOVE ME: rm irrelevant workflows HEAD is now at 8334131 Try musl bytecode-only in 64bit mode (from ocaml/opam:debian-11-ocaml-5.2@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7) Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7' locally docker.io/ocaml/opam@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7: Pulling from ocaml/opam 15db329af0bd: Pulling fs layer a191a631d184: Pulling fs layer 4690b19f74e8: Pulling fs layer f43abfdff31e: Pulling fs layer c04a5d82f9d3: Pulling fs layer 83a9a6001282: Pulling fs layer 2e69a7f9696e: Pulling fs layer a8d894705357: Pulling fs layer 2e69a7f9696e: Waiting a8d894705357: Waiting c04a5d82f9d3: Waiting f43abfdff31e: Waiting 4690b19f74e8: Download complete a191a631d184: Verifying Checksum a191a631d184: Download complete f43abfdff31e: Verifying Checksum f43abfdff31e: Download complete 83a9a6001282: Verifying Checksum 83a9a6001282: Download complete 2e69a7f9696e: Download complete a8d894705357: Download complete c04a5d82f9d3: Verifying Checksum c04a5d82f9d3: Download complete 15db329af0bd: Verifying Checksum 15db329af0bd: Download complete 15db329af0bd: Pull complete a191a631d184: Pull complete 4690b19f74e8: Pull complete f43abfdff31e: Pull complete c04a5d82f9d3: Pull complete 83a9a6001282: Pull complete 2e69a7f9696e: Pull complete a8d894705357: Pull complete Digest: sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7 Status: Downloaded newer image for ocaml/opam@sha256:f26a0876fc9c552f384973432fff0157372a1d9e63ec97e7f8662616292304e7 2024-09-10 08:10.18 ---> using "40ebba191f91c6eb89d5119f1eb377b21e7e8b17f45d44ba0115e9783f464cb0" from cache /: (env QCHECK_MSG_INTERVAL 60) /: (user (uid 1000) (gid 1000)) /: (workdir /src) /src: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-10 08:10.18 ---> using "e543f2e4b77d8f35c24d7c6f8692ae19bd2ae83b75700cdf6c53284bd877b220" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-09-10 08:10.18 ---> using "c4e67e5094b7e9625a59a597876c5af24d83c08ec959ce46cf12f14c7627b633" 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 8187cd8d36..7f8a1201e6 master -> origin/master 7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2024-09-10 08:13.19 ---> saved as "05395d816a29310b72a221693e955ccb1bb2c9346cfcd1217730263df305afb8" /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:13.23 ---> saved as "35e9be87a2ed57ab53a51d0d8b8282f807603a17fa12b647d7aa1a1d90d92f3f" /src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) 2024-09-10 08:13.25 ---> saved as "6d7be8c0b06b6afa344138451540f91146642a42dec2edc9ead826dccc5816cd" /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:13.39 ---> saved as "14f5f74ca44fed59a0ac550d256442364a7adce32be30a5809df49337be43fd7" /src: (env CI true) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) + /usr/bin/sudo "apt-get" "update" - Hit:1 http://deb.debian.org/debian bullseye InRelease - Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [27.2 kB] - Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB] - Get:4 http://deb.debian.org/debian-security bullseye-security/main arm64 Packages [283 kB] - Fetched 354 kB in 3s (103 kB/s) - Reading package lists... - [multicoretests.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) 2024-09-10 08:14.07 ---> saved as "35378570e97ded2af5d573fd60d0c390e11f6234df3d0bcd1276a36781ba0cf3" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) [qcheck-lin.dev] synchronised (no changes) [multicoretests.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) The following actions will be performed: - install dune 3.16.0 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-core 0.22 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-multicoretests-util dev* - install qcheck-stm dev* - install qcheck-lin dev* - install multicoretests dev* ===== 6 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved multicoretests.dev (file:///src) -> retrieved qcheck-lin.dev (file:///src) -> retrieved qcheck-multicoretests-util.dev (file:///src) -> retrieved qcheck-stm.dev (file:///src) -> retrieved qcheck-core.0.22 (cached) -> retrieved dune.3.16.0 (cached) -> installed dune.3.16.0 -> installed qcheck-core.0.22 -> installed qcheck-multicoretests-util.dev -> installed qcheck-lin.dev -> installed qcheck-stm.dev -> installed multicoretests.dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-10 08:15.53 ---> saved as "3a183b7f024d69a4f0649f53dc64dada41f33997f3c0092f28699297aab63d0a" /src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) version: 5.2.0 standard_library_default: /home/opam/.opam/5.2/lib/ocaml standard_library: /home/opam/.opam/5.2/lib/ocaml ccomp_type: cc c_compiler: gcc ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlc_cppflags: -D_FILE_OFFSET_BITS=64 ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64 bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 bytecomp_c_libraries: -lzstd -lm -ldl -lpthread native_c_libraries: -lm -ldl -lpthread native_ldflags: native_pack_linker: ld -r -o native_compiler: true architecture: arm64 model: default int_size: 63 word_size: 64 system: linux asm: as 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: aarch64-unknown-linux-gnu target: aarch64-unknown-linux-gnu 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 arm64 # Inferred from system exe # Suffix needed for executable filenames (Windows) jobs 79 # The number of parallel jobs set up in opam configuration make make # The 'make' command to use opam-version 2.1.6 # The currently running opam version os linux # Inferred from system os-distribution debian # Inferred from system os-family debian # Inferred from system os-version 11 # Inferred from system root /home/opam/.opam # The current opam root directory switch 5.2 # The identifier of the current switch sys-ocaml-version # OCaml version present on your system independently of opam, if any <><> Configuration variables from the current switch ><><><><><><><><><><><><><> prefix /home/opam/.opam/5.2 lib /home/opam/.opam/5.2/lib bin /home/opam/.opam/5.2/bin sbin /home/opam/.opam/5.2/sbin share /home/opam/.opam/5.2/share doc /home/opam/.opam/5.2/doc etc /home/opam/.opam/5.2/etc man /home/opam/.opam/5.2/man toplevel /home/opam/.opam/5.2/lib/toplevel stublibs /home/opam/.opam/5.2/lib/stublibs user opam group opam <><> Package variables ('opam var --package PKG' to show) <><><><><><><><><><><> PKG:name # Name of the package PKG:version # Version of the package PKG:depends # Resolved direct dependencies of the package PKG:installed # Whether the package is installed PKG:enable # Takes the value "enable" or "disable" depending on whether the package is installed PKG:pinned # Whether the package is pinned PKG:bin # Binary directory for this package PKG:sbin # System binary directory for this package PKG:lib # Library directory for this package PKG:man # Man directory for this package PKG:doc # Doc directory for this package PKG:share # Share directory for this package PKG:etc # Etc directory for this package PKG:build # Directory where the package was built PKG:hash # Hash of the package archive PKG:dev # True if this is a development package PKG:build-id # A hash identifying the precise package version with all its dependencies PKG:opamfile # Path of the curent opam file # Packages matching: installed # Name # Installed # Repository # Synopsis base-bigarray base default base-domains base default base-nnp base default Naked pointers prohibited in the OCaml heap base-threads base default base-unix base default dune 3.16.0 default Fast, portable, and opinionated build system host-arch-arm64 1 default OCaml on AArch64 (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 pinned to version 5.2.0 ocaml-config 3 default OCaml Switch Configuration ocaml-options-vanilla 1 default Ensure that OCaml is compiled with no special options enabled opam-depext 1.2.3 default Install OS distribution packages qcheck-core 0.22 default Core qcheck library qcheck-lin dev pinned to version dev at file:///src qcheck-multicoretests-util dev pinned to version dev at file:///src qcheck-stm dev pinned to version dev at file:///src 2024-09-10 08:15.56 ---> saved as "67a46ad78004faa4d8901eec875f9c4f91d13ec900a9fc8700e86ed7dab0809d" /src: (copy (src .) (dst /src)) 2024-09-10 08:15.57 ---> saved as "0012643f91e1e2770a356bee323f0e7deafa05eb25331f48fcf2561b71567cb5" /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 Starting 1-th run random seed: 529774986 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 2-th run random seed: 79648430 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 3-th run random seed: 84745350 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 4-th run random seed: 243295321 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 5-th run random seed: 316747337 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 6-th run random seed: 221983173 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 7-th run random seed: 437086438 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 8-th run random seed: 383273234 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 9-th run random seed: 166413769 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 10-th run random seed: 397814644 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 11-th run random seed: 51957984 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 12-th run random seed: 498787441 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 13-th run random seed: 235050706 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 14-th run random seed: 318674917 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 15-th run random seed: 440816515 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 16-th run random seed: 341706424 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 17-th run random seed: 380978060 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 18-th run random seed: 399875663 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 19-th run random seed: 260612357 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 20-th run random seed: 350847854 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 21-th run random seed: 365121256 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 22-th run random seed: 417284412 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 23-th run random seed: 478068522 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 24-th run random seed: 85909154 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 25-th run random seed: 4879194 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 26-th run random seed: 438262151 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 27-th run random seed: 434499073 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 28-th run random seed: 217086021 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 29-th run random seed: 464522597 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 30-th run random seed: 276156151 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 31-th run random seed: 400057781 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 32-th run random seed: 317140215 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 33-th run random seed: 501647079 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 34-th run random seed: 180354755 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 35-th run random seed: 295327076 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 36-th run random seed: 327523435 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 37-th run random seed: 1255682 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 2.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 38-th run random seed: 130934344 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 39-th run random seed: 419018308 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 40-th run random seed: 499324682 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 41-th run random seed: 442416609 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 42-th run random seed: 181561131 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 2.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 43-th run random seed: 99514068 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 44-th run random seed: 149079613 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 45-th run random seed: 531005440 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 46-th run random seed: 230626831 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 47-th run random seed: 232028162 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 48-th run random seed: 492623850 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 49-th run random seed: 456605501 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 50-th run random seed: 517336661 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 51-th run random seed: 49770637 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 52-th run random seed: 35251625 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 53-th run random seed: 298225547 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 54-th run random seed: 412890232 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 55-th run random seed: 118561585 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 56-th run random seed: 7714875 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 57-th run random seed: 165658466 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 58-th run random seed: 527111614 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 59-th run random seed: 413169799 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 60-th run random seed: 426615149 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 61-th run random seed: 259096960 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 62-th run random seed: 377285397 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 63-th run random seed: 236181577 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 64-th run random seed: 52909534 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 65-th run random seed: 231791990 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 66-th run random seed: 251854445 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 67-th run random seed: 457285720 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 68-th run random seed: 122101370 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 69-th run random seed: 471412995 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 70-th run random seed: 493114070 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 71-th run random seed: 274627927 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 72-th run random seed: 265794155 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 73-th run random seed: 203082008 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 74-th run random seed: 458363669 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 75-th run random seed: 46011063 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 76-th run random seed: 143607988 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 77-th run random seed: 533271317 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 78-th run random seed: 455863237 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 79-th run random seed: 174123924 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 80-th run random seed: 99221119 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 81-th run random seed: 297970006 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 82-th run random seed: 81185363 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 83-th run random seed: 217337282 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 2.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 84-th run random seed: 366965191 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 85-th run random seed: 258929888 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 86-th run random seed: 180417130 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 87-th run random seed: 109418199 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 88-th run random seed: 137316875 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 89-th run random seed: 144588955 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 90-th run random seed: 506283136 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 91-th run random seed: 275373361 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 92-th run random seed: 91187144 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 93-th run random seed: 258456070 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 94-th run random seed: 151219411 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 95-th run random seed: 405128931 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 96-th run random seed: 370819049 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 97-th run random seed: 125861182 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 98-th run random seed: 518128599 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 99-th run random seed: 420088093 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 100-th run random seed: 356568448 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 1.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) 2024-09-10 08:19.19 ---> saved as "a8e6595641786a017a50fc1dae4e8b9830dc5426c160a15431f63ed337ea2fdc" Job succeeded 2024-09-10 08:19.20: Job succeeded