Build:
- 0
2024-09-10 08:10.15: New job: test freebsd-x86_64/amd64/5.2/8334131078c28a6259b7630a472e61dedc783dfe 2024-09-10 08:10.15: Using cache hint "freebsd-x86_64/amd64/5.2/8334131078c28a6259b7630a472e61dedc783dfe" 2024-09-10 08:10.15: Using OBuilder spec: ((from freebsd-ocaml-5.2) (env QCHECK_MSG_INTERVAL 60) (user (uid 1000) (gid 1000)) (workdir /src) (run (network host) (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam && opam init --reinit -ni")) (workdir /src) (run (shell "sudo chown opam /src")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u")) (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) (env CI true) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) (copy (src .) (dst /src)) (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice")) ) 2024-09-10 08: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 summer HEAD is now at 97859a0 Remove --host=i386-linux option HEAD is now at 8334131 Try musl bytecode-only in 64bit mode (from freebsd-ocaml-5.2) 2024-09-10 08:01.15 ---> using "3515bf58445883216685df527c06fc8b9b7799700694ffa335d1401da4433261" from cache /: (env QCHECK_MSG_INTERVAL 60) /: (user (uid 1000) (gid 1000)) /: (workdir /src) /src: (run (network host) (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam && opam init --reinit -ni")) No configuration file found, using built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from git+file:///home/opam/opam-repository default (at git+file:///home/opam/opam-repository): [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) 2024-09-10 08:01.15 ---> using "5a93fb1e198000a6635181612f1a00e0b1cc2e6cefc5e864485ece84f5ff186d" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-09-10 08:01.15 ---> using "89a455d225d1de9b68d60489ec35dca40f0174b95a46a592c9cc1522e0d73083" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD e2171914dc..7f8a1201e6 master -> origin/master 7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///home/opam/opam-repository default (at git+file:///home/opam/opam-repository): [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) Constructing initial basis... Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). The following packages are not being upgraded because the new versions conflict with other installed packages: - ocaml.5.4.0 However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. 2024-09-10 08:01.15 ---> using "b515037d251eb1984e3ed4321c5332cb009c4de8d06582103ec7962d6ffc0ea0" from cache /src: (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) [override] Initialised 2024-09-10 08:01.16 ---> using "d5704e4fb8d9aeb02c345135d016dedf16f99b07f28490d6c3c474e1a6a75e24" from cache /src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) 2024-09-10 08:01.16 ---> using "cb3498a25a9dc87d68d06e8f703460e7aa49fb6cf65b8d583b9b848c382fc44b" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) [qcheck-multicoretests-util.dev] synchronised (file:///src) qcheck-multicoretests-util is now pinned to file:///src (version dev) [qcheck-lin.dev] synchronised (file:///src) qcheck-lin is now pinned to file:///src (version dev) [qcheck-stm.dev] synchronised (file:///src) qcheck-stm is now pinned to file:///src (version dev) Package multicoretests does not exist, create as a NEW package? [Y/n] y [multicoretests.dev] synchronised (file:///src) multicoretests is now pinned to file:///src (version dev) 2024-09-10 08:01.16 ---> using "b7f18b06d006e014be9f7d03f37dc19f944b8c5006f0e073abf2992b1e0b080c" from cache /src: (env CI true) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) [WARNING] Unknown update command for bsd, skipping system update [multicoretests.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) Constructing initial basis... Number of 0-1 knapsack inequalities = 60 Constructing conflict graph... Conflict graph has 44 + 7 = 51 vertices 2024-09-10 08:01.16 ---> using "158253981f15c49dc7f766aecf1fe1c8f82ce273ab5ec1c76512c7976a1a74c5" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) [multicoretests.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) Constructing initial basis... Number of 0-1 knapsack inequalities = 60 Constructing conflict graph... Conflict graph has 44 + 7 = 51 vertices The following actions will be performed: ∗ install dune 3.16.0 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] ∗ install qcheck-core 0.22 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] ∗ install qcheck-multicoretests-util dev* ∗ install qcheck-stm dev* ∗ install qcheck-lin dev* ∗ install multicoretests dev* ===== ∗ 6 ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> ⬇ retrieved qcheck-core.0.22 (cached) ⬇ retrieved multicoretests.dev (file:///src) ⬇ retrieved qcheck-lin.dev (file:///src) ⬇ retrieved qcheck-multicoretests-util.dev (file:///src) ⬇ retrieved qcheck-stm.dev (file:///src) ⬇ retrieved dune.3.16.0 (cached) ∗ installed dune.3.16.0 ∗ installed qcheck-core.0.22 ∗ installed qcheck-multicoretests-util.dev ∗ installed qcheck-lin.dev ∗ installed qcheck-stm.dev ∗ installed multicoretests.dev Done. 2024-09-10 08:01.17 ---> using "ce101a91483ba12a54c399c45637781c2fd52531df1d0f164d38226dde6189d8" from cache /src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) version: 5.2.0 standard_library_default: /home/opam/.opam/5.2.0/lib/ocaml standard_library: /home/opam/.opam/5.2.0/lib/ocaml ccomp_type: cc c_compiler: cc ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlc_cppflags: -D_FILE_OFFSET_BITS=64 ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64 bytecomp_c_compiler: cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 native_c_compiler: cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 bytecomp_c_libraries: -L/usr/local/lib -lzstd -lm -lpthread native_c_libraries: -lm -lpthread native_ldflags: native_pack_linker: ld -r -o native_compiler: true architecture: amd64 model: default int_size: 63 word_size: 64 system: freebsd asm: cc -c asm_cfi_supported: true with_frame_pointers: false ext_exe: ext_obj: .o ext_asm: .s ext_lib: .a ext_dll: .so os_type: Unix default_executable_name: a.out systhread_supported: true host: x86_64-unknown-freebsd14.0 target: x86_64-unknown-freebsd14.0 flambda: false safe_string: true default_safe_string: true flat_float_array: true function_sections: true afl_instrument: false tsan: false windows_unicode: false supports_shared_libraries: true native_dynlink: true naked_pointers: false exec_magic_number: Caml1999X034 cmi_magic_number: Caml1999I034 cmo_magic_number: Caml1999O034 cma_magic_number: Caml1999A034 cmx_magic_number: Caml1999Y034 cmxa_magic_number: Caml1999Z034 ast_impl_magic_number: Caml1999M034 ast_intf_magic_number: Caml1999N034 cmxs_magic_number: Caml1999D034 cmt_magic_number: Caml1999T034 linear_magic_number: Caml1999L034 <><> Global opam variables ><><><><><><><><><><><><><><><><><><><><><><><><><><> arch x86_64 # Inferred from system exe # Suffix needed for executable filenames (Windows) jobs 15 # The number of parallel jobs set up in opam configuration make gmake # The 'make' command to use opam-version 2.1.5 # The currently running opam version os freebsd # Inferred from system os-distribution freebsd # Inferred from system os-family bsd # Inferred from system os-version 1400097 # Inferred from system root /home/opam/.opam # The current opam root directory switch 5.2.0 # The identifier of the current switch sys-ocaml-arch # Target architecture of the OCaml compiler present on your system sys-ocaml-cc # Host C Compiler type of the OCaml compiler present on your system sys-ocaml-libc # Host C Runtime Library type of the OCaml compiler present on your system sys-ocaml-version # OCaml version present on your system independently of opam, if any <><> Configuration variables from the current switch ><><><><><><><><><><><><><> prefix /home/opam/.opam/5.2.0 lib /home/opam/.opam/5.2.0/lib bin /home/opam/.opam/5.2.0/bin sbin /home/opam/.opam/5.2.0/sbin share /home/opam/.opam/5.2.0/share doc /home/opam/.opam/5.2.0/doc etc /home/opam/.opam/5.2.0/etc man /home/opam/.opam/5.2.0/man toplevel /home/opam/.opam/5.2.0/lib/toplevel stublibs /home/opam/.opam/5.2.0/lib/stublibs user opam group opam <><> Package variables ('opam var --package PKG' to show) <><><><><><><><><><><> PKG:name # Name of the package PKG:version # Version of the package PKG:depends # Resolved direct dependencies of the package PKG:installed # Whether the package is installed PKG:enable # Takes the value "enable" or "disable" depending on whether the package is installed PKG:pinned # Whether the package is pinned PKG:bin # Binary directory for this package PKG:sbin # System binary directory for this package PKG:lib # Library directory for this package PKG:man # Man directory for this package PKG:doc # Doc directory for this package PKG:share # Share directory for this package PKG:etc # Etc directory for this package PKG:build # Directory where the package was built PKG:hash # Hash of the package archive PKG:dev # True if this is a development package PKG:build-id # A hash identifying the precise package version with all its dependencies PKG:opamfile # Path of the curent opam file # Packages matching: installed # Name # Installed # Repository # Synopsis base-bigarray base default base-domains base default base-nnp base default Naked pointers prohibited in the OCaml heap base-threads base default base-unix base default dune 3.16.0 default Fast, portable, and opinionated build system host-arch-x86_64 1 default OCaml on amd64 (64-bit) host-system-other 1 default OCaml on an unidentified system multicoretests dev pinned to version dev at file:///src ocaml 5.2.0 default The OCaml compiler (virtual package) ocaml-base-compiler 5.2.0 default Official release 5.2.0 ocaml-config 3 default OCaml Switch Configuration ocaml-options-vanilla 1 default Ensure that OCaml is compiled with no special options enabled qcheck-core 0.22 default Core qcheck library qcheck-lin dev pinned to version dev at file:///src qcheck-multicoretests-util dev pinned to version dev at file:///src qcheck-stm dev pinned to version dev at file:///src 2024-09-10 08:01.17 ---> using "3ce883fe59067067c05bbd8060ab346b8230e8219669d3b09bf406232590c897" from cache /src: (copy (src .) (dst /src)) 2024-09-10 08:01.17 ---> saved as "9be71a0f680f2a38ff838eaf099709cb1b99d6d268964df6ff3b0847d6189a28" /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: 140417365 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 2-th run random seed: 122022078 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 3-th run random seed: 261422648 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 4-th run random seed: 224440452 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 5-th run random seed: 371889389 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 6-th run random seed: 411711583 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 7-th run random seed: 456823663 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 8-th run random seed: 385908622 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 9-th run random seed: 138374125 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 10-th run random seed: 57930305 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 11-th run random seed: 239973902 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 12-th run random seed: 183108126 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 13-th run random seed: 49628248 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 14-th run random seed: 295010349 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 15-th run random seed: 529615857 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 16-th run random seed: 355342449 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 17-th run random seed: 296293266 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 18-th run random seed: 391019336 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 19-th run random seed: 95948753 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 20-th run random seed: 74514163 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 21-th run random seed: 62717102 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 22-th run random seed: 270589510 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 23-th run random seed: 98060516 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 24-th run random seed: 450394210 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 25-th run random seed: 118498034 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 26-th run random seed: 281892231 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 27-th run random seed: 57118864 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 28-th run random seed: 506694304 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 29-th run random seed: 55409292 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 30-th run random seed: 487651713 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 31-th run random seed: 329231247 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 32-th run random seed: 309839857 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 33-th run random seed: 474459518 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 34-th run random seed: 445230552 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 35-th run random seed: 166620385 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 36-th run random seed: 397386302 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 37-th run random seed: 195549878 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 38-th run random seed: 47030778 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 39-th run random seed: 473109582 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 40-th run random seed: 288837523 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 41-th run random seed: 489380102 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 42-th run random seed: 173874657 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 43-th run random seed: 127221824 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 44-th run random seed: 295594451 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 45-th run random seed: 200251059 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 46-th run random seed: 382936242 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 47-th run random seed: 443209021 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 48-th run random seed: 178567984 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 49-th run random seed: 530295404 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 50-th run random seed: 453884451 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 51-th run random seed: 75840241 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 52-th run random seed: 189407842 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 53-th run random seed: 105939878 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 54-th run random seed: 131845179 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 55-th run random seed: 90382944 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 56-th run random seed: 135574733 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 57-th run random seed: 72195444 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 58-th run random seed: 483485208 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 59-th run random seed: 289407269 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 60-th run random seed: 297646419 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 61-th run random seed: 83366074 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 62-th run random seed: 388140493 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 63-th run random seed: 325575260 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 64-th run random seed: 533320186 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 65-th run random seed: 154287061 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 66-th run random seed: 407241488 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 67-th run random seed: 319413825 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 68-th run random seed: 337322737 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 69-th run random seed: 269162884 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 70-th run random seed: 41221438 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 71-th run random seed: 22193085 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 72-th run random seed: 441249858 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 73-th run random seed: 2980298 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 74-th run random seed: 107949252 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 75-th run random seed: 260764276 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 76-th run random seed: 352701154 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 77-th run random seed: 395921979 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 78-th run random seed: 140524609 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 79-th run random seed: 258059991 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 80-th run random seed: 39602160 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 81-th run random seed: 419307055 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 82-th run random seed: 441164391 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 83-th run random seed: 433183559 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 84-th run random seed: 394844504 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 85-th run random seed: 364220901 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 86-th run random seed: 133385458 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 87-th run random seed: 197216271 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 88-th run random seed: 80061779 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 89-th run random seed: 46760931 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 90-th run random seed: 343710743 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 91-th run random seed: 182758467 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 92-th run random seed: 277866387 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 93-th run random seed: 53179641 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 94-th run random seed: 144059184 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 95-th run random seed: 511643513 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 96-th run random seed: 114239714 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 97-th run random seed: 120377922 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 98-th run random seed: 231366942 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 99-th run random seed: 407075523 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 100-th run random seed: 402862205 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) 2024-09-10 08:02.24 ---> saved as "0196cd0756ee6385442d9c47fc4296752429af06dec1f798ff94e7519e5a5f42" Job succeeded 2024-09-10 08:11.27: Job succeeded