Build:
- 0
2024-09-10 08:43.39: New job: test freebsd-x86_64/amd64/5.2/f334c3f68875110e3af5427bfe562eff269e3c14
2024-09-10 08:43.39: Using cache hint "freebsd-x86_64/amd64/5.2/f334c3f68875110e3af5427bfe562eff269e3c14"
2024-09-10 08:43.39: 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:43.39: Waiting for resource in pool OCluster
2024-09-10 08:43.40: Waiting for worker…
2024-09-10 08:43.40: Got resource from pool OCluster
Building on summer
HEAD is now at 8334131 Try musl bytecode-only in 64bit mode
HEAD is now at f334c3f Repro under pure bytecode
(from freebsd-ocaml-5.2)
2024-09-10 08:34.39 ---> using "3515bf58445883216685df527c06fc8b9b7799700694ffa335d1401da4433261" from cache
/: (env QCHECK_MSG_INTERVAL 60)
/: (user (uid 1000) (gid 1000))
/: (workdir /src)
/src: (run (network host)
(shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam && opam init --reinit -ni"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///home/opam/opam-repository
default (at git+file:///home/opam/opam-repository):
[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)
2024-09-10 08:34.39 ---> using "5a93fb1e198000a6635181612f1a00e0b1cc2e6cefc5e864485ece84f5ff186d" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-10 08:34.39 ---> using "89a455d225d1de9b68d60489ec35dca40f0174b95a46a592c9cc1522e0d73083" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
e2171914dc..7f8a1201e6 master -> origin/master
7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
default (at git+file:///home/opam/opam-repository):
[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)
Constructing initial basis...
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
The following packages are not being upgraded because the new versions conflict with other installed packages:
- ocaml.5.4.0
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
2024-09-10 08:34.39 ---> 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:34.40 ---> using "d5704e4fb8d9aeb02c345135d016dedf16f99b07f28490d6c3c474e1a6a75e24" from cache
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2024-09-10 08:34.40 ---> using "cb3498a25a9dc87d68d06e8f703460e7aa49fb6cf65b8d583b9b848c382fc44b" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
[qcheck-multicoretests-util.dev] synchronised (file:///src)
qcheck-multicoretests-util is now pinned to file:///src (version dev)
[qcheck-lin.dev] synchronised (file:///src)
qcheck-lin is now pinned to file:///src (version dev)
[qcheck-stm.dev] synchronised (file:///src)
qcheck-stm is now pinned to file:///src (version dev)
Package multicoretests does not exist, create as a NEW package? [Y/n] y
[multicoretests.dev] synchronised (file:///src)
multicoretests is now pinned to file:///src (version dev)
2024-09-10 08:34.40 ---> using "b7f18b06d006e014be9f7d03f37dc19f944b8c5006f0e073abf2992b1e0b080c" from cache
/src: (env CI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
[WARNING] Unknown update command for bsd, skipping system update
[multicoretests.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
Constructing initial basis...
Number of 0-1 knapsack inequalities = 60
Constructing conflict graph...
Conflict graph has 44 + 7 = 51 vertices
2024-09-10 08:34.40 ---> 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:34.41 ---> using "ce101a91483ba12a54c399c45637781c2fd52531df1d0f164d38226dde6189d8" from cache
/src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
version: 5.2.0
standard_library_default: /home/opam/.opam/5.2.0/lib/ocaml
standard_library: /home/opam/.opam/5.2.0/lib/ocaml
ccomp_type: cc
c_compiler: cc
ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlc_cppflags: -D_FILE_OFFSET_BITS=64
ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64
bytecomp_c_compiler: cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
native_c_compiler: cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
bytecomp_c_libraries: -L/usr/local/lib -lzstd -lm -lpthread
native_c_libraries: -lm -lpthread
native_ldflags:
native_pack_linker: ld -r -o
native_compiler: true
architecture: amd64
model: default
int_size: 63
word_size: 64
system: freebsd
asm: cc -c
asm_cfi_supported: true
with_frame_pointers: false
ext_exe:
ext_obj: .o
ext_asm: .s
ext_lib: .a
ext_dll: .so
os_type: Unix
default_executable_name: a.out
systhread_supported: true
host: x86_64-unknown-freebsd14.0
target: x86_64-unknown-freebsd14.0
flambda: false
safe_string: true
default_safe_string: true
flat_float_array: true
function_sections: true
afl_instrument: false
tsan: false
windows_unicode: false
supports_shared_libraries: true
native_dynlink: true
naked_pointers: false
exec_magic_number: Caml1999X034
cmi_magic_number: Caml1999I034
cmo_magic_number: Caml1999O034
cma_magic_number: Caml1999A034
cmx_magic_number: Caml1999Y034
cmxa_magic_number: Caml1999Z034
ast_impl_magic_number: Caml1999M034
ast_intf_magic_number: Caml1999N034
cmxs_magic_number: Caml1999D034
cmt_magic_number: Caml1999T034
linear_magic_number: Caml1999L034
<><> Global opam variables ><><><><><><><><><><><><><><><><><><><><><><><><><><>
arch x86_64 # Inferred from system
exe # Suffix needed for executable filenames (Windows)
jobs 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:34.41 ---> using "3ce883fe59067067c05bbd8060ab346b8230e8219669d3b09bf406232590c897" from cache
/src: (copy (src .) (dst /src))
2024-09-10 08:34.41 ---> saved as "a7fa83aa4cec5473f3226cceda1a3ca658417bc0d4e0d5cac241adc05f243e1d"
/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: 405441585
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: 67779286
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: 200552902
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: 364125899
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: 217321023
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: 466640979
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: 218866474
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 8-th run
random seed: 242037326
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: 380740833
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 10-th run
random seed: 374267335
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: 303306496
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: 99912342
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: 268543981
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: 228295508
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: 428813378
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 16-th run
random seed: 92705198
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: 33686812
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 18-th run
random seed: 450132478
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: 305150032
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: 237453015
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: 510784572
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: 18610229
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: 464173931
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 24-th run
random seed: 400752472
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: 404907886
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: 30264690
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: 460524480
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 28-th run
random seed: 446055925
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: 112589984
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: 347009799
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: 428340849
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: 485434587
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: 310247550
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: 244955871
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: 186685469
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: 387911840
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: 302375246
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: 108131452
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: 158366246
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: 314243229
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: 420348211
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: 414308417
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: 466713162
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 44-th run
random seed: 535013445
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: 417257769
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: 292473107
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: 496369041
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: 18244503
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: 423934321
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: 459573331
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: 332314813
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: 107397638
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: 417298628
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: 120197075
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: 365661044
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: 156660926
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: 185430197
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: 322964670
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: 247710605
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: 99251405
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: 419675172
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: 133503368
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: 154691809
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: 494725283
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 65-th run
random seed: 1292517
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: 340206847
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 67-th run
random seed: 94270513
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: 201779931
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: 463596334
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: 432944133
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: 396130723
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 72-th run
random seed: 335347065
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: 103659281
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: 100415172
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: 528712556
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: 483270861
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: 59181287
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: 2570212
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: 530376266
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: 453340082
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: 360057698
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: 195982593
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: 26738340
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: 154617339
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: 276617694
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: 33119144
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: 194889275
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 88-th run
random seed: 75532737
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: 14525945
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: 354486096
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: 220663121
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: 181181057
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: 26518815
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 94-th run
random seed: 335006117
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: 106082086
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: 450623473
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: 248287992
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: 233377616
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: 360322738
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: 195157704
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:35.47 ---> saved as "b6dd20b436bdcd0f6641d3031fa8f171a7eb2710f8dc56c13ca5251a1c9f331a"
Job succeeded
2024-09-10 08:44.49: Job succeeded