Build:
  1. 0
2024-02-11 20:23.54: New job: test saturn.0.4.1 with conf-pkg-config.1.1, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/25235/head (8c7391d6ec81e93f24de221eb32a886b72d1ede6)
                              on debian-12-ocaml-5.1/amd64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25235/head" && git reset --hard 8c7391d6
git fetch origin master
git merge --no-edit 8477e9a74beb40d85534ab7653b65d45607a147f
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="500"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam pin add -k version -yn conf-pkg-config.1.1 1.1
RUN opam reinstall conf-pkg-config.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'conf-pkg-config.1.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam reinstall saturn.0.4.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'saturn.0.4.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN (opam reinstall --with-test saturn.0.4.1) || true
RUN opam reinstall --with-test --verbose saturn.0.4.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'saturn.0.4.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2024-02-11 20:23.54: Using cache hint "ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930-conf-pkg-config.1.1-saturn.0.4.1-8c7391d6ec81e93f24de221eb32a886b72d1ede6"
2024-02-11 20:23.54: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (network host)
      (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMSOLVERTIMEOUT 500)
 (env OPAMPRECISETRACKING 1)
 (env CI true)
 (env OPAM_REPO_CI true)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall conf-pkg-config.1.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall saturn.0.4.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'saturn.0.4.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (network host)
      (shell "(opam reinstall --with-test saturn.0.4.1) || true"))
 (run (shell  "opam reinstall --with-test --verbose saturn.0.4.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'saturn.0.4.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2024-02-11 20:23.54: Waiting for resource in pool OCluster
2024-02-12 20:08.17: Waiting for worker…
2024-02-12 20:09.56: Got resource from pool OCluster
Building on x86-bm-c6.sw.ocaml.org
All commits already cached
Updating files:  63% (20850/32918)
Updating files:  64% (21068/32918)
Updating files:  65% (21397/32918)
Updating files:  66% (21726/32918)
Updating files:  67% (22056/32918)
Updating files:  68% (22385/32918)
Updating files:  69% (22714/32918)
Updating files:  70% (23043/32918)
Updating files:  71% (23372/32918)
Updating files:  72% (23701/32918)
Updating files:  73% (24031/32918)
Updating files:  74% (24360/32918)
Updating files:  75% (24689/32918)
Updating files:  76% (25018/32918)
Updating files:  77% (25347/32918)
Updating files:  78% (25677/32918)
Updating files:  79% (26006/32918)
Updating files:  80% (26335/32918)
Updating files:  81% (26664/32918)
Updating files:  82% (26993/32918)
Updating files:  83% (27322/32918)
Updating files:  84% (27652/32918)
Updating files:  85% (27981/32918)
Updating files:  86% (28310/32918)
Updating files:  87% (28639/32918)
Updating files:  88% (28968/32918)
Updating files:  89% (29298/32918)
Updating files:  90% (29627/32918)
Updating files:  91% (29956/32918)
Updating files:  92% (30285/32918)
Updating files:  93% (30614/32918)
Updating files:  94% (30943/32918)
Updating files:  95% (31273/32918)
Updating files:  96% (31602/32918)
Updating files:  97% (31931/32918)
Updating files:  98% (32260/32918)
Updating files:  99% (32589/32918)
Updating files: 100% (32918/32918)
Updating files: 100% (32918/32918), done.
HEAD is now at 8477e9a74b Merge pull request #25221 from nberth/mlgmpidl-1.3.0
Updating 8477e9a74b..8c7391d6ec
Fast-forward
 packages/conf-pkg-config/conf-pkg-config.1.0/opam | 2 +-
 packages/conf-pkg-config/conf-pkg-config.1.1/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.2/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.3/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.2/opam   | 1 +
 packages/conf-pkg-config/conf-pkg-config.3/opam   | 4 +++-
 6 files changed, 8 insertions(+), 2 deletions(-)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930' locally
docker.io/ocaml/opam@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930: Pulling from ocaml/opam
329d23e8d848: Pulling fs layer
329d23e8d848: Verifying Checksum
329d23e8d848: Download complete
329d23e8d848: Pull complete
Digest: sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
Status: Downloaded newer image for ocaml/opam@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
2024-02-12 20:10.10 ---> using "4df7ce52b8e0afe130cbfff7d9b001e43cae58bd8e8710cd073ce7c11b1c6ac8" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-02-12 20:10.10 ---> using "2ee14a5dbb7aa54ab1dfa5adba4422c5a5483941525d4174e8eeed0c4c5e97aa" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.

This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2~alpha, which can't be reverted.
You may want to back it up before going further.

Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=71 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-02-12 20:10.10 ---> using "d58131e4d084860f74dbebecfc9a35ebb7fbb42cf58093b5ac6cf0adf11ed898" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

/home/opam: (run (shell "rm -rf opam-repository/"))
2024-02-12 20:10.10 ---> using "e76676ee91f5598b65d18de047738848e5af056a75e3436903dc82ff5702c5a6" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2024-02-12 20:10.12 ---> using "00dcf922e87fec2f8ccdd0b44355d41faed143c596db4bfe8812d0e9c5f33f02" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-02-12 20:10.12 ---> using "d6c8604b98b9d01914259989eafdfad7780b6c9f761a469dfe3162a56ba73510" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8786 kB]
- Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [137 kB]
- Fetched 9175 kB in 2s (5673 kB/s)
- Reading package lists...
- 
2024-02-12 20:10.12 ---> using "6245d7929b862e6b37f451133c05d21883283d0248743f67197f2e424fe52d69" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
conf-pkg-config is now pinned to version 1.1
2024-02-12 20:10.12 ---> using "efd69474de39398f08b803f28b1c0635d272139b0c33f4b0a322013c52989663" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall conf-pkg-config.1.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
conf-pkg-config.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
  - install conf-pkg-config 1.1 (pinned)

The following system packages will first need to be installed:
    pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18774 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.1.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:10.12 ---> using "0686843ae3c31f38ac5563a3bcd57d9eed648c8dbf66daffdc86057dfb09ccb3" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall saturn.0.4.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'saturn.0.4.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
saturn.0.4.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 4 packages
  - install domain_shims    0.1.0  [required by saturn]
  - install dune            3.13.1 [required by saturn]
  - install saturn          0.4.1
  - install saturn_lockfree 0.4.1  [required by saturn]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved dune.3.13.1  (cached)
-> retrieved saturn.0.4.1, saturn_lockfree.0.4.1  (cached)
-> installed dune.3.13.1
-> installed domain_shims.0.1.0
-> installed saturn_lockfree.0.4.1
-> installed saturn.0.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:11.00 ---> saved as "5b35ed7a7ab07f92d8a88cd6d97d558fff2caa3164e75652e30633caa95a9756"

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test saturn.0.4.1) || true"))
The following actions will be performed:
=== recompile 1 package
  - recompile saturn                     0.4.1
=== install 28 packages
  - install   alcotest                   1.7.0  [required by qcheck-alcotest]
  - install   astring                    0.8.5  [required by alcotest]
  - install   cmdliner                   1.2.0  [required by dscheck]
  - install   containers                 3.13.1 [required by dscheck]
  - install   cppo                       1.6.9  [required by yojson]
  - install   csexp                      1.5.2  [required by dune-configurator]
  - install   dscheck                    0.3.0  [required by saturn]
  - install   dune-configurator          3.13.1 [required by containers]
  - install   either                     1.0.0  [required by containers]
  - install   fmt                        0.9.0  [required by alcotest]
  - install   ocaml-syntax-shims         1.0.0  [required by alcotest]
  - install   ocamlbuild                 0.14.3 [required by fmt, astring, uutf]
  - install   ocamlfind                  1.9.6  [required by fmt, astring, uutf]
  - install   oseq                       0.5.1  [required by dscheck]
  - install   ounit2                     2.2.7  [required by qcheck-ounit]
  - install   qcheck                     0.21.3 [required by saturn]
  - install   qcheck-alcotest            0.21.3 [required by saturn]
  - install   qcheck-core                0.21.3 [required by qcheck-alcotest, qcheck, qcheck-stm]
  - install   qcheck-multicoretests-util 0.3    [required by qcheck-stm]
  - install   qcheck-ounit               0.21.3 [required by qcheck]
  - install   qcheck-stm                 0.3    [required by saturn]
  - install   re                         1.11.0 [required by alcotest]
  - install   seq                        base   [required by yojson]
  - install   stdlib-shims               0.3.0  [required by alcotest]
  - install   topkg                      1.0.7  [required by fmt, astring, uutf]
  - install   tsort                      2.1.0  [required by dscheck]
  - install   uutf                       1.0.3  [required by alcotest]
  - install   yojson                     2.1.2  [required by saturn]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.7.0  (https://github.com/mirage/alcotest/releases/download/1.7.0/alcotest-1.7.0.tbz)
-> retrieved astring.0.8.5  (https://erratique.ch/software/astring/releases/astring-0.8.5.tbz)
-> retrieved cmdliner.1.2.0  (https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz)
-> retrieved containers.3.13.1  (https://github.com/c-cube/ocaml-containers/releases/download/v3.13.1/containers-3.13.1.tbz)
-> retrieved cppo.1.6.9  (https://github.com/ocaml-community/cppo/archive/v1.6.9.tar.gz)
-> retrieved csexp.1.5.2  (https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz)
-> installed csexp.1.5.2
-> retrieved dscheck.0.3.0  (https://github.com/ocaml-multicore/dscheck/releases/download/0.3.0/dscheck-0.3.0.tbz)
-> installed cppo.1.6.9
-> retrieved dune-configurator.3.13.1  (https://github.com/ocaml/dune/releases/download/3.13.1/dune-3.13.1.tbz)
-> retrieved either.1.0.0  (https://github.com/mirage/either/releases/download/1.0.0/either-1.0.0.tbz)
-> retrieved fmt.0.9.0  (https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz)
-> installed cmdliner.1.2.0
-> installed either.1.0.0
-> retrieved ocaml-syntax-shims.1.0.0  (https://github.com/ocaml-ppx/ocaml-syntax-shims/releases/download/1.0.0/ocaml-syntax-shims-1.0.0.tbz)
-> retrieved ocamlbuild.0.14.3  (https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.3.tar.gz)
-> retrieved ocamlfind.1.9.6  (http://download.camlcity.org/download/findlib-1.9.6.tar.gz)
-> retrieved oseq.0.5.1  (https://github.com/c-cube/oseq/releases/download/v0.5.1/oseq-0.5.1.tbz)
-> installed ocaml-syntax-shims.1.0.0
-> retrieved ounit2.2.2.7  (https://github.com/gildor478/ounit/releases/download/v2.2.7/ounit-2.2.7.tbz)
-> installed dune-configurator.3.13.1
-> installed oseq.0.5.1
-> retrieved qcheck.0.21.3, qcheck-alcotest.0.21.3, qcheck-core.0.21.3, qcheck-ounit.0.21.3  (https://github.com/c-cube/qcheck/archive/v0.21.3.tar.gz)
-> retrieved qcheck-multicoretests-util.0.3, qcheck-stm.0.3  (https://github.com/ocaml-multicore/multicoretests/archive/0.3.tar.gz)
-> retrieved re.1.11.0  (https://github.com/ocaml/ocaml-re/releases/download/1.11.0/re-1.11.0.tbz)
-> retrieved saturn.0.4.1  (https://github.com/ocaml-multicore/saturn/releases/download/0.4.1/saturn-0.4.1.tbz)
-> installed seq.base
-> retrieved stdlib-shims.0.3.0  (https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz)
-> retrieved topkg.1.0.7  (https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz)
-> retrieved tsort.2.1.0  (https://github.com/dmbaturin/ocaml-tsort/archive/refs/tags/2.1.0.tar.gz)
-> retrieved uutf.1.0.3  (https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz)
-> installed qcheck-core.0.21.3
-> installed stdlib-shims.0.3.0
-> installed tsort.2.1.0
-> retrieved yojson.2.1.2  (https://github.com/ocaml-community/yojson/releases/download/2.1.2/yojson-2.1.2.tbz)
-> installed re.1.11.0
-> installed qcheck-multicoretests-util.0.3
-> installed ocamlfind.1.9.6
-> installed containers.3.13.1
-> installed qcheck-stm.0.3
-> installed ounit2.2.2.7
-> installed dscheck.0.3.0
-> installed qcheck-ounit.0.21.3
-> installed qcheck.0.21.3
-> installed yojson.2.1.2
-> removed   saturn.0.4.1
-> installed ocamlbuild.0.14.3
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed alcotest.1.7.0
-> installed qcheck-alcotest.0.21.3
-> installed saturn.0.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:14.13 ---> saved as "5f8b5140f7a93a26af890042e34afa5c6defcc47e7e31f68cf70cf8962d9fe29"

/home/opam: (run (shell  "opam reinstall --with-test --verbose saturn.0.4.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'saturn.0.4.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
The following actions will be performed:
=== recompile 1 package
  - recompile saturn 0.4.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4:
-> retrieved saturn.0.4.1  (cached)
Processing  2/4: [saturn: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "saturn" "-j" "31" "@install" "@runtest" (CWD=/home/opam/.opam/5.1/.opam-switch/build/saturn.0.4.1)
- (cd _build/default/test/spsc_queue && ./test_spsc_queue.exe)
- test_spsc_queue_empty: ok
- test_spsc_queue_full: ok
- test_spsc_queue_parallel: ok (transferred = 100000)
- (cd _build/default/test/ws_deque && ./test_ws_deque.exe)
- test_exit: ok
- test_push_and_pop: ok
- test_push_and_steal: ok
- test_concurrent_workload: ok (pushed = 100000, popped = 93699, stolen = 6301)
- (cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
- qcheck random seed: 282370488
- Testing `Treiber_stack'.
- This run has ID `BGU46MZK'.
- 
-   [OK]          test_sequential            0   push.
-   [OK]          test_sequential            1   push_pop_until_empty.
-   [OK]          test_sequential            2   lifo.
-   [OK]          one_cons_one_prod          0   parallel.
-   [OK]          two_domains                0   parallel_pop_push.
-   [OK]          two_domains                1   parallel_pop_push_random.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/treiber_stack/_build/_tests/Treiber_stack'.
- Test Successful in 0.242s. 6 tests run.
- (cd _build/default/test/mpsc_queue && ./mpsc_queue_dscheck.exe)
- Testing `mpsc_queue_dscheck'.
- This run has ID `FV0BFRET'.
- 
-   [OK]          basic          0   1-producer-1-consumer.
-   [OK]          basic          1   1-producer-1-consumer-peek.
-   [OK]          basic          2   2-producers.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/mpsc_queue/_build/_tests/mpsc_queue_dscheck'.
- Test Successful in 0.029s. 3 tests run.
- (cd _build/default/test/ws_deque && ./ws_deque_dscheck.exe)
- Testing `ws_deque_dscheck'.
- This run has ID `92N0DUJS'.
- 
-   [OK]          basic          0   1-owner-1-stealer.
-   [OK]          basic          1   1-pusher-2-stealers.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/ws_deque/_build/_tests/ws_deque_dscheck'.
- Test Successful in 0.005s. 2 tests run.
- (cd _build/default/test/michael_scott_queue && ./michael_scott_queue_dscheck.exe)
- Testing `michael_scott_queue_dscheck'.
- This run has ID `EZDOJY07'.
- 
-   [OK]          basic          0   1-producer-1-consumer.
-   [OK]          basic          1   1-producer-1-consumer-peek.
-   [OK]          basic          2   2-producers.
-   [OK]          basic          3   2-domains.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/michael_scott_queue/_build/_tests/michael_scott_queue_dscheck'.
- Test Successful in 0.045s. 4 tests run.
- (cd _build/default/test/spsc_queue && ./spsc_queue_dscheck.exe)
- Testing `Spsc_queue_dscheck'.
- This run has ID `81HJW6NT'.
- 
-   [OK]          basic                 0   simple-test.
-   [OK]          wrap-arounds          0   shift-by-1.
-   [OK]          wrap-arounds          1   shift-by-6.
-   [OK]          wrap-arounds          2   shift-by-11.
-   [OK]          size                  0   linearizes-with-1-thr.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/spsc_queue/_build/_tests/Spsc_queue_dscheck'.
- Test Successful in 0.267s. 5 tests run.
- (cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe)
- qcheck random seed: 716369302
- Testing `Ws_deque'.
- This run has ID `U2TEKXPX'.
- 
-   [OK]          one_producer                       0   pops_are_in_order.
-   [OK]          one_producer                       1   pop_on_empty_deque_rai...
-   [OK]          one_producer_one_stealer           0   steals_are_in_order.
-   [OK]          one_producer_one_stealer           1   parallel_pushes_and_st...
-   [OK]          one_producer_one_stealer           2   parallel_pops_and_steals.
-   [OK]          one_producer_two_stealers          0   parallel_steals.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/ws_deque/_build/_tests/Ws_deque'.
- Test Successful in 0.557s. 6 tests run.
- (cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
- qcheck random seed: 987615795
- Testing `Spsc_queue'.
- This run has ID `7M1Z47CS'.
- 
-   [OK]          spsc_queue          0   seq_pop_opt_push.
-   [OK]          spsc_queue          1   seq_pop_push.
-   [OK]          spsc_queue          2   seq_pop_try_push.
-   [OK]          spsc_queue          3   par_pop_push.
-   [OK]          spsc_queue          4   push_full.
-   [OK]          spsc_queue          5   seq_peek_opt.
-   [OK]          spsc_queue          6   seq_peek.
-   [OK]          spsc_queue          7   par_peek_opt.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/spsc_queue/_build/_tests/Spsc_queue'.
- Test Successful in 0.563s. 8 tests run.
- (cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
- qcheck random seed: 155073497
- Testing `Michael_scott_queue'.
- This run has ID `FGSGMT3Z'.
- 
-   [OK]          test_sequential            0   push.
-   [OK]          test_sequential            1   push_pop_opt_until_empty.
-   [OK]          test_sequential            2   fifo.
-   [OK]          test_sequential            3   fifo_peek_opt.
-   [OK]          one_cons_one_prod          0   parallel_fifo.
-   [OK]          one_cons_one_prod          1   parallel_peek.
-   [OK]          two_domains                0   parallel_pop_opt_push.
-   [OK]          two_domains                1   parallel_pop_opt_push_random.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/michael_scott_queue/_build/_tests/Michael_scott_queue'.
- Test Successful in 0.566s. 8 tests run.
- (cd _build/default/test/treiber_stack && ./treiber_stack_dscheck.exe)
- Testing `treiber_stack_dscheck'.
- This run has ID `HLEODTV7'.
- 
-   [OK]          basic          0   1-producer-1-consumer.
-   [OK]          basic          1   2-producers.
-   [OK]          basic          2   2-consumers.
-   [OK]          basic          3   2-domains.
-   [OK]          basic          4   2-domains-more-pops.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/treiber_stack/_build/_tests/treiber_stack_dscheck'.
- Test Successful in 0.293s. 5 tests run.
- (cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
- qcheck random seed: 118731109
- Testing `Mpsc_queue'.
- This run has ID `50XZLYWE'.
- 
-   [OK]          one_consumer               0   push_head_pop_opt.
-   [OK]          one_consumer               1   push_head_pop.
-   [OK]          one_consumer               2   push_head_peek_opt.
-   [OK]          one_consumer               3   push_head_peek.
-   [OK]          one_consumer               4   pop_opt_empty.
-   [OK]          one_consumer               5   pop_empty.
-   [OK]          one_consumer               6   peek_opt_empty.
-   [OK]          one_consumer               7   peek_empty.
-   [OK]          one_consumer               8   push_head_not_empty.
-   [OK]          one_consumer               9   close_push_head.
-   [OK]          one_consumer              10   close_is_empty.
-   [OK]          one_consumer              11   close_pop_opt.
-   [OK]          one_consumer              12   pop_opt_order.
-   [OK]          one_consumer              13   seq_push_pop_opt.
-   [OK]          one_producer               0   push_not_empty.
-   [OK]          one_producer               1   closing_prevents_pushing.
-   [OK]          one_cons_one_prod          0   seq_push_pop_opt_peek_opt.
-   [OK]          one_cons_one_prod          1   par_push_pop.
-   [OK]          one_cons_one_prod          2   par_push_push_head.
-   [OK]          one_cons_one_prod          3   par_pop_opt_push2.
-   [OK]          one_cons_two_prod          0   par_push.
-   [OK]          one_cons_two_prod          1   par_push_close_pop_opt.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.
- Test Successful in 1.504s. 22 tests run.
- (cd _build/default/test/mpmc_relaxed_queue && ./test_mpmc_relaxed_queue.exe)
- Testing `Mpmc_queue'.
- This run has ID `OC4VTXQ0'.
- 
-   [OK]          single-thread                        0   is it a queue.
-   [OK]          validate items                       0   1 prod. 1 cons.
-   [OK]          validate indices under load          0    4 prod. 4 cons.
-   [OK]          validate indices under load          1    8 prod. 1 cons.
-   [OK]          validate indices under load          2    1 prod. 8 cons.
-   [OK]          single-thread-CAS-intf               0   is it a queue.
-   [OK]          validate items-CAS-intf              0   1 prod. 1 cons.
-   [OK]          single-thread-spinning               0   is it a queue.
-   [OK]          validate-items-spinning              0   1 prod. 1 cons.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/saturn.0.4.1/_build/default/test/mpmc_relaxed_queue/_build/_tests/Mpmc_queue'.
- Test Successful in 12.766s. 9 tests run.
- (cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe --verbose)
- 
random seed: 74802233
- generated error fail pass / total     time test name
- 
[ ]    0    0    0    0 /  500     0.0s STM Saturn.Treiber_stack test sequential
[ ]    0    0    0    0 /  500     0.0s STM Saturn.Treiber_stack test sequential (generating)
[ ]  412    0    0  412 /  500     0.1s STM Saturn.Treiber_stack test sequential
[✓]  500    0    0  500 /  500     0.1s STM Saturn.Treiber_stack test sequential
- 
[ ]    0    0    0    0 /  500     0.0s STM Saturn.Treiber_stack test parallel
[ ]    1    0    0    1 /  500     0.1s STM Saturn.Treiber_stack test parallel
[ ]    3    0    0    3 /  500     0.4s STM Saturn.Treiber_stack test parallel
[ ]    5    0    0    5 /  500     0.5s STM Saturn.Treiber_stack test parallel
[ ]    9    0    0    9 /  500     0.7s STM Saturn.Treiber_stack test parallel
[ ]   10    0    0   10 /  500     0.8s STM Saturn.Treiber_stack test parallel
[ ]   15    0    0   15 /  500     1.0s STM Saturn.Treiber_stack test parallel
[ ]   21    0    0   21 /  500     1.1s STM Saturn.Treiber_stack test parallel
[ ]   27    0    0   27 /  500     1.5s STM Saturn.Treiber_stack test parallel
[ ]   32    0    0   32 /  500     1.7s STM Saturn.Treiber_stack test parallel
[ ]   36    0    0   36 /  500     1.9s STM Saturn.Treiber_stack test parallel
[ ]   39    0    0   39 /  500     2.4s STM Saturn.Treiber_stack test parallel
[ ]   40    0    0   40 /  500     2.6s STM Saturn.Treiber_stack test parallel
[ ]   46    0    0   46 /  500     2.7s STM Saturn.Treiber_stack test parallel
[ ]   51    0    0   51 /  500     2.8s STM Saturn.Treiber_stack test parallel
[ ]   59    0    0   59 /  500     2.9s STM Saturn.Treiber_stack test parallel
[ ]   65    0    0   65 /  500     3.0s STM Saturn.Treiber_stack test parallel
[ ]   75    0    0   75 /  500     3.2s STM Saturn.Treiber_stack test parallel
[ ]   86    0    0   86 /  500     3.3s STM Saturn.Treiber_stack test parallel
[ ]   94    0    0   94 /  500     3.5s STM Saturn.Treiber_stack test parallel
[ ]   97    0    0   97 /  500     3.9s STM Saturn.Treiber_stack test parallel
[ ]  106    0    0  106 /  500     4.0s STM Saturn.Treiber_stack test parallel
[ ]  113    0    0  113 /  500     4.3s STM Saturn.Treiber_stack test parallel
[ ]  122    0    0  122 /  500     4.5s STM Saturn.Treiber_stack test parallel
[ ]  123    0    0  123 /  500     4.7s STM Saturn.Treiber_stack test parallel
[ ]  126    0    0  126 /  500     4.8s STM Saturn.Treiber_stack test parallel
[ ]  135    0    0  135 /  500     5.3s STM Saturn.Treiber_stack test parallel
[ ]  136    0    0  136 /  500     5.4s STM Saturn.Treiber_stack test parallel
[ ]  143    0    0  143 /  500     5.6s STM Saturn.Treiber_stack test parallel
[ ]  145    0    0  145 /  500     5.7s STM Saturn.Treiber_stack test parallel
[ ]  146    0    0  146 /  500     6.0s STM Saturn.Treiber_stack test parallel
[ ]  147    0    0  147 /  500     6.2s STM Saturn.Treiber_stack test parallel
[ ]  148    0    0  148 /  500     6.4s STM Saturn.Treiber_stack test parallel
[ ]  151    0    0  151 /  500     6.9s STM Saturn.Treiber_stack test parallel
[ ]  155    0    0  155 /  500     7.3s STM Saturn.Treiber_stack test parallel
[ ]  160    0    0  160 /  500     7.5s STM Saturn.Treiber_stack test parallel
[ ]  163    0    0  163 /  500     7.9s STM Saturn.Treiber_stack test parallel
[ ]  165    0    0  165 /  500     8.0s STM Saturn.Treiber_stack test parallel
[ ]  167    0    0  167 /  500     8.1s STM Saturn.Treiber_stack test parallel
[ ]  171    0    0  171 /  500     8.6s STM Saturn.Treiber_stack test parallel
[ ]  177    0    0  177 /  500     8.7s STM Saturn.Treiber_stack test parallel
[ ]  182    0    0  182 /  500     8.9s STM Saturn.Treiber_stack test parallel
[ ]  183    0    0  183 /  500     9.0s STM Saturn.Treiber_stack test parallel
[ ]  186    0    0  186 /  500     9.2s STM Saturn.Treiber_stack test parallel
[ ]  196    0    0  196 /  500     9.5s STM Saturn.Treiber_stack test parallel
[ ]  200    0    0  200 /  500     9.7s STM Saturn.Treiber_stack test parallel
[ ]  207    0    0  207 /  500    10.2s STM Saturn.Treiber_stack test parallel
[ ]  212    0    0  212 /  500    10.5s STM Saturn.Treiber_stack test parallel
[ ]  213    0    0  213 /  500    10.8s STM Saturn.Treiber_stack test parallel
[ ]  221    0    0  221 /  500    11.1s STM Saturn.Treiber_stack test parallel
[ ]  224    0    0  224 /  500    11.3s STM Saturn.Treiber_stack test parallel
[ ]  227    0    0  227 /  500    11.5s STM Saturn.Treiber_stack test parallel
[ ]  236    0    0  236 /  500    12.0s STM Saturn.Treiber_stack test parallel
[ ]  237    0    0  237 /  500    12.4s STM Saturn.Treiber_stack test parallel
[ ]  242    0    0  242 /  500    12.8s STM Saturn.Treiber_stack test parallel
[ ]  249    0    0  249 /  500    12.9s STM Saturn.Treiber_stack test parallel
[ ]  259    0    0  259 /  500    13.3s STM Saturn.Treiber_stack test parallel
[ ]  265    0    0  265 /  500    13.5s STM Saturn.Treiber_stack test parallel
[ ]  267    0    0  267 /  500    13.6s STM Saturn.Treiber_stack test parallel
[ ]  268    0    0  268 /  500    13.8s STM Saturn.Treiber_stack test parallel
[ ]  270    0    0  270 /  500    14.2s STM Saturn.Treiber_stack test parallel
[ ]  271    0    0  271 /  500    14.4s STM Saturn.Treiber_stack test parallel
[ ]  273    0    0  273 /  500    14.7s STM Saturn.Treiber_stack test parallel
[ ]  280    0    0  280 /  500    15.1s STM Saturn.Treiber_stack test parallel
[ ]  287    0    0  287 /  500    15.3s STM Saturn.Treiber_stack test parallel
[ ]  299    0    0  299 /  500    15.4s STM Saturn.Treiber_stack test parallel
[ ]  310    0    0  310 /  500    15.5s STM Saturn.Treiber_stack test parallel
[ ]  320    0    0  320 /  500    15.6s STM Saturn.Treiber_stack test parallel
[ ]  321    0    0  321 /  500    16.0s STM Saturn.Treiber_stack test parallel
[ ]  328    0    0  328 /  500    16.1s STM Saturn.Treiber_stack test parallel
[ ]  333    0    0  333 /  500    16.2s STM Saturn.Treiber_stack test parallel
[ ]  339    0    0  339 /  500    16.3s STM Saturn.Treiber_stack test parallel
[ ]  352    0    0  352 /  500    16.6s STM Saturn.Treiber_stack test parallel
[ ]  355    0    0  355 /  500    17.0s STM Saturn.Treiber_stack test parallel
[ ]  362    0    0  362 /  500    17.2s STM Saturn.Treiber_stack test parallel
[ ]  368    0    0  368 /  500    17.3s STM Saturn.Treiber_stack test parallel
[ ]  375    0    0  375 /  500    17.7s STM Saturn.Treiber_stack test parallel
[ ]  378    0    0  378 /  500    17.9s STM Saturn.Treiber_stack test parallel
[ ]  382    0    0  382 /  500    18.3s STM Saturn.Treiber_stack test parallel
[ ]  387    0    0  387 /  500    18.4s STM Saturn.Treiber_stack test parallel
[ ]  392    0    0  392 /  500    18.5s STM Saturn.Treiber_stack test parallel
[ ]  398    0    0  398 /  500    18.7s STM Saturn.Treiber_stack test parallel
[ ]  399    0    0  399 /  500    18.8s STM Saturn.Treiber_stack test parallel
[ ]  401    0    0  401 /  500    19.0s STM Saturn.Treiber_stack test parallel
[ ]  403    0    0  403 /  500    19.1s STM Saturn.Treiber_stack test parallel
[ ]  410    0    0  410 /  500    19.2s STM Saturn.Treiber_stack test parallel
[ ]  416    0    0  416 /  500    19.3s STM Saturn.Treiber_stack test parallel
[ ]  424    0    0  424 /  500    19.6s STM Saturn.Treiber_stack test parallel
[ ]  433    0    0  433 /  500    19.7s STM Saturn.Treiber_stack test parallel
[ ]  445    0    0  445 /  500    19.8s STM Saturn.Treiber_stack test parallel
[ ]  450    0    0  450 /  500    20.0s STM Saturn.Treiber_stack test parallel
[ ]  452    0    0  452 /  500    20.1s STM Saturn.Treiber_stack test parallel
[ ]  455    0    0  455 /  500    20.3s STM Saturn.Treiber_stack test parallel
[ ]  460    0    0  460 /  500    20.4s STM Saturn.Treiber_stack test parallel
[ ]  462    0    0  462 /  500    20.9s STM Saturn.Treiber_stack test parallel
[ ]  471    0    0  471 /  500    21.0s STM Saturn.Treiber_stack test parallel
[ ]  473    0    0  473 /  500    21.1s STM Saturn.Treiber_stack test parallel
[ ]  476    0    0  476 /  500    21.2s STM Saturn.Treiber_stack test parallel
[ ]  478    0    0  478 /  500    21.3s STM Saturn.Treiber_stack test parallel
[ ]  481    0    0  481 /  500    21.8s STM Saturn.Treiber_stack test parallel
[ ]  488    0    0  488 /  500    21.9s STM Saturn.Treiber_stack test parallel
[ ]  497    0    0  497 /  500    22.0s STM Saturn.Treiber_stack test parallel
[✓]  500    0    0  500 /  500    22.0s STM Saturn.Treiber_stack test parallel
- ================================================================================
- success (ran 2 tests)
- (cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe --verbose)
- 
random seed: 23461177
- generated error fail pass / total     time test name
- 
[ ]    0    0    0    0 /  500     0.0s STM Saturn.Michael_scott_queue test sequential
[ ]    0    0    0    0 /  500     0.0s STM Saturn.Michael_scott_queue test sequential (generating)
[ ]  231    0    0  231 /  500     0.1s STM Saturn.Michael_scott_queue test sequential (collecting)
[✓]  500    0    0  500 /  500     0.2s STM Saturn.Michael_scott_queue test sequential
- 
[ ]    0    0    0    0 /  500     0.0s STM Saturn.Michael_scott_queue test parallel
[ ]    1    0    0    1 /  500     0.0s STM Saturn.Michael_scott_queue test parallel
[ ]    3    0    0    3 /  500     0.2s STM Saturn.Michael_scott_queue test parallel
[ ]    9    0    0    9 /  500     0.4s STM Saturn.Michael_scott_queue test parallel
[ ]   10    0    0   10 /  500     0.6s STM Saturn.Michael_scott_queue test parallel
[ ]   11    0    0   11 /  500     0.7s STM Saturn.Michael_scott_queue test parallel
[ ]   14    0    0   14 /  500     1.0s STM Saturn.Michael_scott_queue test parallel
[ ]   21    0    0   21 /  500     1.1s STM Saturn.Michael_scott_queue test parallel
[ ]   23    0    0   23 /  500     1.3s STM Saturn.Michael_scott_queue test parallel
[ ]   31    0    0   31 /  500     1.8s STM Saturn.Michael_scott_queue test parallel
[ ]   41    0    0   41 /  500     1.9s STM Saturn.Michael_scott_queue test parallel
[ ]   47    0    0   47 /  500     2.1s STM Saturn.Michael_scott_queue test parallel
[ ]   55    0    0   55 /  500     2.3s STM Saturn.Michael_scott_queue test parallel
[ ]   61    0    0   61 /  500     2.4s STM Saturn.Michael_scott_queue test parallel
[ ]   62    0    0   62 /  500     2.6s STM Saturn.Michael_scott_queue test parallel
[ ]   68    0    0   68 /  500     2.8s STM Saturn.Michael_scott_queue test parallel
[ ]   70    0    0   70 /  500     3.4s STM Saturn.Michael_scott_queue test parallel
[ ]   78    0    0   78 /  500     3.6s STM Saturn.Michael_scott_queue test parallel
[ ]   81    0    0   81 /  500     4.0s STM Saturn.Michael_scott_queue test parallel
[ ]   83    0    0   83 /  500     4.4s STM Saturn.Michael_scott_queue test parallel
[ ]   92    0    0   92 /  500     4.5s STM Saturn.Michael_scott_queue test parallel
[ ]   97    0    0   97 /  500     4.8s STM Saturn.Michael_scott_queue test parallel
[ ]  104    0    0  104 /  500     5.0s STM Saturn.Michael_scott_queue test parallel
[ ]  107    0    0  107 /  500     5.1s STM Saturn.Michael_scott_queue test parallel
[ ]  114    0    0  114 /  500     5.2s STM Saturn.Michael_scott_queue test parallel
[ ]  118    0    0  118 /  500     5.3s STM Saturn.Michael_scott_queue test parallel
[ ]  120    0    0  120 /  500     5.6s STM Saturn.Michael_scott_queue test parallel
[ ]  123    0    0  123 /  500     6.0s STM Saturn.Michael_scott_queue test parallel
[ ]  129    0    0  129 /  500     6.1s STM Saturn.Michael_scott_queue test parallel
[ ]  136    0    0  136 /  500     6.5s STM Saturn.Michael_scott_queue test parallel
[ ]  139    0    0  139 /  500     6.6s STM Saturn.Michael_scott_queue test parallel
[ ]  145    0    0  145 /  500     6.7s STM Saturn.Michael_scott_queue test parallel
[ ]  148    0    0  148 /  500     6.9s STM Saturn.Michael_scott_queue test parallel
[ ]  151    0    0  151 /  500     7.2s STM Saturn.Michael_scott_queue test parallel
[ ]  158    0    0  158 /  500     7.6s STM Saturn.Michael_scott_queue test parallel
[ ]  162    0    0  162 /  500     7.7s STM Saturn.Michael_scott_queue test parallel
[ ]  166    0    0  166 /  500     7.9s STM Saturn.Michael_scott_queue test parallel
[ ]  170    0    0  170 /  500     8.0s STM Saturn.Michael_scott_queue test parallel
[ ]  177    0    0  177 /  500     8.1s STM Saturn.Michael_scott_queue test parallel
[ ]  181    0    0  181 /  500     8.2s STM Saturn.Michael_scott_queue test parallel
[ ]  185    0    0  185 /  500     8.3s STM Saturn.Michael_scott_queue test parallel
[ ]  191    0    0  191 /  500     8.4s STM Saturn.Michael_scott_queue test parallel
[ ]  197    0    0  197 /  500     8.6s STM Saturn.Michael_scott_queue test parallel
[ ]  200    0    0  200 /  500     8.7s STM Saturn.Michael_scott_queue test parallel
[ ]  207    0    0  207 /  500     9.1s STM Saturn.Michael_scott_queue test parallel
[ ]  214    0    0  214 /  500     9.2s STM Saturn.Michael_scott_queue test parallel
[ ]  217    0    0  217 /  500     9.3s STM Saturn.Michael_scott_queue test parallel
[ ]  223    0    0  223 /  500     9.4s STM Saturn.Michael_scott_queue test parallel
[ ]  231    0    0  231 /  500     9.6s STM Saturn.Michael_scott_queue test parallel
[ ]  232    0    0  232 /  500     9.8s STM Saturn.Michael_scott_queue test parallel
[ ]  240    0    0  240 /  500    10.0s STM Saturn.Michael_scott_queue test parallel
[ ]  245    0    0  245 /  500    10.5s STM Saturn.Michael_scott_queue test parallel
[ ]  246    0    0  246 /  500    10.6s STM Saturn.Michael_scott_queue test parallel
[ ]  250    0    0  250 /  500    10.8s STM Saturn.Michael_scott_queue test parallel
[ ]  255    0    0  255 /  500    11.4s STM Saturn.Michael_scott_queue test parallel
[ ]  263    0    0  263 /  500    11.8s STM Saturn.Michael_scott_queue test parallel
[ ]  275    0    0  275 /  500    11.9s STM Saturn.Michael_scott_queue test parallel
[ ]  279    0    0  279 /  500    12.1s STM Saturn.Michael_scott_queue test parallel
[ ]  283    0    0  283 /  500    12.2s STM Saturn.Michael_scott_queue test parallel
[ ]  289    0    0  289 /  500    12.4s STM Saturn.Michael_scott_queue test parallel
[ ]  294    0    0  294 /  500    12.6s STM Saturn.Michael_scott_queue test parallel
[ ]  299    0    0  299 /  500    12.7s STM Saturn.Michael_scott_queue test parallel
[ ]  300    0    0  300 /  500    13.1s STM Saturn.Michael_scott_queue test parallel
[ ]  301    0    0  301 /  500    13.5s STM Saturn.Michael_scott_queue test parallel
[ ]  302    0    0  302 /  500    13.6s STM Saturn.Michael_scott_queue test parallel
[ ]  306    0    0  306 /  500    13.9s STM Saturn.Michael_scott_queue test parallel
[ ]  311    0    0  311 /  500    14.3s STM Saturn.Michael_scott_queue test parallel
[ ]  317    0    0  317 /  500    14.4s STM Saturn.Michael_scott_queue test parallel
[ ]  322    0    0  322 /  500    14.5s STM Saturn.Michael_scott_queue test parallel
[ ]  328    0    0  328 /  500    14.6s STM Saturn.Michael_scott_queue test parallel
[ ]  335    0    0  335 /  500    14.8s STM Saturn.Michael_scott_queue test parallel
[ ]  337    0    0  337 /  500    14.9s STM Saturn.Michael_scott_queue test parallel
[ ]  338    0    0  338 /  500    15.0s STM Saturn.Michael_scott_queue test parallel
[ ]  339    0    0  339 /  500    15.2s STM Saturn.Michael_scott_queue test parallel
[ ]  347    0    0  347 /  500    15.6s STM Saturn.Michael_scott_queue test parallel
[ ]  353    0    0  353 /  500    15.8s STM Saturn.Michael_scott_queue test parallel
[ ]  358    0    0  358 /  500    16.0s STM Saturn.Michael_scott_queue test parallel
[ ]  365    0    0  365 /  500    16.2s STM Saturn.Michael_scott_queue test parallel
[ ]  373    0    0  373 /  500    16.4s STM Saturn.Michael_scott_queue test parallel
[ ]  381    0    0  381 /  500    16.5s STM Saturn.Michael_scott_queue test parallel
[ ]  389    0    0  389 /  500    16.6s STM Saturn.Michael_scott_queue test parallel
[ ]  394    0    0  394 /  500    16.9s STM Saturn.Michael_scott_queue test parallel
[ ]  396    0    0  396 /  500    17.4s STM Saturn.Michael_scott_queue test parallel
[ ]  398    0    0  398 /  500    17.8s STM Saturn.Michael_scott_queue test parallel
[ ]  400    0    0  400 /  500    18.2s STM Saturn.Michael_scott_queue test parallel
[ ]  401    0    0  401 /  500    18.7s STM Saturn.Michael_scott_queue test parallel
[ ]  410    0    0  410 /  500    18.8s STM Saturn.Michael_scott_queue test parallel
[ ]  416    0    0  416 /  500    19.1s STM Saturn.Michael_scott_queue test parallel
[ ]  417    0    0  417 /  500    19.3s STM Saturn.Michael_scott_queue test parallel
[ ]  419    0    0  419 /  500    19.9s STM Saturn.Michael_scott_queue test parallel
[ ]  426    0    0  426 /  500    20.0s STM Saturn.Michael_scott_queue test parallel
[ ]  431    0    0  431 /  500    20.3s STM Saturn.Michael_scott_queue test parallel
[ ]  437    0    0  437 /  500    20.8s STM Saturn.Michael_scott_queue test parallel
[ ]  440    0    0  440 /  500    21.0s STM Saturn.Michael_scott_queue test parallel
[ ]  442    0    0  442 /  500    21.4s STM Saturn.Michael_scott_queue test parallel
[ ]  451    0    0  451 /  500    21.7s STM Saturn.Michael_scott_queue test parallel
[ ]  453    0    0  453 /  500    21.9s STM Saturn.Michael_scott_queue test parallel
[ ]  460    0    0  460 /  500    22.0s STM Saturn.Michael_scott_queue test parallel
[ ]  468    0    0  468 /  500    22.1s STM Saturn.Michael_scott_queue test parallel
[ ]  475    0    0  475 /  500    22.6s STM Saturn.Michael_scott_queue test parallel
[ ]  482    0    0  482 /  500    22.7s STM Saturn.Michael_scott_queue test parallel
[ ]  485    0    0  485 /  500    22.8s STM Saturn.Michael_scott_queue test parallel
[ ]  491    0    0  491 /  500    23.3s STM Saturn.Michael_scott_queue test parallel
[ ]  498    0    0  498 /  500    23.7s STM Saturn.Michael_scott_queue test parallel
[ ]  500    0    0  500 /  500    23.9s STM Saturn.Michael_scott_queue test parallel
[✓]  500    0    0  500 /  500    23.9s STM Saturn.Michael_scott_queue test parallel
- ================================================================================
- success (ran 2 tests)
- (cd _build/default/test/ws_deque && ./stm_ws_deque.exe --verbose)
- 
random seed: 426459230
- generated error fail pass / total     time test name
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Ws_deque test sequential
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Ws_deque test sequential (generating)
[ ]  378    0    0  378 / 1000     0.1s STM Saturn.Ws_deque test sequential (collecting)
[ ]  846    0    0  846 / 1000     0.2s STM Saturn.Ws_deque test sequential (collecting)
[✓] 1000    0    0 1000 / 1000     0.2s STM Saturn.Ws_deque test sequential
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Ws_deque test parallel
[ ]    3    0    0    3 / 1000     0.1s STM Saturn.Ws_deque test parallel
[ ]    7    0    0    7 / 1000     0.2s STM Saturn.Ws_deque test parallel
[ ]   11    0    0   11 / 1000     0.3s STM Saturn.Ws_deque test parallel
[ ]   16    0    0   16 / 1000     0.5s STM Saturn.Ws_deque test parallel
[ ]   19    0    0   19 / 1000     0.7s STM Saturn.Ws_deque test parallel
[ ]   20    0    0   20 / 1000     1.1s STM Saturn.Ws_deque test parallel
[ ]   27    0    0   27 / 1000     1.3s STM Saturn.Ws_deque test parallel
[ ]   41    0    0   41 / 1000     1.5s STM Saturn.Ws_deque test parallel
[ ]   51    0    0   51 / 1000     1.6s STM Saturn.Ws_deque test parallel
[ ]   54    0    0   54 / 1000     1.7s STM Saturn.Ws_deque test parallel
[ ]   65    0    0   65 / 1000     1.8s STM Saturn.Ws_deque test parallel
[ ]   75    0    0   75 / 1000     1.9s STM Saturn.Ws_deque test parallel
[ ]   80    0    0   80 / 1000     2.2s STM Saturn.Ws_deque test parallel
[ ]   89    0    0   89 / 1000     2.4s STM Saturn.Ws_deque test parallel
[ ]   99    0    0   99 / 1000     2.5s STM Saturn.Ws_deque test parallel
[ ]  102    0    0  102 / 1000     2.7s STM Saturn.Ws_deque test parallel
[ ]  111    0    0  111 / 1000     3.2s STM Saturn.Ws_deque test parallel
[ ]  114    0    0  114 / 1000     3.5s STM Saturn.Ws_deque test parallel
[ ]  121    0    0  121 / 1000     3.9s STM Saturn.Ws_deque test parallel
[ ]  136    0    0  136 / 1000     4.0s STM Saturn.Ws_deque test parallel
[ ]  138    0    0  138 / 1000     4.4s STM Saturn.Ws_deque test parallel
[ ]  150    0    0  150 / 1000     4.5s STM Saturn.Ws_deque test parallel
[ ]  154    0    0  154 / 1000     4.9s STM Saturn.Ws_deque test parallel
[ ]  166    0    0  166 / 1000     5.1s STM Saturn.Ws_deque test parallel
[ ]  179    0    0  179 / 1000     5.2s STM Saturn.Ws_deque test parallel
[ ]  185    0    0  185 / 1000     5.5s STM Saturn.Ws_deque test parallel
[ ]  188    0    0  188 / 1000     6.0s STM Saturn.Ws_deque test parallel
[ ]  189    0    0  189 / 1000     6.2s STM Saturn.Ws_deque test parallel
[ ]  196    0    0  196 / 1000     6.3s STM Saturn.Ws_deque test parallel
[ ]  200    0    0  200 / 1000     6.7s STM Saturn.Ws_deque test parallel
[ ]  203    0    0  203 / 1000     7.2s STM Saturn.Ws_deque test parallel
[ ]  204    0    0  204 / 1000     7.3s STM Saturn.Ws_deque test parallel
[ ]  213    0    0  213 / 1000     7.4s STM Saturn.Ws_deque test parallel
[ ]  219    0    0  219 / 1000     7.6s STM Saturn.Ws_deque test parallel
[ ]  223    0    0  223 / 1000     7.7s STM Saturn.Ws_deque test parallel
[ ]  225    0    0  225 / 1000     7.9s STM Saturn.Ws_deque test parallel
[ ]  226    0    0  226 / 1000     8.1s STM Saturn.Ws_deque test parallel
[ ]  231    0    0  231 / 1000     8.2s STM Saturn.Ws_deque test parallel
[ ]  237    0    0  237 / 1000     8.3s STM Saturn.Ws_deque test parallel
[ ]  239    0    0  239 / 1000     8.5s STM Saturn.Ws_deque test parallel
[ ]  248    0    0  248 / 1000     8.8s STM Saturn.Ws_deque test parallel
[ ]  254    0    0  254 / 1000     8.9s STM Saturn.Ws_deque test parallel
[ ]  258    0    0  258 / 1000     9.0s STM Saturn.Ws_deque test parallel
[ ]  268    0    0  268 / 1000     9.1s STM Saturn.Ws_deque test parallel
[ ]  273    0    0  273 / 1000     9.5s STM Saturn.Ws_deque test parallel
[ ]  277    0    0  277 / 1000     9.8s STM Saturn.Ws_deque test parallel
[ ]  287    0    0  287 / 1000    10.0s STM Saturn.Ws_deque test parallel
[ ]  296    0    0  296 / 1000    10.1s STM Saturn.Ws_deque test parallel
[ ]  297    0    0  297 / 1000    10.3s STM Saturn.Ws_deque test parallel
[ ]  305    0    0  305 / 1000    10.4s STM Saturn.Ws_deque test parallel
[ ]  316    0    0  316 / 1000    10.6s STM Saturn.Ws_deque test parallel
[ ]  324    0    0  324 / 1000    10.8s STM Saturn.Ws_deque test parallel
[ ]  330    0    0  330 / 1000    11.0s STM Saturn.Ws_deque test parallel
[ ]  336    0    0  336 / 1000    11.4s STM Saturn.Ws_deque test parallel
[ ]  339    0    0  339 / 1000    11.5s STM Saturn.Ws_deque test parallel
[ ]  340    0    0  340 / 1000    11.8s STM Saturn.Ws_deque test parallel
[ ]  352    0    0  352 / 1000    12.0s STM Saturn.Ws_deque test parallel
[ ]  367    0    0  367 / 1000    12.1s STM Saturn.Ws_deque test parallel
[ ]  372    0    0  372 / 1000    12.5s STM Saturn.Ws_deque test parallel
[ ]  374    0    0  374 / 1000    12.6s STM Saturn.Ws_deque test parallel
[ ]  380    0    0  380 / 1000    12.7s STM Saturn.Ws_deque test parallel
[ ]  395    0    0  395 / 1000    12.8s STM Saturn.Ws_deque test parallel
[ ]  406    0    0  406 / 1000    12.9s STM Saturn.Ws_deque test parallel
[ ]  422    0    0  422 / 1000    13.1s STM Saturn.Ws_deque test parallel
[ ]  424    0    0  424 / 1000    13.2s STM Saturn.Ws_deque test parallel
[ ]  429    0    0  429 / 1000    13.7s STM Saturn.Ws_deque test parallel
[ ]  433    0    0  433 / 1000    13.9s STM Saturn.Ws_deque test parallel
[ ]  435    0    0  435 / 1000    14.0s STM Saturn.Ws_deque test parallel
[ ]  443    0    0  443 / 1000    14.1s STM Saturn.Ws_deque test parallel
[ ]  444    0    0  444 / 1000    14.3s STM Saturn.Ws_deque test parallel
[ ]  457    0    0  457 / 1000    14.5s STM Saturn.Ws_deque test parallel
[ ]  467    0    0  467 / 1000    14.6s STM Saturn.Ws_deque test parallel
[ ]  475    0    0  475 / 1000    14.7s STM Saturn.Ws_deque test parallel
[ ]  488    0    0  488 / 1000    14.8s STM Saturn.Ws_deque test parallel
[ ]  493    0    0  493 / 1000    14.9s STM Saturn.Ws_deque test parallel
[ ]  495    0    0  495 / 1000    15.3s STM Saturn.Ws_deque test parallel
[ ]  496    0    0  496 / 1000    15.6s STM Saturn.Ws_deque test parallel
[ ]  501    0    0  501 / 1000    15.9s STM Saturn.Ws_deque test parallel
[ ]  503    0    0  503 / 1000    16.3s STM Saturn.Ws_deque test parallel
[ ]  516    0    0  516 / 1000    16.5s STM Saturn.Ws_deque test parallel
[ ]  525    0    0  525 / 1000    16.6s STM Saturn.Ws_deque test parallel
[ ]  531    0    0  531 / 1000    17.0s STM Saturn.Ws_deque test parallel
[ ]  534    0    0  534 / 1000    17.1s STM Saturn.Ws_deque test parallel
[ ]  538    0    0  538 / 1000    17.2s STM Saturn.Ws_deque test parallel
[ ]  545    0    0  545 / 1000    17.4s STM Saturn.Ws_deque test parallel
[ ]  549    0    0  549 / 1000    17.7s STM Saturn.Ws_deque test parallel
[ ]  560    0    0  560 / 1000    17.8s STM Saturn.Ws_deque test parallel
[ ]  564    0    0  564 / 1000    18.0s STM Saturn.Ws_deque test parallel
[ ]  568    0    0  568 / 1000    18.2s STM Saturn.Ws_deque test parallel
[ ]  578    0    0  578 / 1000    18.6s STM Saturn.Ws_deque test parallel
[ ]  580    0    0  580 / 1000    18.9s STM Saturn.Ws_deque test parallel
[ ]  584    0    0  584 / 1000    19.1s STM Saturn.Ws_deque test parallel
[ ]  593    0    0  593 / 1000    19.2s STM Saturn.Ws_deque test parallel
[ ]  602    0    0  602 / 1000    19.4s STM Saturn.Ws_deque test parallel
[ ]  605    0    0  605 / 1000    19.5s STM Saturn.Ws_deque test parallel
[ ]  623    0    0  623 / 1000    19.6s STM Saturn.Ws_deque test parallel
[ ]  635    0    0  635 / 1000    19.7s STM Saturn.Ws_deque test parallel
[ ]  638    0    0  638 / 1000    20.1s STM Saturn.Ws_deque test parallel
[ ]  649    0    0  649 / 1000    20.2s STM Saturn.Ws_deque test parallel
[ ]  650    0    0  650 / 1000    20.5s STM Saturn.Ws_deque test parallel
[ ]  653    0    0  653 / 1000    20.6s STM Saturn.Ws_deque test parallel
[ ]  654    0    0  654 / 1000    20.8s STM Saturn.Ws_deque test parallel
[ ]  659    0    0  659 / 1000    21.0s STM Saturn.Ws_deque test parallel
[ ]  666    0    0  666 / 1000    21.2s STM Saturn.Ws_deque test parallel
[ ]  673    0    0  673 / 1000    21.3s STM Saturn.Ws_deque test parallel
[ ]  679    0    0  679 / 1000    21.4s STM Saturn.Ws_deque test parallel
[ ]  691    0    0  691 / 1000    21.8s STM Saturn.Ws_deque test parallel
[ ]  697    0    0  697 / 1000    22.0s STM Saturn.Ws_deque test parallel
[ ]  704    0    0  704 / 1000    22.2s STM Saturn.Ws_deque test parallel
[ ]  710    0    0  710 / 1000    22.3s STM Saturn.Ws_deque test parallel
[ ]  718    0    0  718 / 1000    22.4s STM Saturn.Ws_deque test parallel
[ ]  726    0    0  726 / 1000    22.6s STM Saturn.Ws_deque test parallel
[ ]  733    0    0  733 / 1000    22.8s STM Saturn.Ws_deque test parallel
[ ]  750    0    0  750 / 1000    22.9s STM Saturn.Ws_deque test parallel
[ ]  759    0    0  759 / 1000    23.0s STM Saturn.Ws_deque test parallel
[ ]  764    0    0  764 / 1000    23.1s STM Saturn.Ws_deque test parallel
[ ]  767    0    0  767 / 1000    23.3s STM Saturn.Ws_deque test parallel
[ ]  770    0    0  770 / 1000    23.4s STM Saturn.Ws_deque test parallel
[ ]  781    0    0  781 / 1000    23.6s STM Saturn.Ws_deque test parallel
[ ]  788    0    0  788 / 1000    23.8s STM Saturn.Ws_deque test parallel
[ ]  802    0    0  802 / 1000    23.9s STM Saturn.Ws_deque test parallel
[ ]  808    0    0  808 / 1000    24.1s STM Saturn.Ws_deque test parallel
[ ]  822    0    0  822 / 1000    24.3s STM Saturn.Ws_deque test parallel
[ ]  829    0    0  829 / 1000    24.4s STM Saturn.Ws_deque test parallel
[ ]  832    0    0  832 / 1000    24.5s STM Saturn.Ws_deque test parallel
[ ]  834    0    0  834 / 1000    24.8s STM Saturn.Ws_deque test parallel
[ ]  850    0    0  850 / 1000    24.9s STM Saturn.Ws_deque test parallel
[ ]  853    0    0  853 / 1000    25.1s STM Saturn.Ws_deque test parallel
[ ]  865    0    0  865 / 1000    25.2s STM Saturn.Ws_deque test parallel
[ ]  872    0    0  872 / 1000    25.5s STM Saturn.Ws_deque test parallel
[ ]  878    0    0  878 / 1000    25.7s STM Saturn.Ws_deque test parallel
[ ]  886    0    0  886 / 1000    25.8s STM Saturn.Ws_deque test parallel
[ ]  891    0    0  891 / 1000    25.9s STM Saturn.Ws_deque test parallel
[ ]  903    0    0  903 / 1000    26.1s STM Saturn.Ws_deque test parallel
[ ]  906    0    0  906 / 1000    26.2s STM Saturn.Ws_deque test parallel
[ ]  907    0    0  907 / 1000    26.5s STM Saturn.Ws_deque test parallel
[ ]  916    0    0  916 / 1000    26.8s STM Saturn.Ws_deque test parallel
[ ]  922    0    0  922 / 1000    27.0s STM Saturn.Ws_deque test parallel
[ ]  929    0    0  929 / 1000    27.4s STM Saturn.Ws_deque test parallel
[ ]  937    0    0  937 / 1000    27.5s STM Saturn.Ws_deque test parallel
[ ]  941    0    0  941 / 1000    27.6s STM Saturn.Ws_deque test parallel
[ ]  944    0    0  944 / 1000    27.8s STM Saturn.Ws_deque test parallel
[ ]  945    0    0  945 / 1000    28.1s STM Saturn.Ws_deque test parallel
[ ]  949    0    0  949 / 1000    28.2s STM Saturn.Ws_deque test parallel
[ ]  951    0    0  951 / 1000    28.5s STM Saturn.Ws_deque test parallel
[ ]  969    0    0  969 / 1000    28.6s STM Saturn.Ws_deque test parallel
[ ]  979    0    0  979 / 1000    28.7s STM Saturn.Ws_deque test parallel
[ ]  985    0    0  985 / 1000    28.9s STM Saturn.Ws_deque test parallel
[ ]  986    0    0  986 / 1000    29.2s STM Saturn.Ws_deque test parallel
[ ]  992    0    0  992 / 1000    29.3s STM Saturn.Ws_deque test parallel
[ ]  996    0    0  996 / 1000    29.5s STM Saturn.Ws_deque test parallel
[✓] 1000    0    0 1000 / 1000    29.5s STM Saturn.Ws_deque test parallel
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Ws_deque test parallel, negative
[ ]    0    0    0    0 / 1000     0.1s STM Saturn.Ws_deque test parallel, negative (shrinking:   18.0002)
[ ]    0    0    0    0 / 1000     0.3s STM Saturn.Ws_deque test parallel, negative (shrinking:   18.0004)
[ ]    0    0    0    0 / 1000     0.4s STM Saturn.Ws_deque test parallel, negative (shrinking:   19.0002)
[ ]    0    0    0    0 / 1000     0.5s STM Saturn.Ws_deque test parallel, negative (shrinking:   19.0004)
[ ]    0    0    0    0 / 1000     0.6s STM Saturn.Ws_deque test parallel, negative (shrinking:   20.0002)
[ ]    0    0    0    0 / 1000     0.7s STM Saturn.Ws_deque test parallel, negative (shrinking:   20.0004)
[ ]    0    0    0    0 / 1000     0.9s STM Saturn.Ws_deque test parallel, negative (shrinking:   20.0007)
[ ]    0    0    0    0 / 1000     1.0s STM Saturn.Ws_deque test parallel, negative (shrinking:   21.0003)
[ ]    0    0    0    0 / 1000     1.2s STM Saturn.Ws_deque test parallel, negative (shrinking:   22.0004)
[ ]    0    0    0    0 / 1000     1.3s STM Saturn.Ws_deque test parallel, negative (shrinking:   22.0006)
[ ]    1    0    1    0 / 1000     1.4s STM Saturn.Ws_deque test parallel, negative
[✓]    1    0    1    0 / 1000     1.4s STM Saturn.Ws_deque test parallel, negative
- 
- --- Info -----------------------------------------------------------------------
- 
- Negative test STM Saturn.Ws_deque test parallel, negative failed as expected (22 shrink steps):
- 
-                        |                 
-                      Push 5              
-                      Push 0              
-                        |                 
-             .---------------------.
-             |                     |                 
-            Pop                   Pop                
- 
- 
- +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
- 
- Messages for test STM Saturn.Ws_deque test parallel, negative:
- 
-   Results incompatible with linearized model
- 
-                              |                             
-                         Push 5 : ()                        
-                         Push 0 : ()                        
-                              |                             
-           .------------------------------------.
-           |                                    |                             
-      Pop : Ok (0)                         Pop : Ok (0)                       
- 
- ================================================================================
- success (ran 3 tests)
- (cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe --verbose)
- 
random seed: 403526106
- generated error fail pass / total     time test name
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Mpsc_queue test sequential
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Mpsc_queue test sequential (generating)
[ ]  242    0    0  242 / 1000     0.1s STM Saturn.Mpsc_queue test sequential (collecting)
[ ]  433    0    0  433 / 1000     0.2s STM Saturn.Mpsc_queue test sequential
[ ]  738    0    0  738 / 1000     0.3s STM Saturn.Mpsc_queue test sequential (collecting)
[✓] 1000    0    0 1000 / 1000     0.4s STM Saturn.Mpsc_queue test sequential
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Mpsc_queue test parallel
[ ]    1    0    0    1 / 1000     0.0s STM Saturn.Mpsc_queue test parallel
[ ]    2    0    0    2 / 1000     0.2s STM Saturn.Mpsc_queue test parallel
[ ]    3    0    0    3 / 1000     0.3s STM Saturn.Mpsc_queue test parallel
[ ]    6    0    0    6 / 1000     0.4s STM Saturn.Mpsc_queue test parallel
[ ]   10    0    0   10 / 1000     0.7s STM Saturn.Mpsc_queue test parallel
[ ]   13    0    0   13 / 1000     1.2s STM Saturn.Mpsc_queue test parallel
[ ]   20    0    0   20 / 1000     1.3s STM Saturn.Mpsc_queue test parallel
[ ]   22    0    0   22 / 1000     1.5s STM Saturn.Mpsc_queue test parallel
[ ]   31    0    0   31 / 1000     1.9s STM Saturn.Mpsc_queue test parallel
[ ]   32    0    0   32 / 1000     2.1s STM Saturn.Mpsc_queue test parallel
[ ]   38    0    0   38 / 1000     2.2s STM Saturn.Mpsc_queue test parallel
[ ]   40    0    0   40 / 1000     2.3s STM Saturn.Mpsc_queue test parallel
[ ]   47    0    0   47 / 1000     2.4s STM Saturn.Mpsc_queue test parallel
[ ]   48    0    0   48 / 1000     2.6s STM Saturn.Mpsc_queue test parallel
[ ]   51    0    0   51 / 1000     2.9s STM Saturn.Mpsc_queue test parallel
[ ]   53    0    0   53 / 1000     3.1s STM Saturn.Mpsc_queue test parallel
[ ]   62    0    0   62 / 1000     3.2s STM Saturn.Mpsc_queue test parallel
[ ]   67    0    0   67 / 1000     3.5s STM Saturn.Mpsc_queue test parallel
[ ]   69    0    0   69 / 1000     3.7s STM Saturn.Mpsc_queue test parallel
[ ]   70    0    0   70 / 1000     4.0s STM Saturn.Mpsc_queue test parallel
[ ]   73    0    0   73 / 1000     4.3s STM Saturn.Mpsc_queue test parallel
[ ]   76    0    0   76 / 1000     4.7s STM Saturn.Mpsc_queue test parallel
[ ]   81    0    0   81 / 1000     4.8s STM Saturn.Mpsc_queue test parallel
[ ]   83    0    0   83 / 1000     4.9s STM Saturn.Mpsc_queue test parallel
[ ]   87    0    0   87 / 1000     5.1s STM Saturn.Mpsc_queue test parallel
[ ]   90    0    0   90 / 1000     5.2s STM Saturn.Mpsc_queue test parallel
[ ]   96    0    0   96 / 1000     5.4s STM Saturn.Mpsc_queue test parallel
[ ]  102    0    0  102 / 1000     5.5s STM Saturn.Mpsc_queue test parallel
[ ]  106    0    0  106 / 1000     5.8s STM Saturn.Mpsc_queue test parallel
[ ]  107    0    0  107 / 1000     6.2s STM Saturn.Mpsc_queue test parallel
[ ]  110    0    0  110 / 1000     6.4s STM Saturn.Mpsc_queue test parallel
[ ]  116    0    0  116 / 1000     6.6s STM Saturn.Mpsc_queue test parallel
[ ]  122    0    0  122 / 1000     7.1s STM Saturn.Mpsc_queue test parallel
[ ]  126    0    0  126 / 1000     7.6s STM Saturn.Mpsc_queue test parallel
[ ]  130    0    0  130 / 1000     7.7s STM Saturn.Mpsc_queue test parallel
[ ]  132    0    0  132 / 1000     8.0s STM Saturn.Mpsc_queue test parallel
[ ]  137    0    0  137 / 1000     8.1s STM Saturn.Mpsc_queue test parallel
[ ]  139    0    0  139 / 1000     8.2s STM Saturn.Mpsc_queue test parallel
[ ]  142    0    0  142 / 1000     8.3s STM Saturn.Mpsc_queue test parallel
[ ]  147    0    0  147 / 1000     8.5s STM Saturn.Mpsc_queue test parallel
[ ]  150    0    0  150 / 1000     9.0s STM Saturn.Mpsc_queue test parallel
[ ]  158    0    0  158 / 1000     9.1s STM Saturn.Mpsc_queue test parallel
[ ]  163    0    0  163 / 1000     9.3s STM Saturn.Mpsc_queue test parallel
[ ]  164    0    0  164 / 1000     9.4s STM Saturn.Mpsc_queue test parallel
[ ]  167    0    0  167 / 1000     9.7s STM Saturn.Mpsc_queue test parallel
[ ]  171    0    0  171 / 1000    10.2s STM Saturn.Mpsc_queue test parallel
[ ]  178    0    0  178 / 1000    10.3s STM Saturn.Mpsc_queue test parallel
[ ]  183    0    0  183 / 1000    10.4s STM Saturn.Mpsc_queue test parallel
[ ]  189    0    0  189 / 1000    10.5s STM Saturn.Mpsc_queue test parallel
[ ]  193    0    0  193 / 1000    11.0s STM Saturn.Mpsc_queue test parallel
[ ]  196    0    0  196 / 1000    11.2s STM Saturn.Mpsc_queue test parallel
[ ]  197    0    0  197 / 1000    11.4s STM Saturn.Mpsc_queue test parallel
[ ]  200    0    0  200 / 1000    11.6s STM Saturn.Mpsc_queue test parallel
[ ]  205    0    0  205 / 1000    12.1s STM Saturn.Mpsc_queue test parallel
[ ]  209    0    0  209 / 1000    12.3s STM Saturn.Mpsc_queue test parallel
[ ]  218    0    0  218 / 1000    12.5s STM Saturn.Mpsc_queue test parallel
[ ]  220    0    0  220 / 1000    12.6s STM Saturn.Mpsc_queue test parallel
[ ]  224    0    0  224 / 1000    12.7s STM Saturn.Mpsc_queue test parallel
[ ]  233    0    0  233 / 1000    12.8s STM Saturn.Mpsc_queue test parallel
[ ]  234    0    0  234 / 1000    13.0s STM Saturn.Mpsc_queue test parallel
[ ]  244    0    0  244 / 1000    13.1s STM Saturn.Mpsc_queue test parallel
[ ]  246    0    0  246 / 1000    13.3s STM Saturn.Mpsc_queue test parallel
[ ]  252    0    0  252 / 1000    13.6s STM Saturn.Mpsc_queue test parallel
[ ]  259    0    0  259 / 1000    13.7s STM Saturn.Mpsc_queue test parallel
[ ]  260    0    0  260 / 1000    13.9s STM Saturn.Mpsc_queue test parallel
[ ]  264    0    0  264 / 1000    14.3s STM Saturn.Mpsc_queue test parallel
[ ]  270    0    0  270 / 1000    14.7s STM Saturn.Mpsc_queue test parallel
[ ]  271    0    0  271 / 1000    15.1s STM Saturn.Mpsc_queue test parallel
[ ]  276    0    0  276 / 1000    15.2s STM Saturn.Mpsc_queue test parallel
[ ]  281    0    0  281 / 1000    15.4s STM Saturn.Mpsc_queue test parallel
[ ]  288    0    0  288 / 1000    15.5s STM Saturn.Mpsc_queue test parallel
[ ]  299    0    0  299 / 1000    15.7s STM Saturn.Mpsc_queue test parallel
[ ]  309    0    0  309 / 1000    15.8s STM Saturn.Mpsc_queue test parallel
[ ]  318    0    0  318 / 1000    15.9s STM Saturn.Mpsc_queue test parallel
[ ]  324    0    0  324 / 1000    16.3s STM Saturn.Mpsc_queue test parallel
[ ]  326    0    0  326 / 1000    16.5s STM Saturn.Mpsc_queue test parallel
[ ]  328    0    0  328 / 1000    16.8s STM Saturn.Mpsc_queue test parallel
[ ]  329    0    0  329 / 1000    17.3s STM Saturn.Mpsc_queue test parallel
[ ]  333    0    0  333 / 1000    17.5s STM Saturn.Mpsc_queue test parallel
[ ]  334    0    0  334 / 1000    17.7s STM Saturn.Mpsc_queue test parallel
[ ]  338    0    0  338 / 1000    17.9s STM Saturn.Mpsc_queue test parallel
[ ]  344    0    0  344 / 1000    18.0s STM Saturn.Mpsc_queue test parallel
[ ]  349    0    0  349 / 1000    18.1s STM Saturn.Mpsc_queue test parallel
[ ]  356    0    0  356 / 1000    18.3s STM Saturn.Mpsc_queue test parallel
[ ]  359    0    0  359 / 1000    18.5s STM Saturn.Mpsc_queue test parallel
[ ]  364    0    0  364 / 1000    18.6s STM Saturn.Mpsc_queue test parallel
[ ]  367    0    0  367 / 1000    18.9s STM Saturn.Mpsc_queue test parallel
[ ]  370    0    0  370 / 1000    19.0s STM Saturn.Mpsc_queue test parallel
[ ]  371    0    0  371 / 1000    19.5s STM Saturn.Mpsc_queue test parallel
[ ]  378    0    0  378 / 1000    19.7s STM Saturn.Mpsc_queue test parallel
[ ]  384    0    0  384 / 1000    19.8s STM Saturn.Mpsc_queue test parallel
[ ]  386    0    0  386 / 1000    20.3s STM Saturn.Mpsc_queue test parallel
[ ]  392    0    0  392 / 1000    20.4s STM Saturn.Mpsc_queue test parallel
[ ]  399    0    0  399 / 1000    20.5s STM Saturn.Mpsc_queue test parallel
[ ]  400    0    0  400 / 1000    20.6s STM Saturn.Mpsc_queue test parallel
[ ]  401    0    0  401 / 1000    21.0s STM Saturn.Mpsc_queue test parallel
[ ]  402    0    0  402 / 1000    21.1s STM Saturn.Mpsc_queue test parallel
[ ]  407    0    0  407 / 1000    21.3s STM Saturn.Mpsc_queue test parallel
[ ]  412    0    0  412 / 1000    21.5s STM Saturn.Mpsc_queue test parallel
[ ]  417    0    0  417 / 1000    21.7s STM Saturn.Mpsc_queue test parallel
[ ]  420    0    0  420 / 1000    22.0s STM Saturn.Mpsc_queue test parallel
[ ]  424    0    0  424 / 1000    22.4s STM Saturn.Mpsc_queue test parallel
[ ]  425    0    0  425 / 1000    22.7s STM Saturn.Mpsc_queue test parallel
[ ]  433    0    0  433 / 1000    22.8s STM Saturn.Mpsc_queue test parallel
[ ]  439    0    0  439 / 1000    23.0s STM Saturn.Mpsc_queue test parallel
[ ]  442    0    0  442 / 1000    23.2s STM Saturn.Mpsc_queue test parallel
[ ]  443    0    0  443 / 1000    23.4s STM Saturn.Mpsc_queue test parallel
[ ]  450    0    0  450 / 1000    23.6s STM Saturn.Mpsc_queue test parallel
[ ]  459    0    0  459 / 1000    23.8s STM Saturn.Mpsc_queue test parallel
[ ]  468    0    0  468 / 1000    23.9s STM Saturn.Mpsc_queue test parallel
[ ]  470    0    0  470 / 1000    24.1s STM Saturn.Mpsc_queue test parallel
[ ]  479    0    0  479 / 1000    24.2s STM Saturn.Mpsc_queue test parallel
[ ]  483    0    0  483 / 1000    24.4s STM Saturn.Mpsc_queue test parallel
[ ]  485    0    0  485 / 1000    24.7s STM Saturn.Mpsc_queue test parallel
[ ]  488    0    0  488 / 1000    24.9s STM Saturn.Mpsc_queue test parallel
[ ]  490    0    0  490 / 1000    25.0s STM Saturn.Mpsc_queue test parallel
[ ]  497    0    0  497 / 1000    25.3s STM Saturn.Mpsc_queue test parallel
[ ]  507    0    0  507 / 1000    25.4s STM Saturn.Mpsc_queue test parallel
[ ]  516    0    0  516 / 1000    25.5s STM Saturn.Mpsc_queue test parallel
[ ]  524    0    0  524 / 1000    25.6s STM Saturn.Mpsc_queue test parallel
[ ]  528    0    0  528 / 1000    25.7s STM Saturn.Mpsc_queue test parallel
[ ]  536    0    0  536 / 1000    25.8s STM Saturn.Mpsc_queue test parallel
[ ]  539    0    0  539 / 1000    26.0s STM Saturn.Mpsc_queue test parallel
[ ]  542    0    0  542 / 1000    26.4s STM Saturn.Mpsc_queue test parallel
[ ]  546    0    0  546 / 1000    26.6s STM Saturn.Mpsc_queue test parallel
[ ]  550    0    0  550 / 1000    26.7s STM Saturn.Mpsc_queue test parallel
[ ]  555    0    0  555 / 1000    26.8s STM Saturn.Mpsc_queue test parallel
[ ]  557    0    0  557 / 1000    26.9s STM Saturn.Mpsc_queue test parallel
[ ]  560    0    0  560 / 1000    27.3s STM Saturn.Mpsc_queue test parallel
[ ]  564    0    0  564 / 1000    27.7s STM Saturn.Mpsc_queue test parallel
[ ]  571    0    0  571 / 1000    27.9s STM Saturn.Mpsc_queue test parallel
[ ]  577    0    0  577 / 1000    28.1s STM Saturn.Mpsc_queue test parallel
[ ]  586    0    0  586 / 1000    28.2s STM Saturn.Mpsc_queue test parallel
[ ]  590    0    0  590 / 1000    28.5s STM Saturn.Mpsc_queue test parallel
[ ]  594    0    0  594 / 1000    28.8s STM Saturn.Mpsc_queue test parallel
[ ]  596    0    0  596 / 1000    28.9s STM Saturn.Mpsc_queue test parallel
[ ]  603    0    0  603 / 1000    29.0s STM Saturn.Mpsc_queue test parallel
[ ]  605    0    0  605 / 1000    29.1s STM Saturn.Mpsc_queue test parallel
[ ]  611    0    0  611 / 1000    29.3s STM Saturn.Mpsc_queue test parallel
[ ]  618    0    0  618 / 1000    29.7s STM Saturn.Mpsc_queue test parallel
[ ]  627    0    0  627 / 1000    30.0s STM Saturn.Mpsc_queue test parallel
[ ]  630    0    0  630 / 1000    30.3s STM Saturn.Mpsc_queue test parallel
[ ]  633    0    0  633 / 1000    30.5s STM Saturn.Mpsc_queue test parallel
[ ]  637    0    0  637 / 1000    30.6s STM Saturn.Mpsc_queue test parallel
[ ]  638    0    0  638 / 1000    30.9s STM Saturn.Mpsc_queue test parallel
[ ]  643    0    0  643 / 1000    31.0s STM Saturn.Mpsc_queue test parallel
[ ]  652    0    0  652 / 1000    31.4s STM Saturn.Mpsc_queue test parallel
[ ]  656    0    0  656 / 1000    31.5s STM Saturn.Mpsc_queue test parallel
[ ]  658    0    0  658 / 1000    31.6s STM Saturn.Mpsc_queue test parallel
[ ]  666    0    0  666 / 1000    31.8s STM Saturn.Mpsc_queue test parallel
[ ]  672    0    0  672 / 1000    31.9s STM Saturn.Mpsc_queue test parallel
[ ]  676    0    0  676 / 1000    32.3s STM Saturn.Mpsc_queue test parallel
[ ]  679    0    0  679 / 1000    32.6s STM Saturn.Mpsc_queue test parallel
[ ]  685    0    0  685 / 1000    32.7s STM Saturn.Mpsc_queue test parallel
[ ]  690    0    0  690 / 1000    32.8s STM Saturn.Mpsc_queue test parallel
[ ]  695    0    0  695 / 1000    33.0s STM Saturn.Mpsc_queue test parallel
[ ]  700    0    0  700 / 1000    33.1s STM Saturn.Mpsc_queue test parallel
[ ]  702    0    0  702 / 1000    33.3s STM Saturn.Mpsc_queue test parallel
[ ]  705    0    0  705 / 1000    33.9s STM Saturn.Mpsc_queue test parallel
[ ]  711    0    0  711 / 1000    34.0s STM Saturn.Mpsc_queue test parallel
[ ]  713    0    0  713 / 1000    34.2s STM Saturn.Mpsc_queue test parallel
[ ]  720    0    0  720 / 1000    34.4s STM Saturn.Mpsc_queue test parallel
[ ]  721    0    0  721 / 1000    34.5s STM Saturn.Mpsc_queue test parallel
[ ]  723    0    0  723 / 1000    34.9s STM Saturn.Mpsc_queue test parallel
[ ]  725    0    0  725 / 1000    35.2s STM Saturn.Mpsc_queue test parallel
[ ]  728    0    0  728 / 1000    35.5s STM Saturn.Mpsc_queue test parallel
[ ]  729    0    0  729 / 1000    35.8s STM Saturn.Mpsc_queue test parallel
[ ]  733    0    0  733 / 1000    35.9s STM Saturn.Mpsc_queue test parallel
[ ]  736    0    0  736 / 1000    36.0s STM Saturn.Mpsc_queue test parallel
[ ]  739    0    0  739 / 1000    36.2s STM Saturn.Mpsc_queue test parallel
[ ]  742    0    0  742 / 1000    36.3s STM Saturn.Mpsc_queue test parallel
[ ]  743    0    0  743 / 1000    36.7s STM Saturn.Mpsc_queue test parallel
[ ]  753    0    0  753 / 1000    36.9s STM Saturn.Mpsc_queue test parallel
[ ]  757    0    0  757 / 1000    37.2s STM Saturn.Mpsc_queue test parallel
[ ]  765    0    0  765 / 1000    37.3s STM Saturn.Mpsc_queue test parallel
[ ]  767    0    0  767 / 1000    37.4s STM Saturn.Mpsc_queue test parallel
[ ]  776    0    0  776 / 1000    37.6s STM Saturn.Mpsc_queue test parallel
[ ]  785    0    0  785 / 1000    37.7s STM Saturn.Mpsc_queue test parallel
[ ]  788    0    0  788 / 1000    38.2s STM Saturn.Mpsc_queue test parallel
[ ]  792    0    0  792 / 1000    38.3s STM Saturn.Mpsc_queue test parallel
[ ]  794    0    0  794 / 1000    38.4s STM Saturn.Mpsc_queue test parallel
[ ]  795    0    0  795 / 1000    38.7s STM Saturn.Mpsc_queue test parallel
[ ]  801    0    0  801 / 1000    39.0s STM Saturn.Mpsc_queue test parallel
[ ]  806    0    0  806 / 1000    39.2s STM Saturn.Mpsc_queue test parallel
[ ]  811    0    0  811 / 1000    39.6s STM Saturn.Mpsc_queue test parallel
[ ]  816    0    0  816 / 1000    40.1s STM Saturn.Mpsc_queue test parallel
[ ]  818    0    0  818 / 1000    40.2s STM Saturn.Mpsc_queue test parallel
[ ]  822    0    0  822 / 1000    40.4s STM Saturn.Mpsc_queue test parallel
[ ]  829    0    0  829 / 1000    40.5s STM Saturn.Mpsc_queue test parallel
[ ]  830    0    0  830 / 1000    40.7s STM Saturn.Mpsc_queue test parallel
[ ]  839    0    0  839 / 1000    40.8s STM Saturn.Mpsc_queue test parallel
[ ]  848    0    0  848 / 1000    40.9s STM Saturn.Mpsc_queue test parallel
[ ]  856    0    0  856 / 1000    41.3s STM Saturn.Mpsc_queue test parallel
[ ]  857    0    0  857 / 1000    41.6s STM Saturn.Mpsc_queue test parallel
[ ]  861    0    0  861 / 1000    41.8s STM Saturn.Mpsc_queue test parallel
[ ]  867    0    0  867 / 1000    41.9s STM Saturn.Mpsc_queue test parallel
[ ]  873    0    0  873 / 1000    42.2s STM Saturn.Mpsc_queue test parallel
[ ]  880    0    0  880 / 1000    42.5s STM Saturn.Mpsc_queue test parallel
[ ]  884    0    0  884 / 1000    42.9s STM Saturn.Mpsc_queue test parallel
[ ]  890    0    0  890 / 1000    43.2s STM Saturn.Mpsc_queue test parallel
[ ]  893    0    0  893 / 1000    43.6s STM Saturn.Mpsc_queue test parallel
[ ]  899    0    0  899 / 1000    44.0s STM Saturn.Mpsc_queue test parallel
[ ]  900    0    0  900 / 1000    44.4s STM Saturn.Mpsc_queue test parallel
[ ]  909    0    0  909 / 1000    44.5s STM Saturn.Mpsc_queue test parallel
[ ]  911    0    0  911 / 1000    44.7s STM Saturn.Mpsc_queue test parallel
[ ]  919    0    0  919 / 1000    44.8s STM Saturn.Mpsc_queue test parallel
[ ]  923    0    0  923 / 1000    45.1s STM Saturn.Mpsc_queue test parallel
[ ]  924    0    0  924 / 1000    45.7s STM Saturn.Mpsc_queue test parallel
[ ]  925    0    0  925 / 1000    45.9s STM Saturn.Mpsc_queue test parallel
[ ]  929    0    0  929 / 1000    46.0s STM Saturn.Mpsc_queue test parallel
[ ]  934    0    0  934 / 1000    46.2s STM Saturn.Mpsc_queue test parallel
[ ]  935    0    0  935 / 1000    46.4s STM Saturn.Mpsc_queue test parallel
[ ]  942    0    0  942 / 1000    46.5s STM Saturn.Mpsc_queue test parallel
[ ]  947    0    0  947 / 1000    46.6s STM Saturn.Mpsc_queue test parallel
[ ]  953    0    0  953 / 1000    46.8s STM Saturn.Mpsc_queue test parallel
[ ]  954    0    0  954 / 1000    46.9s STM Saturn.Mpsc_queue test parallel
[ ]  960    0    0  960 / 1000    47.0s STM Saturn.Mpsc_queue test parallel
[ ]  963    0    0  963 / 1000    47.4s STM Saturn.Mpsc_queue test parallel
[ ]  971    0    0  971 / 1000    47.7s STM Saturn.Mpsc_queue test parallel
[ ]  972    0    0  972 / 1000    47.8s STM Saturn.Mpsc_queue test parallel
[ ]  981    0    0  981 / 1000    48.3s STM Saturn.Mpsc_queue test parallel
[ ]  983    0    0  983 / 1000    48.4s STM Saturn.Mpsc_queue test parallel
[ ]  988    0    0  988 / 1000    49.0s STM Saturn.Mpsc_queue test parallel
[ ]  993    0    0  993 / 1000    49.1s STM Saturn.Mpsc_queue test parallel
[ ]  999    0    0  999 / 1000    49.2s STM Saturn.Mpsc_queue test parallel
[✓] 1000    0    0 1000 / 1000    49.2s STM Saturn.Mpsc_queue test parallel
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Mpsc_queue test parallel, negative
[ ]    2    0    0    2 / 1000     0.2s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    0)
[ ]    2    0    0    2 / 1000     0.5s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    0.0001)
[ ]    2    0    0    2 / 1000     0.7s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    1)
[ ]    2    0    0    2 / 1000     0.9s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    1.0001)
[ ]    2    0    0    2 / 1000     1.1s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    2)
[ ]    2    0    0    2 / 1000     1.3s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    2.0001)
[ ]    2    0    0    2 / 1000     1.5s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    3)
[ ]    2    0    0    2 / 1000     1.7s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    3.0001)
[ ]    2    0    0    2 / 1000     1.9s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    4)
[ ]    2    0    0    2 / 1000     2.0s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    5)
[ ]    2    0    0    2 / 1000     2.2s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    6)
[ ]    2    0    0    2 / 1000     2.3s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    7.0001)
[ ]    2    0    0    2 / 1000     2.4s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    8)
[ ]    2    0    0    2 / 1000     2.8s STM Saturn.Mpsc_queue test parallel, negative (shrinking:    9.0002)
[ ]    2    0    0    2 / 1000     3.0s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   10)
[ ]    2    0    0    2 / 1000     3.2s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   11)
[ ]    2    0    0    2 / 1000     3.3s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   11.0002)
[ ]    2    0    0    2 / 1000     3.5s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   11.0003)
[ ]    2    0    0    2 / 1000     3.7s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   11.0005)
[ ]    2    0    0    2 / 1000     3.8s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   11.0006)
[ ]    2    0    0    2 / 1000     3.9s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   11.0007)
[ ]    2    0    0    2 / 1000     4.0s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   19)
[ ]    2    0    0    2 / 1000     4.2s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   20)
[ ]    2    0    0    2 / 1000     4.5s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   20.0002)
[ ]    2    0    0    2 / 1000     4.6s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   23)
[ ]    2    0    0    2 / 1000     4.8s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   24.0002)
[ ]    2    0    0    2 / 1000     4.9s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   24.0004)
[ ]    2    0    0    2 / 1000     5.5s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   25.0002)
[ ]    2    0    0    2 / 1000     5.7s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   28.0002)
[ ]    2    0    0    2 / 1000     5.9s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   29.0002)
[ ]    2    0    0    2 / 1000     6.0s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   30.0003)
[ ]    2    0    0    2 / 1000     6.3s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   30.0005)
[ ]    2    0    0    2 / 1000     6.4s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   31.0002)
[ ]    2    0    0    2 / 1000     6.5s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   31.0003)
[ ]    2    0    0    2 / 1000     6.7s STM Saturn.Mpsc_queue test parallel, negative (shrinking:   31.0005)
[✓]    3    0    1    2 / 1000     6.7s STM Saturn.Mpsc_queue test parallel, negative
- 
- --- Info -----------------------------------------------------------------------
- 
- Negative test STM Saturn.Mpsc_queue test parallel, negative failed as expected (31 shrink steps):
- 
-                         |                
-                      Push 283            
-                         |                
-              .---------------------.
-              |                     |                
-             Pop                   Pop               
- 
- 
- +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
- 
- Messages for test STM Saturn.Mpsc_queue test parallel, negative:
- 
-   Results incompatible with linearized model
- 
-                                 |                          
-                         Push 283 : Ok (())                 
-                                 |                          
-              .------------------------------------.
-              |                                    |                          
-        Pop : Ok (283)                        Pop : Ok (0)                    
- 
- ================================================================================
- success (ran 3 tests)
- (cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe --verbose)
- 
random seed: 102974536
- generated error fail pass / total     time test name
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Spsc_queue test sequential
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Spsc_queue test sequential (generating)
[ ]  327    0    0  327 / 1000     0.1s STM Saturn.Spsc_queue test sequential (collecting)
[ ]  616    0    0  616 / 1000     0.2s STM Saturn.Spsc_queue test sequential
[ ]  933    0    0  933 / 1000     0.3s STM Saturn.Spsc_queue test sequential
[✓] 1000    0    0 1000 / 1000     0.3s STM Saturn.Spsc_queue test sequential
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Spsc_queue test parallel
[ ]    2    0    0    2 / 1000     1.0s STM Saturn.Spsc_queue test parallel
[ ]    8    0    0    8 / 1000     1.2s STM Saturn.Spsc_queue test parallel
[ ]   14    0    0   14 / 1000     1.3s STM Saturn.Spsc_queue test parallel
[ ]   22    0    0   22 / 1000     2.1s STM Saturn.Spsc_queue test parallel
[ ]   23    0    0   23 / 1000     2.3s STM Saturn.Spsc_queue test parallel
[ ]   24    0    0   24 / 1000     2.5s STM Saturn.Spsc_queue test parallel
[ ]   38    0    0   38 / 1000     2.6s STM Saturn.Spsc_queue test parallel
[ ]   39    0    0   39 / 1000     3.3s STM Saturn.Spsc_queue test parallel
[ ]   44    0    0   44 / 1000     3.4s STM Saturn.Spsc_queue test parallel
[ ]   50    0    0   50 / 1000     4.0s STM Saturn.Spsc_queue test parallel
[ ]   57    0    0   57 / 1000     4.4s STM Saturn.Spsc_queue test parallel
[ ]   59    0    0   59 / 1000     4.6s STM Saturn.Spsc_queue test parallel
[ ]   66    0    0   66 / 1000     5.2s STM Saturn.Spsc_queue test parallel
[ ]   73    0    0   73 / 1000     5.3s STM Saturn.Spsc_queue test parallel
[ ]   82    0    0   82 / 1000     5.4s STM Saturn.Spsc_queue test parallel
[ ]   97    0    0   97 / 1000     5.6s STM Saturn.Spsc_queue test parallel
[ ]  105    0    0  105 / 1000     5.8s STM Saturn.Spsc_queue test parallel
[ ]  110    0    0  110 / 1000     6.0s STM Saturn.Spsc_queue test parallel
[ ]  114    0    0  114 / 1000     6.1s STM Saturn.Spsc_queue test parallel
[ ]  116    0    0  116 / 1000     6.9s STM Saturn.Spsc_queue test parallel
[ ]  123    0    0  123 / 1000     7.2s STM Saturn.Spsc_queue test parallel
[ ]  127    0    0  127 / 1000     7.3s STM Saturn.Spsc_queue test parallel
[ ]  137    0    0  137 / 1000     7.4s STM Saturn.Spsc_queue test parallel
[ ]  140    0    0  140 / 1000     7.8s STM Saturn.Spsc_queue test parallel
[ ]  142    0    0  142 / 1000     8.5s STM Saturn.Spsc_queue test parallel
[ ]  149    0    0  149 / 1000     8.9s STM Saturn.Spsc_queue test parallel
[ ]  154    0    0  154 / 1000     9.1s STM Saturn.Spsc_queue test parallel
[ ]  163    0    0  163 / 1000     9.3s STM Saturn.Spsc_queue test parallel
[ ]  177    0    0  177 / 1000     9.4s STM Saturn.Spsc_queue test parallel
[ ]  181    0    0  181 / 1000    10.1s STM Saturn.Spsc_queue test parallel
[ ]  185    0    0  185 / 1000    10.3s STM Saturn.Spsc_queue test parallel
[ ]  195    0    0  195 / 1000    10.7s STM Saturn.Spsc_queue test parallel
[ ]  200    0    0  200 / 1000    10.8s STM Saturn.Spsc_queue test parallel
[ ]  203    0    0  203 / 1000    11.3s STM Saturn.Spsc_queue test parallel
[ ]  208    0    0  208 / 1000    11.9s STM Saturn.Spsc_queue test parallel
[ ]  210    0    0  210 / 1000    12.5s STM Saturn.Spsc_queue test parallel
[ ]  214    0    0  214 / 1000    12.7s STM Saturn.Spsc_queue test parallel
[ ]  222    0    0  222 / 1000    12.9s STM Saturn.Spsc_queue test parallel
[ ]  223    0    0  223 / 1000    13.3s STM Saturn.Spsc_queue test parallel
[ ]  236    0    0  236 / 1000    13.5s STM Saturn.Spsc_queue test parallel
[ ]  246    0    0  246 / 1000    13.6s STM Saturn.Spsc_queue test parallel
[ ]  251    0    0  251 / 1000    13.8s STM Saturn.Spsc_queue test parallel
[ ]  258    0    0  258 / 1000    13.9s STM Saturn.Spsc_queue test parallel
[ ]  261    0    0  261 / 1000    14.3s STM Saturn.Spsc_queue test parallel
[ ]  262    0    0  262 / 1000    14.5s STM Saturn.Spsc_queue test parallel
[ ]  274    0    0  274 / 1000    15.1s STM Saturn.Spsc_queue test parallel
[ ]  277    0    0  277 / 1000    15.4s STM Saturn.Spsc_queue test parallel
[ ]  285    0    0  285 / 1000    15.6s STM Saturn.Spsc_queue test parallel
[ ]  291    0    0  291 / 1000    16.1s STM Saturn.Spsc_queue test parallel
[ ]  292    0    0  292 / 1000    16.3s STM Saturn.Spsc_queue test parallel
[ ]  296    0    0  296 / 1000    16.5s STM Saturn.Spsc_queue test parallel
[ ]  303    0    0  303 / 1000    16.6s STM Saturn.Spsc_queue test parallel
[ ]  309    0    0  309 / 1000    16.8s STM Saturn.Spsc_queue test parallel
[ ]  322    0    0  322 / 1000    16.9s STM Saturn.Spsc_queue test parallel
[ ]  324    0    0  324 / 1000    17.0s STM Saturn.Spsc_queue test parallel
[ ]  329    0    0  329 / 1000    17.3s STM Saturn.Spsc_queue test parallel
[ ]  339    0    0  339 / 1000    17.4s STM Saturn.Spsc_queue test parallel
[ ]  342    0    0  342 / 1000    17.6s STM Saturn.Spsc_queue test parallel
[ ]  347    0    0  347 / 1000    18.3s STM Saturn.Spsc_queue test parallel
[ ]  351    0    0  351 / 1000    19.6s STM Saturn.Spsc_queue test parallel
[ ]  352    0    0  352 / 1000    19.7s STM Saturn.Spsc_queue test parallel
[ ]  354    0    0  354 / 1000    20.1s STM Saturn.Spsc_queue test parallel
[ ]  368    0    0  368 / 1000    20.7s STM Saturn.Spsc_queue test parallel
[ ]  372    0    0  372 / 1000    20.8s STM Saturn.Spsc_queue test parallel
[ ]  385    0    0  385 / 1000    21.1s STM Saturn.Spsc_queue test parallel
[ ]  390    0    0  390 / 1000    21.4s STM Saturn.Spsc_queue test parallel
[ ]  391    0    0  391 / 1000    21.9s STM Saturn.Spsc_queue test parallel
[ ]  399    0    0  399 / 1000    22.0s STM Saturn.Spsc_queue test parallel
[ ]  402    0    0  402 / 1000    22.5s STM Saturn.Spsc_queue test parallel
[ ]  405    0    0  405 / 1000    22.8s STM Saturn.Spsc_queue test parallel
[ ]  413    0    0  413 / 1000    23.0s STM Saturn.Spsc_queue test parallel
[ ]  428    0    0  428 / 1000    23.2s STM Saturn.Spsc_queue test parallel
[ ]  430    0    0  430 / 1000    23.8s STM Saturn.Spsc_queue test parallel
[ ]  432    0    0  432 / 1000    24.0s STM Saturn.Spsc_queue test parallel
[ ]  440    0    0  440 / 1000    24.3s STM Saturn.Spsc_queue test parallel
[ ]  443    0    0  443 / 1000    24.4s STM Saturn.Spsc_queue test parallel
[ ]  452    0    0  452 / 1000    24.5s STM Saturn.Spsc_queue test parallel
[ ]  465    0    0  465 / 1000    24.8s STM Saturn.Spsc_queue test parallel
[ ]  471    0    0  471 / 1000    24.9s STM Saturn.Spsc_queue test parallel
[ ]  479    0    0  479 / 1000    25.3s STM Saturn.Spsc_queue test parallel
[ ]  485    0    0  485 / 1000    25.9s STM Saturn.Spsc_queue test parallel
[ ]  499    0    0  499 / 1000    26.1s STM Saturn.Spsc_queue test parallel
[ ]  501    0    0  501 / 1000    26.6s STM Saturn.Spsc_queue test parallel
[ ]  503    0    0  503 / 1000    27.3s STM Saturn.Spsc_queue test parallel
[ ]  514    0    0  514 / 1000    27.4s STM Saturn.Spsc_queue test parallel
[ ]  519    0    0  519 / 1000    27.7s STM Saturn.Spsc_queue test parallel
[ ]  524    0    0  524 / 1000    27.8s STM Saturn.Spsc_queue test parallel
[ ]  525    0    0  525 / 1000    28.0s STM Saturn.Spsc_queue test parallel
[ ]  534    0    0  534 / 1000    28.5s STM Saturn.Spsc_queue test parallel
[ ]  537    0    0  537 / 1000    28.9s STM Saturn.Spsc_queue test parallel
[ ]  550    0    0  550 / 1000    29.1s STM Saturn.Spsc_queue test parallel
[ ]  553    0    0  553 / 1000    29.2s STM Saturn.Spsc_queue test parallel
[ ]  554    0    0  554 / 1000    29.4s STM Saturn.Spsc_queue test parallel
[ ]  556    0    0  556 / 1000    30.2s STM Saturn.Spsc_queue test parallel
[ ]  557    0    0  557 / 1000    30.7s STM Saturn.Spsc_queue test parallel
[ ]  560    0    0  560 / 1000    30.8s STM Saturn.Spsc_queue test parallel
[ ]  565    0    0  565 / 1000    30.9s STM Saturn.Spsc_queue test parallel
[ ]  571    0    0  571 / 1000    31.3s STM Saturn.Spsc_queue test parallel
[ ]  575    0    0  575 / 1000    31.9s STM Saturn.Spsc_queue test parallel
[ ]  576    0    0  576 / 1000    32.0s STM Saturn.Spsc_queue test parallel
[ ]  578    0    0  578 / 1000    32.4s STM Saturn.Spsc_queue test parallel
[ ]  593    0    0  593 / 1000    32.5s STM Saturn.Spsc_queue test parallel
[ ]  598    0    0  598 / 1000    33.1s STM Saturn.Spsc_queue test parallel
[ ]  603    0    0  603 / 1000    33.3s STM Saturn.Spsc_queue test parallel
[ ]  607    0    0  607 / 1000    33.4s STM Saturn.Spsc_queue test parallel
[ ]  611    0    0  611 / 1000    33.6s STM Saturn.Spsc_queue test parallel
[ ]  628    0    0  628 / 1000    33.7s STM Saturn.Spsc_queue test parallel
[ ]  634    0    0  634 / 1000    34.4s STM Saturn.Spsc_queue test parallel
[ ]  637    0    0  637 / 1000    34.8s STM Saturn.Spsc_queue test parallel
[ ]  638    0    0  638 / 1000    34.9s STM Saturn.Spsc_queue test parallel
[ ]  639    0    0  639 / 1000    35.1s STM Saturn.Spsc_queue test parallel
[ ]  647    0    0  647 / 1000    35.5s STM Saturn.Spsc_queue test parallel
[ ]  649    0    0  649 / 1000    35.6s STM Saturn.Spsc_queue test parallel
[ ]  650    0    0  650 / 1000    35.7s STM Saturn.Spsc_queue test parallel
[ ]  652    0    0  652 / 1000    35.9s STM Saturn.Spsc_queue test parallel
[ ]  654    0    0  654 / 1000    36.0s STM Saturn.Spsc_queue test parallel
[ ]  655    0    0  655 / 1000    36.1s STM Saturn.Spsc_queue test parallel
[ ]  660    0    0  660 / 1000    36.3s STM Saturn.Spsc_queue test parallel
[ ]  663    0    0  663 / 1000    36.7s STM Saturn.Spsc_queue test parallel
[ ]  666    0    0  666 / 1000    37.5s STM Saturn.Spsc_queue test parallel
[ ]  668    0    0  668 / 1000    37.7s STM Saturn.Spsc_queue test parallel
[ ]  672    0    0  672 / 1000    38.2s STM Saturn.Spsc_queue test parallel
[ ]  673    0    0  673 / 1000    39.2s STM Saturn.Spsc_queue test parallel
[ ]  674    0    0  674 / 1000    39.5s STM Saturn.Spsc_queue test parallel
[ ]  676    0    0  676 / 1000    39.9s STM Saturn.Spsc_queue test parallel
[ ]  679    0    0  679 / 1000    40.1s STM Saturn.Spsc_queue test parallel
[ ]  681    0    0  681 / 1000    40.6s STM Saturn.Spsc_queue test parallel
[ ]  685    0    0  685 / 1000    40.8s STM Saturn.Spsc_queue test parallel
[ ]  688    0    0  688 / 1000    41.4s STM Saturn.Spsc_queue test parallel
[ ]  693    0    0  693 / 1000    41.5s STM Saturn.Spsc_queue test parallel
[ ]  697    0    0  697 / 1000    41.6s STM Saturn.Spsc_queue test parallel
[ ]  701    0    0  701 / 1000    41.9s STM Saturn.Spsc_queue test parallel
[ ]  702    0    0  702 / 1000    42.1s STM Saturn.Spsc_queue test parallel
[ ]  709    0    0  709 / 1000    42.2s STM Saturn.Spsc_queue test parallel
[ ]  715    0    0  715 / 1000    42.3s STM Saturn.Spsc_queue test parallel
[ ]  723    0    0  723 / 1000    42.5s STM Saturn.Spsc_queue test parallel
[ ]  725    0    0  725 / 1000    42.7s STM Saturn.Spsc_queue test parallel
[ ]  736    0    0  736 / 1000    43.0s STM Saturn.Spsc_queue test parallel
[ ]  742    0    0  742 / 1000    43.1s STM Saturn.Spsc_queue test parallel
[ ]  748    0    0  748 / 1000    43.5s STM Saturn.Spsc_queue test parallel
[ ]  750    0    0  750 / 1000    43.6s STM Saturn.Spsc_queue test parallel
[ ]  752    0    0  752 / 1000    44.0s STM Saturn.Spsc_queue test parallel
[ ]  759    0    0  759 / 1000    44.3s STM Saturn.Spsc_queue test parallel
[ ]  763    0    0  763 / 1000    44.4s STM Saturn.Spsc_queue test parallel
[ ]  771    0    0  771 / 1000    44.5s STM Saturn.Spsc_queue test parallel
[ ]  775    0    0  775 / 1000    44.8s STM Saturn.Spsc_queue test parallel
[ ]  778    0    0  778 / 1000    45.0s STM Saturn.Spsc_queue test parallel
[ ]  792    0    0  792 / 1000    46.0s STM Saturn.Spsc_queue test parallel
[ ]  793    0    0  793 / 1000    46.1s STM Saturn.Spsc_queue test parallel
[ ]  804    0    0  804 / 1000    46.2s STM Saturn.Spsc_queue test parallel
[ ]  805    0    0  805 / 1000    46.7s STM Saturn.Spsc_queue test parallel
[ ]  809    0    0  809 / 1000    46.8s STM Saturn.Spsc_queue test parallel
[ ]  810    0    0  810 / 1000    47.1s STM Saturn.Spsc_queue test parallel
[ ]  813    0    0  813 / 1000    47.2s STM Saturn.Spsc_queue test parallel
[ ]  814    0    0  814 / 1000    47.5s STM Saturn.Spsc_queue test parallel
[ ]  818    0    0  818 / 1000    48.4s STM Saturn.Spsc_queue test parallel
[ ]  819    0    0  819 / 1000    49.2s STM Saturn.Spsc_queue test parallel
[ ]  820    0    0  820 / 1000    49.4s STM Saturn.Spsc_queue test parallel
[ ]  824    0    0  824 / 1000    49.5s STM Saturn.Spsc_queue test parallel
[ ]  830    0    0  830 / 1000    49.7s STM Saturn.Spsc_queue test parallel
[ ]  835    0    0  835 / 1000    50.4s STM Saturn.Spsc_queue test parallel
[ ]  839    0    0  839 / 1000    50.7s STM Saturn.Spsc_queue test parallel
[ ]  845    0    0  845 / 1000    51.1s STM Saturn.Spsc_queue test parallel
[ ]  847    0    0  847 / 1000    51.6s STM Saturn.Spsc_queue test parallel
[ ]  850    0    0  850 / 1000    52.1s STM Saturn.Spsc_queue test parallel
[ ]  858    0    0  858 / 1000    52.3s STM Saturn.Spsc_queue test parallel
[ ]  866    0    0  866 / 1000    52.4s STM Saturn.Spsc_queue test parallel
[ ]  867    0    0  867 / 1000    52.7s STM Saturn.Spsc_queue test parallel
[ ]  870    0    0  870 / 1000    52.9s STM Saturn.Spsc_queue test parallel
[ ]  876    0    0  876 / 1000    53.1s STM Saturn.Spsc_queue test parallel
[ ]  880    0    0  880 / 1000    53.2s STM Saturn.Spsc_queue test parallel
[ ]  887    0    0  887 / 1000    53.4s STM Saturn.Spsc_queue test parallel
[ ]  888    0    0  888 / 1000    53.7s STM Saturn.Spsc_queue test parallel
[ ]  890    0    0  890 / 1000    53.8s STM Saturn.Spsc_queue test parallel
[ ]  898    0    0  898 / 1000    54.0s STM Saturn.Spsc_queue test parallel
[ ]  905    0    0  905 / 1000    54.4s STM Saturn.Spsc_queue test parallel
[ ]  908    0    0  908 / 1000    54.6s STM Saturn.Spsc_queue test parallel
[ ]  909    0    0  909 / 1000    54.7s STM Saturn.Spsc_queue test parallel
[ ]  911    0    0  911 / 1000    54.9s STM Saturn.Spsc_queue test parallel
[ ]  912    0    0  912 / 1000    55.0s STM Saturn.Spsc_queue test parallel
[ ]  916    0    0  916 / 1000    55.1s STM Saturn.Spsc_queue test parallel
[ ]  926    0    0  926 / 1000    55.3s STM Saturn.Spsc_queue test parallel
[ ]  931    0    0  931 / 1000    55.4s STM Saturn.Spsc_queue test parallel
[ ]  932    0    0  932 / 1000    55.5s STM Saturn.Spsc_queue test parallel
[ ]  937    0    0  937 / 1000    55.7s STM Saturn.Spsc_queue test parallel
[ ]  938    0    0  938 / 1000    55.9s STM Saturn.Spsc_queue test parallel
[ ]  944    0    0  944 / 1000    56.0s STM Saturn.Spsc_queue test parallel
[ ]  949    0    0  949 / 1000    56.5s STM Saturn.Spsc_queue test parallel
[ ]  950    0    0  950 / 1000    57.1s STM Saturn.Spsc_queue test parallel
[ ]  951    0    0  951 / 1000    57.3s STM Saturn.Spsc_queue test parallel
[ ]  952    0    0  952 / 1000    57.4s STM Saturn.Spsc_queue test parallel
[ ]  953    0    0  953 / 1000    57.7s STM Saturn.Spsc_queue test parallel
[ ]  958    0    0  958 / 1000    58.5s STM Saturn.Spsc_queue test parallel
[ ]  962    0    0  962 / 1000    58.6s STM Saturn.Spsc_queue test parallel
[ ]  967    0    0  967 / 1000    58.8s STM Saturn.Spsc_queue test parallel
[ ]  969    0    0  969 / 1000    59.3s STM Saturn.Spsc_queue test parallel
[ ]  972    0    0  972 / 1000    59.8s STM Saturn.Spsc_queue test parallel
[ ]  975    0    0  975 / 1000    59.9s STM Saturn.Spsc_queue test parallel
[ ]  978    0    0  978 / 1000    60.5s STM Saturn.Spsc_queue test parallel
[ ]  979    0    0  979 / 1000    60.7s STM Saturn.Spsc_queue test parallel
[ ]  981    0    0  981 / 1000    61.2s STM Saturn.Spsc_queue test parallel
[ ]  982    0    0  982 / 1000    61.3s STM Saturn.Spsc_queue test parallel
[ ]  983    0    0  983 / 1000    61.8s STM Saturn.Spsc_queue test parallel
[ ]  985    0    0  985 / 1000    62.6s STM Saturn.Spsc_queue test parallel
[ ]  989    0    0  989 / 1000    62.7s STM Saturn.Spsc_queue test parallel
[ ]  991    0    0  991 / 1000    63.0s STM Saturn.Spsc_queue test parallel
[ ]  992    0    0  992 / 1000    63.2s STM Saturn.Spsc_queue test parallel
[ ]  993    0    0  993 / 1000    63.3s STM Saturn.Spsc_queue test parallel
[ ]  994    0    0  994 / 1000    63.5s STM Saturn.Spsc_queue test parallel
[ ]  995    0    0  995 / 1000    63.8s STM Saturn.Spsc_queue test parallel
[ ]  996    0    0  996 / 1000    64.4s STM Saturn.Spsc_queue test parallel
[ ]  997    0    0  997 / 1000    64.6s STM Saturn.Spsc_queue test parallel
[ ]  999    0    0  999 / 1000    64.9s STM Saturn.Spsc_queue test parallel
[✓] 1000    0    0 1000 / 1000    64.9s STM Saturn.Spsc_queue test parallel
- 
[ ]    0    0    0    0 / 1000     0.0s STM Saturn.Spsc_queue test parallel, negative
[ ]    0    0    0    0 / 1000     0.1s STM Saturn.Spsc_queue test parallel, negative (shrinking:    0.0001)
[ ]    0    0    0    0 / 1000     0.2s STM Saturn.Spsc_queue test parallel, negative (shrinking:    1.0001)
[ ]    0    0    0    0 / 1000     0.3s STM Saturn.Spsc_queue test parallel, negative (shrinking:    2.0001)
[ ]    0    0    0    0 / 1000     0.5s STM Saturn.Spsc_queue test parallel, negative (shrinking:    4)
[ ]    0    0    0    0 / 1000     0.6s STM Saturn.Spsc_queue test parallel, negative (shrinking:    6)
[ ]    0    0    0    0 / 1000     0.8s STM Saturn.Spsc_queue test parallel, negative (shrinking:    8)
[ ]    0    0    0    0 / 1000     0.9s STM Saturn.Spsc_queue test parallel, negative (shrinking:   17)
[ ]    0    0    0    0 / 1000     1.0s STM Saturn.Spsc_queue test parallel, negative (shrinking:   19.0002)
[ ]    0    0    0    0 / 1000     2.0s STM Saturn.Spsc_queue test parallel, negative (shrinking:   19.0003)
[ ]    0    0    0    0 / 1000     2.1s STM Saturn.Spsc_queue test parallel, negative (shrinking:   20.0002)
[ ]    0    0    0    0 / 1000     2.8s STM Saturn.Spsc_queue test parallel, negative (shrinking:   23.0002)
[ ]    0    0    0    0 / 1000     2.9s STM Saturn.Spsc_queue test parallel, negative (shrinking:   23.0003)
[ ]    0    0    0    0 / 1000     3.0s STM Saturn.Spsc_queue test parallel, negative (shrinking:   24.0002)
[ ]    0    0    0    0 / 1000     3.2s STM Saturn.Spsc_queue test parallel, negative (shrinking:   25.0003)
[ ]    0    0    0    0 / 1000     3.4s STM Saturn.Spsc_queue test parallel, negative (shrinking:   25.0005)
[ ]    0    0    0    0 / 1000     4.4s STM Saturn.Spsc_queue test parallel, negative (shrinking:   26.0002)
[ ]    0    0    0    0 / 1000     4.6s STM Saturn.Spsc_queue test parallel, negative (shrinking:   26.0004)
[ ]    0    0    0    0 / 1000     4.8s STM Saturn.Spsc_queue test parallel, negative (shrinking:   27.0002)
[ ]    0    0    0    0 / 1000     4.9s STM Saturn.Spsc_queue test parallel, negative (shrinking:   27.0004)
[ ]    0    0    0    0 / 1000     5.1s STM Saturn.Spsc_queue test parallel, negative (shrinking:   27.0005)
[ ]    0    0    0    0 / 1000     5.3s STM Saturn.Spsc_queue test parallel, negative (shrinking:   28.0002)
[ ]    0    0    0    0 / 1000     5.5s STM Saturn.Spsc_queue test parallel, negative (shrinking:   28.0004)
[ ]    1    0    1    0 / 1000     5.6s STM Saturn.Spsc_queue test parallel, negative
[✓]    1    0    1    0 / 1000     5.6s STM Saturn.Spsc_queue test parallel, negative
- 
- --- Info -----------------------------------------------------------------------
- 
- Negative test STM Saturn.Spsc_queue test parallel, negative failed as expected (28 shrink steps):
- 
-                        |                 
-                      Push 4              
-                        |                 
-             .---------------------.
-             |                     |                 
-            Peek                  Pop                
- 
- 
- +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
- 
- Messages for test STM Saturn.Spsc_queue test parallel, negative:
- 
-   Results incompatible with linearized model
- 
-                                                                                                    |                                               
-                                                                                             Push 4 : Ok (())                                       
-                                                                                                    |                                               
-                                                    .-----------------------------------------------------------------------------------------------.
-                                                    |                                                                                               |                                               
-      Peek : Error (File "src_lockfree/spsc_queue.ml", line 103, characters 25-31: Assertion failed)                                           Pop : Ok (4)                                         
- 
- ================================================================================
- success (ran 3 tests)
-> compiled  saturn.0.4.1
-> removed   saturn.0.4.1
-> installed saturn.0.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:15.40 ---> saved as "ee01db4f3134bf1366db468571df5cea63a17961c8adc82163117a7b2a01dded"
Job succeeded
2024-02-12 20:15.49: Job succeeded