Build:
- 0
2024-09-09 15:21.13: New job: test linux-s390x/s390x/5.2/058dc017e5e71ce111200dc1b56c10979896004f
2024-09-09 15:21.13: Using cache hint "linux-s390x/s390x/5.2/058dc017e5e71ce111200dc1b56c10979896004f"
2024-09-09 15:21.13: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e)
(env QCHECK_MSG_INTERVAL 60)
(user (uid 1000) (gid 1000))
(workdir /src)
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u"))
(run (network host)
(shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default"))
(copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./"))
(env CI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
(run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
(copy (src .) (dst /src))
(run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice"))
)
2024-09-09 15:21.13: Waiting for resource in pool OCluster
2024-09-09 15:21.13: Waiting for worker…
2024-09-09 15:23.27: Got resource from pool OCluster
Building on s390x-worker-01.marist.ci.dev
HEAD is now at 8ddf95a REMOVE ME: rm irrelevant workflows
HEAD is now at 058dc01 Remove dead code
(from ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e)
Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e' locally
docker.io/ocaml/opam@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e: Pulling from ocaml/opam
52560ec7a98b: Pulling fs layer
eab0a4b3bd3e: Pulling fs layer
f80cd650a7b6: Pulling fs layer
337240be42b5: Pulling fs layer
79225da4e8d0: Pulling fs layer
17c5ed5c97ae: Pulling fs layer
723d5257c443: Pulling fs layer
9108ffdcd51b: Pulling fs layer
570a06170d5a: Pulling fs layer
337240be42b5: Waiting
79225da4e8d0: Waiting
17c5ed5c97ae: Waiting
9108ffdcd51b: Waiting
570a06170d5a: Waiting
723d5257c443: Waiting
3bc38e4bbd23: Pulling fs layer
dcf595e232e9: Pulling fs layer
3bc38e4bbd23: Waiting
dcf595e232e9: Waiting
6fbf7a6e59b8: Pulling fs layer
9b81e60cd0dc: Pulling fs layer
b2056aa0f0ef: Pulling fs layer
9b81e60cd0dc: Waiting
b2056aa0f0ef: Waiting
5947402c93e3: Pulling fs layer
ba9912c5009c: Pulling fs layer
9948a9b882ca: Pulling fs layer
5947402c93e3: Waiting
ba9912c5009c: Waiting
9948a9b882ca: Waiting
9c425dfe1f36: Pulling fs layer
fd80f5ed0258: Pulling fs layer
4f4fb700ef54: Pulling fs layer
68d647695fbb: Pulling fs layer
6fbf7a6e59b8: Waiting
d6f345d3600b: Pulling fs layer
7ef4f05a5a02: Pulling fs layer
3d711792550b: Pulling fs layer
97e3998c71ca: Pulling fs layer
fd80f5ed0258: Waiting
9c425dfe1f36: Waiting
3d711792550b: Waiting
3b0e3d1f1d4c: Pulling fs layer
01a7a8858579: Pulling fs layer
2ba1f9128fdf: Pulling fs layer
9164ac1c1f7d: Pulling fs layer
992a9e5c4973: Pulling fs layer
4f4fb700ef54: Waiting
7ef4f05a5a02: Waiting
68d647695fbb: Waiting
d6f345d3600b: Waiting
97e3998c71ca: Waiting
3b0e3d1f1d4c: Waiting
2ba1f9128fdf: Waiting
01a7a8858579: Waiting
9392a321e745: Pulling fs layer
d4f24245de84: Pulling fs layer
f67ba658bdf5: Pulling fs layer
e092361b0bd5: Pulling fs layer
9392a321e745: Waiting
9164ac1c1f7d: Waiting
992a9e5c4973: Waiting
5239f5f1c57d: Pulling fs layer
715b08f65540: Pulling fs layer
65e50d0b7f26: Pulling fs layer
ef46a782c55c: Pulling fs layer
f67ba658bdf5: Waiting
d4f24245de84: Waiting
26955ddfd8bd: Pulling fs layer
a5cc6a7f78d0: Pulling fs layer
f909f7e0e365: Pulling fs layer
ef46a782c55c: Waiting
26955ddfd8bd: Waiting
a5cc6a7f78d0: Waiting
e092361b0bd5: Waiting
5239f5f1c57d: Waiting
5d5d64053dac: Pulling fs layer
f909f7e0e365: Waiting
985c150a969d: Pulling fs layer
715b08f65540: Waiting
65e50d0b7f26: Waiting
5d5d64053dac: Waiting
985c150a969d: Waiting
e0702fdafe21: Pulling fs layer
e0702fdafe21: Waiting
eab0a4b3bd3e: Verifying Checksum
eab0a4b3bd3e: Download complete
f80cd650a7b6: Download complete
79225da4e8d0: Verifying Checksum
79225da4e8d0: Download complete
337240be42b5: Verifying Checksum
337240be42b5: Download complete
52560ec7a98b: Verifying Checksum
52560ec7a98b: Download complete
723d5257c443: Verifying Checksum
723d5257c443: Download complete
9108ffdcd51b: Download complete
570a06170d5a: Verifying Checksum
570a06170d5a: Download complete
3bc38e4bbd23: Verifying Checksum
3bc38e4bbd23: Download complete
dcf595e232e9: Verifying Checksum
dcf595e232e9: Download complete
9b81e60cd0dc: Verifying Checksum
9b81e60cd0dc: Download complete
6fbf7a6e59b8: Verifying Checksum
6fbf7a6e59b8: Download complete
b2056aa0f0ef: Verifying Checksum
b2056aa0f0ef: Download complete
5947402c93e3: Verifying Checksum
5947402c93e3: Download complete
17c5ed5c97ae: Verifying Checksum
17c5ed5c97ae: Download complete
ba9912c5009c: Verifying Checksum
ba9912c5009c: Download complete
9948a9b882ca: Verifying Checksum
9948a9b882ca: Download complete
9c425dfe1f36: Verifying Checksum
9c425dfe1f36: Download complete
fd80f5ed0258: Verifying Checksum
fd80f5ed0258: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
68d647695fbb: Verifying Checksum
68d647695fbb: Download complete
d6f345d3600b: Verifying Checksum
d6f345d3600b: Download complete
7ef4f05a5a02: Verifying Checksum
7ef4f05a5a02: Download complete
3d711792550b: Verifying Checksum
3d711792550b: Download complete
97e3998c71ca: Verifying Checksum
97e3998c71ca: Download complete
3b0e3d1f1d4c: Verifying Checksum
3b0e3d1f1d4c: Download complete
01a7a8858579: Verifying Checksum
01a7a8858579: Download complete
2ba1f9128fdf: Verifying Checksum
2ba1f9128fdf: Download complete
9164ac1c1f7d: Verifying Checksum
9164ac1c1f7d: Download complete
992a9e5c4973: Verifying Checksum
992a9e5c4973: Download complete
9392a321e745: Verifying Checksum
9392a321e745: Download complete
d4f24245de84: Verifying Checksum
d4f24245de84: Download complete
e092361b0bd5: Verifying Checksum
e092361b0bd5: Download complete
715b08f65540: Verifying Checksum
715b08f65540: Download complete
65e50d0b7f26: Download complete
ef46a782c55c: Verifying Checksum
ef46a782c55c: Download complete
52560ec7a98b: Pull complete
eab0a4b3bd3e: Pull complete
f80cd650a7b6: Pull complete
26955ddfd8bd: Download complete
337240be42b5: Pull complete
79225da4e8d0: Pull complete
a5cc6a7f78d0: Verifying Checksum
a5cc6a7f78d0: Download complete
f67ba658bdf5: Verifying Checksum
f67ba658bdf5: Download complete
5d5d64053dac: Verifying Checksum
5d5d64053dac: Download complete
985c150a969d: Verifying Checksum
985c150a969d: Download complete
e0702fdafe21: Verifying Checksum
e0702fdafe21: Download complete
5239f5f1c57d: Verifying Checksum
5239f5f1c57d: Download complete
f909f7e0e365: Verifying Checksum
f909f7e0e365: Download complete
17c5ed5c97ae: Pull complete
723d5257c443: Pull complete
9108ffdcd51b: Pull complete
570a06170d5a: Pull complete
3bc38e4bbd23: Pull complete
dcf595e232e9: Pull complete
6fbf7a6e59b8: Pull complete
9b81e60cd0dc: Pull complete
b2056aa0f0ef: Pull complete
5947402c93e3: Pull complete
ba9912c5009c: Pull complete
9948a9b882ca: Pull complete
9c425dfe1f36: Pull complete
fd80f5ed0258: Pull complete
4f4fb700ef54: Pull complete
68d647695fbb: Pull complete
d6f345d3600b: Pull complete
7ef4f05a5a02: Pull complete
3d711792550b: Pull complete
97e3998c71ca: Pull complete
3b0e3d1f1d4c: Pull complete
01a7a8858579: Pull complete
2ba1f9128fdf: Pull complete
9164ac1c1f7d: Pull complete
992a9e5c4973: Pull complete
9392a321e745: Pull complete
d4f24245de84: Pull complete
f67ba658bdf5: Pull complete
e092361b0bd5: Pull complete
5239f5f1c57d: Pull complete
715b08f65540: Pull complete
65e50d0b7f26: Pull complete
ef46a782c55c: Pull complete
26955ddfd8bd: Pull complete
a5cc6a7f78d0: Pull complete
f909f7e0e365: Pull complete
5d5d64053dac: Pull complete
985c150a969d: Pull complete
e0702fdafe21: Pull complete
Digest: sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e
Status: Downloaded newer image for ocaml/opam@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e
2024-09-09 15:23.28 ---> using "d036b4d12a9bb1e39537264f47e10c99b45f7b9cd1f2999130a852da7d19c3dd" from cache
/: (env QCHECK_MSG_INTERVAL 60)
/: (user (uid 1000) (gid 1000))
/: (workdir /src)
/src: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
Continue? [Y/n] y
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-09-09 15:23.28 ---> using "36a59d478966717601fecf6e05337bb619a6752cb291713c4c04685ed34dc8ad" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-09 15:23.28 ---> using "485e84284db6891b68d43d4f07b9415382e73b9b4c70a69ae89b40f1cd27c9e5" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
8187cd8d36..7f8a1201e6 master -> origin/master
7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-09-09 15:24.27 ---> saved as "f98cdce5753bb5c5ce40bc1e0460035166d92f1002e4c17c28c559aef1b81a5b"
/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-09 15:24.29 ---> saved as "d018f6e6f56a13664ad5d0e6afb7b8c69b597fdccc1360c9be5ce40ff1c9a837"
/src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam)
(dst ./))
2024-09-09 15:24.29 ---> saved as "9833dfbf574b232f3f539139347b7367b0d902d142045958f2a80c76387a48ef"
/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-09 15:24.37 ---> saved as "4a1aa5f2427e4841d029c258af4d32b8a9aba3ff7cf09a7c6c48047515aaf2a4"
/src: (env CI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [27.2 kB]
- Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB]
- Fetched 71.2 kB in 0s (208 kB/s)
- Reading package lists...
-
[multicoretests.dev] synchronised (no changes)
[qcheck-lin.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
2024-09-09 15:24.48 ---> saved as "4e78ab04ac0d1a5f84718c4079264b2e24ae2f33f51dfeb015547775385f9383"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install ./"))
[qcheck-lin.dev] synchronised (no changes)
[multicoretests.dev] synchronised (no changes)
[qcheck-multicoretests-util.dev] synchronised (no changes)
[qcheck-stm.dev] synchronised (no changes)
The following actions will be performed:
- install dune 3.16.0 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install qcheck-core 0.22 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm]
- install qcheck-multicoretests-util dev*
- install qcheck-stm dev*
- install qcheck-lin dev*
- install multicoretests dev*
===== 6 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved 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.
# Run eval $(opam env) to update the current shell environment
2024-09-09 15:25.31 ---> saved as "aa0f985e90fe2994f3fdbf01311e92b0cef9ed4c0cc0fd145b90d4e360981208"
/src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target"))
version: 5.2.0
standard_library_default: /home/opam/.opam/5.2/lib/ocaml
standard_library: /home/opam/.opam/5.2/lib/ocaml
ccomp_type: cc
c_compiler: gcc
ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlc_cppflags: -D_FILE_OFFSET_BITS=64
ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread
ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64
bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64
bytecomp_c_libraries: -lzstd -lm -ldl -lpthread
native_c_libraries: -lm -ldl -lpthread
native_ldflags:
native_pack_linker: ld -r -o
native_compiler: true
architecture: s390x
model: z10
int_size: 63
word_size: 64
system: linux
asm: gcc -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: s390x-ibm-linux-gnu
target: s390x-ibm-linux-gnu
flambda: false
safe_string: true
default_safe_string: true
flat_float_array: true
function_sections: false
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 s390x # Inferred from system
exe # Suffix needed for executable filenames (Windows)
jobs 3 # The number of parallel jobs set up in opam configuration
make make # The 'make' command to use
opam-version 2.1.6 # The currently running opam version
os linux # Inferred from system
os-distribution debian # Inferred from system
os-family debian # Inferred from system
os-version 11 # Inferred from system
root /home/opam/.opam # The current opam root directory
switch 5.2 # The identifier of the current switch
sys-ocaml-version # OCaml version present on your system independently of opam, if any
<><> Configuration variables from the current switch ><><><><><><><><><><><><><>
prefix /home/opam/.opam/5.2
lib /home/opam/.opam/5.2/lib
bin /home/opam/.opam/5.2/bin
sbin /home/opam/.opam/5.2/sbin
share /home/opam/.opam/5.2/share
doc /home/opam/.opam/5.2/doc
etc /home/opam/.opam/5.2/etc
man /home/opam/.opam/5.2/man
toplevel /home/opam/.opam/5.2/lib/toplevel
stublibs /home/opam/.opam/5.2/lib/stublibs
user opam
group opam
<><> Package variables ('opam var --package PKG' to show) <><><><><><><><><><><>
PKG:name # Name of the package
PKG:version # Version of the package
PKG:depends # Resolved direct dependencies of the package
PKG:installed # Whether the package is installed
PKG:enable # Takes the value "enable" or "disable" depending on whether the package is installed
PKG:pinned # Whether the package is pinned
PKG:bin # Binary directory for this package
PKG:sbin # System binary directory for this package
PKG:lib # Library directory for this package
PKG:man # Man directory for this package
PKG:doc # Doc directory for this package
PKG:share # Share directory for this package
PKG:etc # Etc directory for this package
PKG:build # Directory where the package was built
PKG:hash # Hash of the package archive
PKG:dev # True if this is a development package
PKG:build-id # A hash identifying the precise package version with all its dependencies
PKG:opamfile # Path of the curent opam file
# Packages matching: installed
# Name # Installed # Repository # Synopsis
base-bigarray base default
base-domains base default
base-nnp base default Naked pointers prohibited in the OCaml heap
base-threads base default
base-unix base default
dune 3.16.0 default Fast, portable, and opinionated build system
host-arch-s390x 1 default OCaml on 64-bit IBM z/Architecture
host-system-other 1 default OCaml on an unidentified system
multicoretests dev pinned to version dev at file:///src
ocaml 5.2.0 default The OCaml compiler (virtual package)
ocaml-base-compiler 5.2.0 default pinned to version 5.2.0
ocaml-config 3 default OCaml Switch Configuration
ocaml-options-vanilla 1 default Ensure that OCaml is compiled with no special options enabled
opam-depext 1.2.3 default Install OS distribution packages
qcheck-core 0.22 default Core qcheck library
qcheck-lin dev pinned to version dev at file:///src
qcheck-multicoretests-util dev pinned to version dev at file:///src
qcheck-stm dev pinned to version dev at file:///src
2024-09-09 15:25.32 ---> saved as "d37c5ca279883faa8a3419f95dff5d89d7af3180c049d02240e6653a6bee9840"
/src: (copy (src .) (dst /src))
2024-09-09 15:25.32 ---> saved as "1af381a6ebd43da93a40f7fc1076a6753b5b156598eac5cd915973c964c5989f"
/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.0s 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: 202843098
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 2-th run
random seed: 520986030
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 3-th run
random seed: 397075512
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 4-th run
random seed: 527460885
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 5-th run
random seed: 217612925
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 141809925
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 7-th run
random seed: 10737057
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 25697878
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 191461740
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 79483817
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 87864644
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 396914273
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 13-th run
random seed: 114954350
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 14-th run
random seed: 196245254
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 15-th run
random seed: 119189149
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 354848279
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 17-th run
random seed: 231591103
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 453579175
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 19-th run
random seed: 521516170
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 464856527
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 5290421
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 22-th run
random seed: 258798240
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 23-th run
random seed: 46113746
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 341212118
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 232874760
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 456758536
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 521981885
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 242478361
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 248063467
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 394036898
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 31-th run
random seed: 181962475
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 32-th run
random seed: 35492453
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 33-th run
random seed: 383995162
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 34-th run
random seed: 110726624
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 35-th run
random seed: 109276555
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 36-th run
random seed: 526405440
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 37-th run
random seed: 373641810
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 38-th run
random seed: 257590420
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 39-th run
random seed: 371545101
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 40-th run
random seed: 236824855
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 41-th run
random seed: 408875409
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 42-th run
random seed: 367736726
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 43-th run
random seed: 441320748
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 44-th run
random seed: 290301699
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 45-th run
random seed: 95574118
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 46-th run
random seed: 511934770
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 95056083
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 240327306
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 112974264
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 262635129
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 237046977
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 52-th run
random seed: 257248155
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 53-th run
random seed: 504524127
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 54-th run
random seed: 82678437
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 55-th run
random seed: 419848211
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 56-th run
random seed: 239679251
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 57-th run
random seed: 525588442
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 58-th run
random seed: 491585552
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 175162718
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 60-th run
random seed: 392085483
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 61-th run
random seed: 192797756
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 62-th run
random seed: 144488353
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 63-th run
random seed: 197373935
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 64-th run
random seed: 430704343
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 104923203
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 66-th run
random seed: 250684360
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 86431489
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 281815334
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 164958791
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 228092241
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 71-th run
random seed: 22419414
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 72-th run
random seed: 6797403
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 524524775
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 74-th run
random seed: 425348631
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 116607668
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 76-th run
random seed: 316545048
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 77-th run
random seed: 227739151
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 78-th run
random seed: 222830540
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 161287172
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 80-th run
random seed: 21891802
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 81-th run
random seed: 441504398
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 82-th run
random seed: 493333412
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 83-th run
random seed: 178083636
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 84-th run
random seed: 406936289
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 85-th run
random seed: 448206347
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 290533214
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 439432363
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 10014829
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 461929290
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 80801060
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 91-th run
random seed: 506876257
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 169603293
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 93-th run
random seed: 475142364
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 94-th run
random seed: 224530214
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 418909289
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 83999875
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 70593385
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 96322849
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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: 266865137
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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 100-th run
random seed: 286306482
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.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-09 15:26.39 ---> saved as "6cf49ffd7dd0e78b77a0122fb1b5371ecd829ed07fbccb235a50d347f49bbe11"
Job succeeded
2024-09-09 15:26.39: Job succeeded