2024-10-28 09:34.48: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/heads/lock-free-bounded-queue (72af6bf75f888ac95eb037f35504de4be8f491e8) (test:windows-server-2022-5.2_opam-2.2)
Base: windows-server-2022-ocaml-5.2
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/saturn.git" -b "lock-free-bounded-queue" && cd "saturn" && git reset --hard 72af6bf7
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM windows-server-2022-ocaml-5.2
# windows-server-2022-5.2_opam-2.2
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN ln -f /usr/bin/opam-2.2 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e b8e118d3efb119e22f2e979ec1c6aa3e5aacdeff || git fetch origin master) && git reset -q --hard b8e118d3efb119e22f2e979ec1c6aa3e5aacdeff && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 saturn_lockfree.opam saturn.opam /Users/opam/Documents/./
RUN opam pin add -yn saturn_lockfree.dev '/Users/opam/Documents/./' && \
opam pin add -yn saturn.dev '/Users/opam/Documents/./'
ENV DEPS="alcotest.1.8.0 arch-x86_64.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-mingw-w64-gcc-x86_64.1 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 flexdll.0.43 fmt.0.9.0 host-arch-x86_64.1 host-system-mingw.1 mingw-w64-shims.0.2.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.5 oseq.0.5.1 ounit2.2.2.7 picos.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 system-mingw.1 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /Users/opam/Documents
RUN cd /cygdrive/c/Users/opam/Documents && opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2024-10-28 09:34.48: Using cache hint "ocaml-multicore/saturn-windows-server-2022-ocaml-5.2-windows-server-2022-5.2_opam-2.2-eed78e9b2d7b5d24a3d37068d4a43de7"
2024-10-28 09:34.48: Using OBuilder spec:
((from windows-server-2022-ocaml-5.2)
(comment windows-server-2022-5.2_opam-2.2)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e b8e118d3efb119e22f2e979ec1c6aa3e5aacdeff || git fetch origin master) && git reset -q --hard b8e118d3efb119e22f2e979ec1c6aa3e5aacdeff && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src saturn_lockfree.opam saturn.opam) (dst /Users/opam/Documents/./))
(run (network host)
(shell "opam pin add -yn saturn_lockfree.dev '/Users/opam/Documents/./' && \
\nopam pin add -yn saturn.dev '/Users/opam/Documents/./'"))
(env DEPS "alcotest.1.8.0 arch-x86_64.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-mingw-w64-gcc-x86_64.1 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 flexdll.0.43 fmt.0.9.0 host-arch-x86_64.1 host-system-mingw.1 mingw-w64-shims.0.2.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.5 oseq.0.5.1 ounit2.2.2.7 picos.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 system-mingw.1 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /Users/opam/Documents))
(run (shell "cd /cygdrive/c/Users/opam/Documents && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2024-10-28 09:34.48: Waiting for resource in pool OCluster
2024-10-28 13:29.31: Waiting for worker…
2024-10-28 17:06.11: Got resource from pool OCluster
Building on odawa
All commits already cached
HEAD is now at 72af6bf A lock-free bounded queue
(from windows-server-2022-ocaml-5.2)
2024-10-28 17:06.11 ---> using "d06d42c2ce15c2a01b42f8b17cebab1b932321c607f2ddc4dd5ddd2822e824d3" from cache
/: (comment windows-server-2022-5.2_opam-2.2)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (run (shell "ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2024-10-28 17:06.11 ---> using "07caa043e99d274e8f5c24f90a23801bfecd8668fdfc89cbec291632f95cbe1d" from cache
/: (run (shell "opam init --reinit -ni"))
No configuration file found, using built-in defaults.
<><> Unix support infrastructure ><><><><><><><><><><><><><><><><><><><><><><><>
opam and the OCaml ecosystem in general require various Unix tools in order to operate correctly. At present, this requires the installation of Cygwin to provide these tools.
How should opam obtain Unix tools?
> 1. Use tools found in PATH (Cygwin installation at C:\cygwin64)
2. Automatically create an internal Cygwin installation that will be managed by opam (recommended)
3. Use Cygwin installation found in C:\cygwin64
4. Use another existing Cygwin/MSYS2 installation
5. Abort initialisation
[1/2/3/4/5] 1
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file://C:/Users/opam/opam-repository
2024-10-28 17:06.11 ---> using "48ce3edf601a937b33429fd277fc6d82f6328efd928637b9587c355ec03792b9" from cache
/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
CYGWIN_NT-10.0-20348 3.5.4-1.x86_64
The OCaml toplevel, version 5.2.0
2.2.1
2024-10-28 17:06.11 ---> using "51ad9d179da4b254f08dbbab0e5e269388b9181b90328f4f7a98acabc90e86a1" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e b8e118d3efb119e22f2e979ec1c6aa3e5aacdeff || git fetch origin master) && git reset -q --hard b8e118d3efb119e22f2e979ec1c6aa3e5aacdeff && git log --no-decorate -n1 --oneline && opam update -u"))
b8e118d3ef Merge pull request #26758 from polytypic/release-multicore-bench-0.1.7
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file://C:/Users/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-10-28 17:08.15 ---> saved as "7fea2f36eedecb2333a11236a02f5035b161ef607378e6694a84361fdf450c63"
/: (copy (src saturn_lockfree.opam saturn.opam)
(dst /Users/opam/Documents/./))
2024-10-28 17:08.16 ---> saved as "4a3ec97ce12a4ed90fd2f070120cee74520ffcb4a21f9a414020b2b518da39b5"
/: (run (network host)
(shell "opam pin add -yn saturn_lockfree.dev '/Users/opam/Documents/./' && \
\nopam pin add -yn saturn.dev '/Users/opam/Documents/./'"))
[saturn_lockfree.dev] synchronised (file://C:/Users/opam/Documents/.)
saturn_lockfree is now pinned to file://C:/Users/opam/Documents/. (version dev)
[saturn.dev] synchronised (file://C:/Users/opam/Documents/.)
saturn is now pinned to file://C:/Users/opam/Documents/. (version dev)
2024-10-28 17:08.31 ---> saved as "f25aee68ad5839e768de8013185e5f14004ab621b653d5951c53da6f55e08e94"
/: (env DEPS "alcotest.1.8.0 arch-x86_64.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-mingw-w64-gcc-x86_64.1 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 flexdll.0.43 fmt.0.9.0 host-arch-x86_64.1 host-system-mingw.1 mingw-w64-shims.0.2.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.5 oseq.0.5.1 ounit2.2.2.7 picos.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 system-mingw.1 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")
/: (env CI true)
/: (env OCAMLCI true)
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[saturn.dev] synchronised (no changes)
[saturn_lockfree.dev] synchronised (no changes)
[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.43).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
[NOTE] Package arch-x86_64 is already installed (current version is 1).
2024-10-28 17:08.57 ---> saved as "b5572f40c2526cfd0d7c2ae681e208bdfad92ce374a6f109e858524654d20e17"
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.43).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
[NOTE] Package arch-x86_64 is already installed (current version is 1).
The following actions will be performed:
=== install 38 packages
- install alcotest 1.8.0
- install astring 0.8.5
- install backoff 0.1.1
- install cmdliner 1.3.0
- install containers 3.14
- install csexp 1.5.2
- install domain-local-await 1.0.1
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.16.0
- install dune-configurator 3.16.0
- install either 1.0.0
- install fmt 0.9.0
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.0
- install multicore-magic-dscheck 2.3.0
- install ocaml-syntax-shims 1.0.0
- install ocamlbuild 0.15.0
- install ocamlfind 1.9.5
- install oseq 0.5.1
- install ounit2 2.2.7
- install picos 0.5.0
- install qcheck 0.22
- install qcheck-alcotest 0.22
- install qcheck-core 0.22
- install qcheck-multicoretests-util 0.4
- install qcheck-ounit 0.22
- install qcheck-stm 0.4
- install re 1.12.0
- install seq base
- install stdlib-shims 0.3.0
- install thread-local-storage 0.2
- install thread-table 1.0.0
- install topkg 1.0.7
- install tsort 2.1.0
- install uutf 1.0.3
- install yojson 2.2.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved containers.3.14 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved domain_shims.0.1.0 (https://gitlab.com/gasche/domain-shims/-/archive/0.1.0/domain-shims-0.1.0.tar.gz)
-> retrieved fmt.0.9.0 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-magic.2.3.0, multicore-magic-dscheck.2.3.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved multicore-bench.0.1.7 (https://github.com/ocaml-multicore/multicore-bench/releases/download/0.1.7/multicore-bench-0.1.7.tbz)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlfind.1.9.5 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ounit2.2.2.7 (cached)
-> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22 (cached)
-> retrieved qcheck-multicoretests-util.0.4, qcheck-stm.0.4 (cached)
-> retrieved picos.0.5.0 (https://github.com/ocaml-multicore/picos/releases/download/0.5.0/picos-0.5.0.tbz)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved thread-local-storage.0.2 (https://github.com/c-cube/thread-local-storage/releases/download/v0.2/thread-local-storage-0.2.tbz)
-> retrieved tsort.2.1.0 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved yojson.2.2.2 (cached)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.15.0
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind_opt
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\5.2.0\.opam-switch\build\ocamlfind.1.9.5\src\findlib\ocamlfind.exe
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\5.2.0\.opam-switch\build\ocamlfind.1.9.5\src\findlib\ocamlfind_opt.exe
[WARNING] C:\Users\opam\AppData\Local\opam\5.2.0\bin\safe_camlp4 is a script; the command won't be available
-> installed ocamlfind.1.9.5
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed astring.0.8.5
-> installed fmt.0.9.0
-> installed mtime.2.1.0
-> installed dune.3.16.0
-> installed backoff.0.1.1
-> installed csexp.1.5.2
-> installed domain_shims.0.1.0
-> installed either.1.0.0
-> installed multicore-magic.2.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed oseq.0.5.1
-> installed qcheck-core.0.22
-> installed re.1.12.0
-> installed stdlib-shims.0.3.0
-> installed thread-local-storage.0.2
-> installed qcheck-multicoretests-util.0.4
-> installed thread-table.1.0.0
-> installed tsort.2.1.0
-> installed yojson.2.2.2
-> installed picos.0.5.0
-> installed domain-local-await.1.0.1
-> installed dune-configurator.3.16.0
-> installed qcheck-stm.0.4
-> installed alcotest.1.8.0
-> installed ounit2.2.2.7
-> installed multicore-bench.0.1.7
-> installed qcheck-alcotest.0.22
-> installed qcheck-ounit.0.22
-> installed qcheck.0.22
-> installed containers.3.14
-> installed dscheck.0.5.0
-> installed multicore-magic-dscheck.2.3.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-10-28 17:11.08 ---> saved as "d4490524fcc627a5602138b496834754f7210e7587818b648df4c9351c95261f"
/: (copy (src .) (dst /Users/opam/Documents))
2024-10-28 17:11.09 ---> saved as "a724d6076495252c0a13f94fa2ba590ad7d901fed0a3f08ca1be956b8c11f766"
/: (run (shell "cd /cygdrive/c/Users/opam/Documents && opam exec -- dune build @install @check @runtest && rm -rf _build"))
(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 = 63879, stolen = 36121)
(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)
test_Spsc_queue_unsafe_empty: ok
test_Spsc_queue_unsafe_full: ok
test_Spsc_queue_unsafe_parallel: ok (transferred = 100000)
(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 292795121
Testing `Treiber_stack'.
This run has ID `CRKX8Q4C'.
[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 `~\Documents\_build\default\test\treiber_stack\_build\_tests\CRKX8Q4C'.
Test Successful in 0.406s. 6 tests run.
(cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe)
qcheck random seed: 265078811
Testing `Ws_deque'.
This run has ID `8R2NP1F3'.
[OK] one_producer 0 pops_are_in_order.
[OK] one_producer 1 pop_on_empty_deque_raises_exit.
[OK] one_producer_one_stealer 0 steals_are_in_order.
[OK] one_producer_one_stealer 1 parallel_pushes_and_steals.
[OK] one_producer_one_stealer 2 parallel_pops_and_steals.
[OK] one_producer_two_stealers 0 parallel_steals.
Full test results in `~\Documents\_build\default\test\ws_deque\_build\_tests\8R2NP1F3'.
Test Successful in 0.891s. 6 tests run.
(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 67399129
Testing `Michael_scott_queue'.
This run has ID `D53B45M6'.
[OK] test_sequential_safe 0 push.
[OK] test_sequential_safe 1 push_pop_opt_until_empty.
[OK] test_sequential_safe 2 fifo.
[OK] test_sequential_safe 3 fifo_peek_opt.
[OK] one_cons_one_prod_safe 0 parallel_fifo.
[OK] one_cons_one_prod_safe 1 parallel_peek.
[OK] two_domains_safe 0 parallel_pop_opt_push.
[OK] two_domains_safe 1 parallel_pop_opt_push_random.
[OK] test_sequential_unsafe 0 push.
[OK] test_sequential_unsafe 1 push_pop_opt_until_empty.
[OK] test_sequential_unsafe 2 fifo.
[OK] test_sequential_unsafe 3 fifo_peek_opt.
[OK] one_cons_one_prod_unsafe 0 parallel_fifo.
[OK] one_cons_one_prod_unsafe 1 parallel_peek.
[OK] two_domains_unsafe 0 parallel_pop_opt_push.
[OK] two_domains_unsafe 1 parallel_pop_opt_push_random.
Full test results in `~\Documents\_build\default\test\michael_scott_queue\_build\_tests\D53B45M6'.
Test Successful in 1.641s. 16 tests run.
(cd _build/default/test/mpsc_queue && ./mpsc_queue_dscheck.exe)
Testing `mpsc_queue_dscheck'.
This run has ID `MSGN3BEX'.
[OK] basic 0 1-producer-1-consumer.
[OK] basic 1 1-producer-1-consumer-peek.
[OK] basic 2 2-producers.
Full test results in `~\Documents\_build\default\test\mpsc_queue\_build\_tests\MSGN3BEX'.
Test Successful in 0.016s. 3 tests run.
(cd _build/default/test/treiber_stack && ./treiber_stack_dscheck.exe)
Testing `treiber_stack_dscheck'.
This run has ID `33797MUN'.
[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 `~\Documents\_build\default\test\treiber_stack\_build\_tests\33797MUN'.
Test Successful in 0.141s. 5 tests run.
(cd _build/default/test/spsc_queue && ./spsc_queue_dscheck.exe)
Testing `spsc_queue_dscheck'.
This run has ID `2FE2P5EF'.
[OK] basic_safe 0 simple-test.
[OK] wrap-arounds_safe 0 shift-by-1.
[OK] wrap-arounds_safe 1 shift-by-6.
[OK] wrap-arounds_safe 2 shift-by-11.
[OK] size_safe 0 linearizes-with-1-thr.
[OK] basic_unsafe 0 simple-test.
[OK] wrap-arounds_unsafe 0 shift-by-1.
[OK] wrap-arounds_unsafe 1 shift-by-6.
[OK] wrap-arounds_unsafe 2 shift-by-11.
[OK] size_unsafe 0 linearizes-with-1-thr.
Full test results in `~\Documents\_build\default\test\spsc_queue\_build\_tests\2FE2P5EF'.
Test Successful in 0.063s. 10 tests run.
(cd _build/default/test/size && ./dscheck_size.exe)
Testing `dscheck_size'.
This run has ID `BVCRK36N'.
[OK] basic 0 underflow and overflow.
[OK] basic 1 2-mem.
[OK] basic 2 2-add-same.
[OK] basic 3 2-add.
[OK] basic 4 2-remove-same.
[OK] basic 5 2-remove.
Full test results in `~\Documents\_build\default\test\size\_build\_tests\BVCRK36N'.
Test Successful in 0.016s. 6 tests run.
(cd _build/default/test/ws_deque && ./ws_deque_dscheck.exe)
Testing `ws_deque_dscheck'.
This run has ID `Z3GKL5LC'.
[OK] basic 0 1-owner-1-stealer.
[OK] basic 1 1-pusher-2-stealers.
Full test results in `~\Documents\_build\default\test\ws_deque\_build\_tests\Z3GKL5LC'.
Test Successful in 0.000s. 2 tests run.
(cd _build/default/test/michael_scott_queue && ./michael_scott_queue_dscheck.exe)
Testing `michael_scott_queue_dscheck'.
This run has ID `VIS024IQ'.
[OK] basic_safe 0 1-producer-1-consumer.
[OK] basic_safe 1 1-producer-1-consumer-peek.
[OK] basic_safe 2 2-producers.
[OK] basic_safe 3 2-domains.
[OK] basic_unsafe 0 1-producer-1-consumer.
[OK] basic_unsafe 1 1-producer-1-consumer-peek.
[OK] basic_unsafe 2 2-producers.
[OK] basic_unsafe 3 2-domains.
Full test results in `~\Documents\_build\default\test\michael_scott_queue\_build\_tests\VIS024IQ'.
Test Successful in 0.047s. 8 tests run.
(cd _build/default/test/skiplist && ./dscheck_skiplist.exe)
Testing `DSCheck Skiplist'.
This run has ID `6VAORL8E'.
[OK] basic 0 max_height_of.
[OK] basic 1 2-mem.
[OK] basic 2 2-add-same.
[OK] basic 3 2-add.
[OK] basic 4 2-remove-same.
[OK] basic 5 2-remove.
Full test results in `~\Documents\_build\default\test\skiplist\_build\_tests\6VAORL8E'.
Test Successful in 0.031s. 6 tests run.
(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
qcheck random seed: 413408830
Testing `Mpsc_queue'.
This run has ID `KZORHNY0'.
[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 `~\Documents\_build\default\test\mpsc_queue\_build\_tests\KZORHNY0'.
Test Successful in 3.703s. 22 tests run.
(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
qcheck random seed: 555799575
Testing `Spsc_queues'.
This run has ID `BL2OUOTI'.
[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.
[OK] Spsc_queue_unsafe 0 seq_pop_opt_push.
[OK] Spsc_queue_unsafe 1 seq_pop_push.
[OK] Spsc_queue_unsafe 2 seq_pop_try_push.
[OK] Spsc_queue_unsafe 3 par_pop_push.
[OK] Spsc_queue_unsafe 4 push_full.
[OK] Spsc_queue_unsafe 5 seq_peek_opt.
[OK] Spsc_queue_unsafe 6 seq_peek.
[OK] Spsc_queue_unsafe 7 par_peek_opt.
Full test results in `~\Documents\_build\default\test\spsc_queue\_build\_tests\BL2OUOTI'.
Test Successful in 2.578s. 16 tests run.
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 858428475
Testing `QCheck Skiplist'.
This run has ID `JAWHXTSK'.
[OK] test_sequential 0 add.
[OK] test_sequential 1 add_remove.
[OK] test_sequential 2 add_find.
[OK] test_sequential 3 add_remove_find.
[OK] tests_two_domains 0 parallel_add.
[OK] tests_two_domains 1 parallel_add_remove.
[OK] tests_two_domains 2 parallel_add_remove_same_list.
Full test results in `~\Documents\_build\default\test\skiplist\_build\_tests\JAWHXTSK'.
Test Successful in -25183.752s. 7 tests run.
(cd _build/default/bench && ./main.exe -brief)
Saturn Relaxed_queue:
messages over time/1 adder, 1 taker (cas):
5.41 M/s
messages over time/1 adder, 1 taker (not lf):
3.71 M/s
messages over time/1 adder, 1 taker (spin):
4.32 M/s
messages over time/1 adder, 2 takers (cas):
4.09 M/s
messages over time/1 adder, 2 takers (not lf):
4.46 M/s
messages over time/1 adder, 2 takers (spin):
2.94 M/s
messages over time/2 adders, 1 taker (cas):
5.84 M/s
messages over time/2 adders, 1 taker (not lf):
5.98 M/s
messages over time/2 adders, 1 taker (spin):
7.06 M/s
messages over time/2 adders, 2 takers (cas):
4.74 M/s
messages over time/2 adders, 2 takers (not lf):
5.51 M/s
messages over time/2 adders, 2 takers (spin):
5.63 M/s
time per message/1 adder, 1 taker (cas):
369.98 ns
time per message/1 adder, 1 taker (not lf):
538.76 ns
time per message/1 adder, 1 taker (spin):
462.69 ns
time per message/1 adder, 2 takers (cas):
733.14 ns
time per message/1 adder, 2 takers (not lf):
672.84 ns
time per message/1 adder, 2 takers (spin):
1019.01 ns
time per message/2 adders, 1 taker (cas):
513.98 ns
time per message/2 adders, 1 taker (not lf):
501.64 ns
time per message/2 adders, 1 taker (spin):
425.23 ns
time per message/2 adders, 2 takers (cas):
843.00 ns
time per message/2 adders, 2 takers (not lf):
726.05 ns
time per message/2 adders, 2 takers (spin):
710.70 ns
Saturn_lockfree Cue:
messages over time/1 nb adder, 1 nb taker:
32.13 M/s
messages over time/1 nb adder, 2 nb takers:
22.79 M/s
messages over time/2 nb adders, 1 nb taker:
30.98 M/s
messages over time/2 nb adders, 2 nb takers:
23.34 M/s
messages over time/one domain:
3.74 M/s
time per message/1 nb adder, 1 nb taker:
62.25 ns
time per message/1 nb adder, 2 nb takers:
131.61 ns
time per message/2 nb adders, 1 nb taker:
96.84 ns
time per message/2 nb adders, 2 nb takers:
171.40 ns
time per message/one domain:
267.06 ns
Saturn_lockfree Queue:
messages over time/1 nb adder, 1 nb taker:
19.21 M/s
messages over time/1 nb adder, 2 nb takers:
11.54 M/s
messages over time/2 nb adders, 1 nb taker:
13.40 M/s
messages over time/2 nb adders, 2 nb takers:
16.78 M/s
messages over time/one domain:
3.53 M/s
time per message/1 nb adder, 1 nb taker:
104.12 ns
time per message/1 nb adder, 2 nb takers:
260.01 ns
time per message/2 nb adders, 1 nb taker:
223.91 ns
time per message/2 nb adders, 2 nb takers:
238.34 ns
time per message/one domain:
283.53 ns
Saturn_lockfree Single_prod_single_cons_queue:
messages over time/2 workers, capacity 1:
1.62 M/s
messages over time/2 workers, capacity 1 (unsafe):
1.51 M/s
messages over time/2 workers, capacity 32768:
7.77 M/s
messages over time/2 workers, capacity 32768 (unsafe):
46.99 M/s
messages over time/2 workers, capacity 4096:
7.09 M/s
messages over time/2 workers, capacity 4096 (unsafe):
19.72 M/s
messages over time/2 workers, capacity 512:
6.75 M/s
messages over time/2 workers, capacity 512 (unsafe):
12.27 M/s
messages over time/2 workers, capacity 64:
5.25 M/s
messages over time/2 workers, capacity 64 (unsafe):
7.79 M/s
messages over time/2 workers, capacity 8:
3.18 M/s
messages over time/2 workers, capacity 8 (unsafe):
3.77 M/s
time per message/2 workers, capacity 1:
1237.36 ns
time per message/2 workers, capacity 1 (unsafe):
1322.09 ns
time per message/2 workers, capacity 32768:
257.47 ns
time per message/2 workers, capacity 32768 (unsafe):
42.56 ns
time per message/2 workers, capacity 4096:
282.11 ns
time per message/2 workers, capacity 4096 (unsafe):
101.42 ns
time per message/2 workers, capacity 512:
296.16 ns
time per message/2 workers, capacity 512 (unsafe):
163.05 ns
time per message/2 workers, capacity 64:
380.62 ns
time per message/2 workers, capacity 64 (unsafe):
256.73 ns
time per message/2 workers, capacity 8:
629.55 ns
time per message/2 workers, capacity 8 (unsafe):
530.83 ns
Saturn_lockfree Size:
operations over time/1 worker:
36.65 M/s
operations over time/2 workers:
70.32 M/s
operations over time/4 workers:
133.53 M/s
time per operation/1 worker:
27.29 ns
time per operation/2 workers:
28.44 ns
time per operation/4 workers:
29.95 ns
Saturn_lockfree Skiplist:
operations over time/1 workers, 10% mem 45% add 45% rem:
0.90 M/s
operations over time/1 workers, 50% mem 25% add 25% rem:
1.03 M/s
operations over time/1 workers, 90% mem 5% add 5% rem:
1.68 M/s
operations over time/2 workers, 10% mem 45% add 45% rem:
1.88 M/s
operations over time/2 workers, 50% mem 25% add 25% rem:
2.37 M/s
operations over time/2 workers, 90% mem 5% add 5% rem:
3.32 M/s
operations over time/4 workers, 10% mem 45% add 45% rem:
3.27 M/s
operations over time/4 workers, 50% mem 25% add 25% rem:
4.98 M/s
operations over time/4 workers, 90% mem 5% add 5% rem:
7.33 M/s
time per operation/1 workers, 10% mem 45% add 45% rem:
1114.43 ns
time per operation/1 workers, 50% mem 25% add 25% rem:
974.11 ns
time per operation/1 workers, 90% mem 5% add 5% rem:
594.83 ns
time per operation/2 workers, 10% mem 45% add 45% rem:
1061.38 ns
time per operation/2 workers, 50% mem 25% add 25% rem:
845.38 ns
time per operation/2 workers, 90% mem 5% add 5% rem:
602.47 ns
time per operation/4 workers, 10% mem 45% add 45% rem:
1224.87 ns
time per operation/4 workers, 50% mem 25% add 25% rem:
802.60 ns
time per operation/4 workers, 90% mem 5% add 5% rem:
545.64 ns
Saturn_lockfree Stack:
messages over time/1 adder, 1 taker:
28.75 M/s
messages over time/1 adder, 2 takers:
21.87 M/s
messages over time/2 adders, 1 taker:
27.22 M/s
messages over time/2 adders, 2 takers:
25.38 M/s
messages over time/one domain:
30.73 M/s
time per message/1 adder, 1 taker:
69.57 ns
time per message/1 adder, 2 takers:
137.19 ns
time per message/2 adders, 1 taker:
110.22 ns
time per message/2 adders, 2 takers:
157.59 ns
time per message/one domain:
32.54 ns
Saturn_lockfree Work_stealing_deque:
messages over time/1 adder, 1 taker:
8.71 M/s
messages over time/1 adder, 2 takers:
10.28 M/s
messages over time/1 adder, 4 takers:
5.85 M/s
messages over time/one domain (FIFO):
23.96 M/s
messages over time/one domain (LIFO):
21.38 M/s
spawns over time/1 worker:
18.42 M/s
spawns over time/2 workers:
12.69 M/s
spawns over time/4 workers:
34.54 M/s
spawns over time/8 workers:
39.42 M/s
time per message/1 adder, 1 taker:
229.69 ns
time per message/1 adder, 2 takers:
291.76 ns
time per message/1 adder, 4 takers:
854.14 ns
time per message/one domain (FIFO):
41.73 ns
time per message/one domain (LIFO):
46.77 ns
time per spawn/1 worker:
54.28 ns
time per spawn/2 workers:
157.58 ns
time per spawn/4 workers:
115.80 ns
time per spawn/8 workers:
202.93 ns
(cd _build/default/test/mpmc_relaxed_queue && ./test_mpmc_relaxed_queue.exe)
Testing `Mpmc_queue'.
This run has ID `S7SI8NW9'.
[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 `~\Documents\_build\default\test\mpmc_relaxed_queue\_build\_tests\S7SI8NW9'.
Test Successful in -25172.190s. 9 tests run.
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)
random seed: 3475529256856617065
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[ ] 1 0 0 1 / 32 0.4s Saturn_lockfree.Treiber_stack parallel
[ ] 2 0 0 2 / 32 0.5s Saturn_lockfree.Treiber_stack parallel
[ ] 4 0 0 4 / 32 0.7s Saturn_lockfree.Treiber_stack parallel
[ ] 6 0 0 6 / 32 0.8s Saturn_lockfree.Treiber_stack parallel
[ ] 8 0 0 8 / 32 0.9s Saturn_lockfree.Treiber_stack parallel
[ ] 10 0 0 10 / 32 1.1s Saturn_lockfree.Treiber_stack parallel
[ ] 12 0 0 12 / 32 1.4s Saturn_lockfree.Treiber_stack parallel
[ ] 13 0 0 13 / 32 1.6s Saturn_lockfree.Treiber_stack parallel
[ ] 15 0 0 15 / 32 1.7s Saturn_lockfree.Treiber_stack parallel
[ ] 16 0 0 16 / 32 1.8s Saturn_lockfree.Treiber_stack parallel
[ ] 18 0 0 18 / 32 2.0s Saturn_lockfree.Treiber_stack parallel
[ ] 19 0 0 19 / 32 2.3s Saturn_lockfree.Treiber_stack parallel
[ ] 20 0 0 20 / 32 2.4s Saturn_lockfree.Treiber_stack parallel
[ ] 23 0 0 23 / 32 2.6s Saturn_lockfree.Treiber_stack parallel
[ ] 25 0 0 25 / 32 2.9s Saturn_lockfree.Treiber_stack parallel
[ ] 27 0 0 27 / 32 3.2s Saturn_lockfree.Treiber_stack parallel
[ ] 29 0 0 29 / 32 3.3s Saturn_lockfree.Treiber_stack parallel
[ ] 31 0 0 31 / 32 3.5s Saturn_lockfree.Treiber_stack parallel
[ ] 32 0 0 32 / 32 3.6s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 3.6s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2860810972652823809
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Treiber_stack parallel
[ ] 1 0 0 1 / 64 0.1s Saturn_lockfree.Treiber_stack parallel
[ ] 2 0 0 2 / 64 0.2s Saturn_lockfree.Treiber_stack parallel
[ ] 4 0 0 4 / 64 0.3s Saturn_lockfree.Treiber_stack parallel
[ ] 6 0 0 6 / 64 0.7s Saturn_lockfree.Treiber_stack parallel
[ ] 9 0 0 9 / 64 0.8s Saturn_lockfree.Treiber_stack parallel
[ ] 10 0 0 10 / 64 1.0s Saturn_lockfree.Treiber_stack parallel
[ ] 13 0 0 13 / 64 1.1s Saturn_lockfree.Treiber_stack parallel
[ ] 17 0 0 17 / 64 1.3s Saturn_lockfree.Treiber_stack parallel
[ ] 19 0 0 19 / 64 1.4s Saturn_lockfree.Treiber_stack parallel
[ ] 20 0 0 20 / 64 1.6s Saturn_lockfree.Treiber_stack parallel
[ ] 23 0 0 23 / 64 1.7s Saturn_lockfree.Treiber_stack parallel
[ ] 25 0 0 25 / 64 1.8s Saturn_lockfree.Treiber_stack parallel
[ ] 29 0 0 29 / 64 2.1s Saturn_lockfree.Treiber_stack parallel
[ ] 31 0 0 31 / 64 2.2s Saturn_lockfree.Treiber_stack parallel
[ ] 34 0 0 34 / 64 2.3s Saturn_lockfree.Treiber_stack parallel
[ ] 37 0 0 37 / 64 2.4s Saturn_lockfree.Treiber_stack parallel
[ ] 38 0 0 38 / 64 2.7s Saturn_lockfree.Treiber_stack parallel
[ ] 39 0 0 39 / 64 2.8s Saturn_lockfree.Treiber_stack parallel
[ ] 41 0 0 41 / 64 2.9s Saturn_lockfree.Treiber_stack parallel
[ ] 43 0 0 43 / 64 3.0s Saturn_lockfree.Treiber_stack parallel
[ ] 45 0 0 45 / 64 3.2s Saturn_lockfree.Treiber_stack parallel
[ ] 48 0 0 48 / 64 3.4s Saturn_lockfree.Treiber_stack parallel
[ ] 52 0 0 52 / 64 3.6s Saturn_lockfree.Treiber_stack parallel
[ ] 53 0 0 53 / 64 3.7s Saturn_lockfree.Treiber_stack parallel
[ ] 54 0 0 54 / 64 3.8s Saturn_lockfree.Treiber_stack parallel
[ ] 55 0 0 55 / 64 4.2s Saturn_lockfree.Treiber_stack parallel
[ ] 57 0 0 57 / 64 4.3s Saturn_lockfree.Treiber_stack parallel
[ ] 58 0 0 58 / 64 4.5s Saturn_lockfree.Treiber_stack parallel
[ ] 60 0 0 60 / 64 4.7s Saturn_lockfree.Treiber_stack parallel
[ ] 63 0 0 63 / 64 4.9s Saturn_lockfree.Treiber_stack parallel
[✓] 64 0 0 64 / 64 -25194.5s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2742928370017861292
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 9.8s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 394628686186025514
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 3.3s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 4255946660732855155
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 529338055703040009
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2231222362714203466
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 2.1s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 3825004770323339457
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 731274096420392612
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2720726763536233355
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 1960223018645209758
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 4254492479102099801
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 4605824342804166858
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 1468100586545708212
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2139244552031623176
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 295643598326867344
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 4258081428215320936
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 1294673740502302435
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2854062256872996002
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 397653851348501863
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 3017301367384990043
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 4123738610805315852
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 815967802553129335
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 116009649791108350
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 2.2s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 3551579303938529841
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 3454513130871108767
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2925036868353245653
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 434135279031365460
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2487220794798611992
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 1680726268378777417
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 660931724745224524
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/cue && ./stm_cue.exe --verbose)
random seed: 2393070060930167228
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[ ] 1 0 0 1 / 32 0.3s Saturn_lockfree.Cue parallel
[ ] 2 0 0 2 / 32 0.4s Saturn_lockfree.Cue parallel
[ ] 3 0 0 3 / 32 0.7s Saturn_lockfree.Cue parallel
[ ] 5 0 0 5 / 32 0.8s Saturn_lockfree.Cue parallel
[ ] 6 0 0 6 / 32 1.0s Saturn_lockfree.Cue parallel
[ ] 7 0 0 7 / 32 1.1s Saturn_lockfree.Cue parallel
[ ] 9 0 0 9 / 32 1.3s Saturn_lockfree.Cue parallel
[ ] 11 0 0 11 / 32 1.5s Saturn_lockfree.Cue parallel
[ ] 12 0 0 12 / 32 1.8s Saturn_lockfree.Cue parallel
[ ] 13 0 0 13 / 32 1.9s Saturn_lockfree.Cue parallel
[ ] 15 0 0 15 / 32 2.1s Saturn_lockfree.Cue parallel
[ ] 17 0 0 17 / 32 2.2s Saturn_lockfree.Cue parallel
[ ] 18 0 0 18 / 32 2.4s Saturn_lockfree.Cue parallel
[ ] 19 0 0 19 / 32 2.7s Saturn_lockfree.Cue parallel
[ ] 20 0 0 20 / 32 2.8s Saturn_lockfree.Cue parallel
[ ] 22 0 0 22 / 32 2.9s Saturn_lockfree.Cue parallel
[ ] 24 0 0 24 / 32 3.1s Saturn_lockfree.Cue parallel
[ ] 26 0 0 26 / 32 3.3s Saturn_lockfree.Cue parallel
[ ] 28 0 0 28 / 32 3.5s Saturn_lockfree.Cue parallel
[ ] 30 0 0 30 / 32 3.7s Saturn_lockfree.Cue parallel
[ ] 32 0 0 32 / 32 3.8s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 3.8s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 761319566226491484
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Cue sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Cue parallel
[ ] 2 0 0 2 / 64 0.3s Saturn_lockfree.Cue parallel
[ ] 4 0 0 4 / 64 0.4s Saturn_lockfree.Cue parallel
[ ] 6 0 0 6 / 64 0.5s Saturn_lockfree.Cue parallel
[ ] 9 0 0 9 / 64 0.8s Saturn_lockfree.Cue parallel
[ ] 12 0 0 12 / 64 0.9s Saturn_lockfree.Cue parallel
[ ] 14 0 0 14 / 64 1.1s Saturn_lockfree.Cue parallel
[ ] 17 0 0 17 / 64 1.2s Saturn_lockfree.Cue parallel
[ ] 19 0 0 19 / 64 1.3s Saturn_lockfree.Cue parallel
[ ] 23 0 0 23 / 64 1.5s Saturn_lockfree.Cue parallel
[ ] 24 0 0 24 / 64 1.7s Saturn_lockfree.Cue parallel
[ ] 26 0 0 26 / 64 1.8s Saturn_lockfree.Cue parallel
[ ] 30 0 0 30 / 64 2.0s Saturn_lockfree.Cue parallel
[ ] 31 0 0 31 / 64 2.1s Saturn_lockfree.Cue parallel
[ ] 35 0 0 35 / 64 2.3s Saturn_lockfree.Cue parallel
[ ] 39 0 0 39 / 64 2.4s Saturn_lockfree.Cue parallel
[ ] 42 0 0 42 / 64 2.5s Saturn_lockfree.Cue parallel
[ ] 43 0 0 43 / 64 2.7s Saturn_lockfree.Cue parallel
[ ] 45 0 0 45 / 64 2.8s Saturn_lockfree.Cue parallel
[ ] 48 0 0 48 / 64 3.1s Saturn_lockfree.Cue parallel
[ ] 52 0 0 52 / 64 3.2s Saturn_lockfree.Cue parallel
[ ] 56 0 0 56 / 64 3.4s Saturn_lockfree.Cue parallel
[ ] 59 0 0 59 / 64 3.5s Saturn_lockfree.Cue parallel
[ ] 62 0 0 62 / 64 3.7s Saturn_lockfree.Cue parallel
[ ] 64 0 0 64 / 64 3.8s Saturn_lockfree.Cue parallel
[✓] 64 0 0 64 / 64 3.8s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2222616974224135779
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Cue sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Cue parallel
[ ] 3 0 0 3 / 128 0.2s Saturn_lockfree.Cue parallel
[ ] 5 0 0 5 / 128 0.6s Saturn_lockfree.Cue parallel
[ ] 7 0 0 7 / 128 0.7s Saturn_lockfree.Cue parallel
[ ] 8 0 0 8 / 128 0.9s Saturn_lockfree.Cue parallel
[ ] 9 0 0 9 / 128 1.0s Saturn_lockfree.Cue parallel
[ ] 10 0 0 10 / 128 1.2s Saturn_lockfree.Cue parallel
[✓] 128 0 0 128 / 128 -25181.5s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2326280561322465456
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.1s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 1983274047152015366
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2360585541926946690
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 709735582678483968
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 756488948158425001
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 1296467570072537559
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 181126105487929028
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 213361004343531597
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 1694639268982176812
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.3s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2359092736627591491
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 541448910698274340
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 4336538355032175842
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 739826372573485906
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.1s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 1747537651930370933
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 1959615384677595455
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 407546022550350899
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2144938803484210568
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2692885292339702741
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 101096304280864412
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 3818659327589627897
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 4311376957701880824
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2318572364904153563
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 2363604386818424243
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 4504794799519520372
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 2.1s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
random seed: 710076304554736862
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Cue parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 1006677351612266247
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[ ] 1 0 0 1 / 32 0.4s Lockfree.Skiplist parallel
[ ] 2 0 0 2 / 32 0.6s Lockfree.Skiplist parallel
[ ] 4 0 0 4 / 32 0.8s Lockfree.Skiplist parallel
[ ] 6 0 0 6 / 32 1.1s Lockfree.Skiplist parallel
[ ] 8 0 0 8 / 32 1.3s Lockfree.Skiplist parallel
[ ] 9 0 0 9 / 32 1.5s Lockfree.Skiplist parallel
[ ] 10 0 0 10 / 32 1.6s Lockfree.Skiplist parallel
[ ] 12 0 0 12 / 32 1.9s Lockfree.Skiplist parallel
[ ] 13 0 0 13 / 32 2.0s Lockfree.Skiplist parallel
[ ] 14 0 0 14 / 32 2.3s Lockfree.Skiplist parallel
[ ] 15 0 0 15 / 32 2.5s Lockfree.Skiplist parallel
[ ] 16 0 0 16 / 32 2.8s Lockfree.Skiplist parallel
[ ] 17 0 0 17 / 32 2.9s Lockfree.Skiplist parallel
[ ] 18 0 0 18 / 32 3.1s Lockfree.Skiplist parallel
[ ] 19 0 0 19 / 32 3.2s Lockfree.Skiplist parallel
[ ] 21 0 0 21 / 32 3.4s Lockfree.Skiplist parallel
[ ] 23 0 0 23 / 32 3.5s Lockfree.Skiplist parallel
[ ] 25 0 0 25 / 32 3.7s Lockfree.Skiplist parallel
[ ] 27 0 0 27 / 32 3.9s Lockfree.Skiplist parallel
[ ] 28 0 0 28 / 32 4.0s Lockfree.Skiplist parallel
[ ] 29 0 0 29 / 32 4.2s Lockfree.Skiplist parallel
[ ] 30 0 0 30 / 32 4.3s Lockfree.Skiplist parallel
[ ] 32 0 0 32 / 32 4.5s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 4.5s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 4251734302497723395
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Lockfree.Skiplist sequential
[✓] 64 0 0 64 / 64 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 64 0.0s Lockfree.Skiplist parallel
[ ] 1 0 0 1 / 64 0.2s Lockfree.Skiplist parallel
[ ] 4 0 0 4 / 64 0.3s Lockfree.Skiplist parallel
[ ] 6 0 0 6 / 64 0.4s Lockfree.Skiplist parallel
[ ] 7 0 0 7 / 64 0.8s Lockfree.Skiplist parallel
[ ] 9 0 0 9 / 64 0.9s Lockfree.Skiplist parallel
[ ] 11 0 0 11 / 64 1.0s Lockfree.Skiplist parallel
[ ] 13 0 0 13 / 64 1.2s Lockfree.Skiplist parallel
[ ] 14 0 0 14 / 64 1.5s Lockfree.Skiplist parallel
[ ] 16 0 0 16 / 64 1.6s Lockfree.Skiplist parallel
[ ] 18 0 0 18 / 64 1.8s Lockfree.Skiplist parallel
[ ] 20 0 0 20 / 64 1.9s Lockfree.Skiplist parallel
[ ] 21 0 0 21 / 64 2.0s Lockfree.Skiplist parallel
[ ] 22 0 0 22 / 64 2.2s Lockfree.Skiplist parallel
[ ] 24 0 0 24 / 64 2.4s Lockfree.Skiplist parallel
[ ] 25 0 0 25 / 64 2.7s Lockfree.Skiplist parallel
[ ] 26 0 0 26 / 64 2.8s Lockfree.Skiplist parallel
[ ] 29 0 0 29 / 64 3.0s Lockfree.Skiplist parallel
[ ] 30 0 0 30 / 64 3.3s Lockfree.Skiplist parallel
[ ] 32 0 0 32 / 64 3.4s Lockfree.Skiplist parallel
[ ] 34 0 0 34 / 64 3.6s Lockfree.Skiplist parallel
[ ] 36 0 0 36 / 64 3.8s Lockfree.Skiplist parallel
[ ] 38 0 0 38 / 64 4.0s Lockfree.Skiplist parallel
[✓] 64 0 0 64 / 64 -25187.1s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 601667397213831842
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 4.4s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1014725476608630414
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.6s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1413777195253546440
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.3s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1946084044205245744
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.4s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 324635892936514777
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.8s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 37447209349009778
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.2s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 4011591266541277548
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.0s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 3179178543002628094
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.8s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 28745336940317788
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.0s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 524485129977871017
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.8s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 3517472782168264159
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.0s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 2663982872808989455
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.8s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 2731399645159512442
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.6s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1493497777484715617
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.1s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1404642070752599628
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.5s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1209335302988959280
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.2s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 4524031575321062601
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.5s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 3031552153589216548
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.7s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 3378810748458423230
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.6s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 89353203446284323
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.9s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 4441234856267446724
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.4s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1114252985491462439
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.2s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 4087305411296657820
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.0s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 3592467055408195148
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.8s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 4458698640731096693
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.4s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 44627317743126007
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.0s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 4215928175123164091
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.5s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 1795531875895877560
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 00 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 1.8s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 2078548805152659937
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist parallel
[✓] 32 0 0 32 / 32 2.3s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 669962448943367227
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[ ] 2 0 0 2 / 32 0.2s Saturn_lockfree.Size parallel
[ ] 4 0 0 4 / 32 0.4s Saturn_lockfree.Size parallel
[ ] 5 0 0 5 / 32 0.7s Saturn_lockfree.Size parallel
[ ] 6 0 0 6 / 32 0.9s Saturn_lockfree.Size parallel
[ ] 8 0 0 8 / 32 1.1s Saturn_lockfree.Size parallel
[ ] 9 0 0 9 / 32 1.2s Saturn_lockfree.Size parallel
[ ] 11 0 0 11 / 32 1.5s Saturn_lockfree.Size parallel
[ ] 12 0 0 12 / 32 1.6s Saturn_lockfree.Size parallel
[ ] 13 0 0 13 / 32 1.9s Saturn_lockfree.Size parallel
[ ] 14 0 0 14 / 32 2.0s Saturn_lockfree.Size parallel
[ ] 15 0 0 15 / 32 2.2s Saturn_lockfree.Size parallel
[ ] 16 0 0 16 / 32 2.3s Saturn_lockfree.Size parallel
[ ] 17 0 0 17 / 32 2.4s Saturn_lockfree.Size parallel
[ ] 18 0 0 18 / 32 2.7s Saturn_lockfree.Size parallel
[ ] 19 0 0 19 / 32 2.8s Saturn_lockfree.Size parallel
[ ] 21 0 0 21 / 32 3.0s Saturn_lockfree.Size parallel
[ ] 23 0 0 23 / 32 3.2s Saturn_lockfree.Size parallel
[ ] 24 0 0 24 / 32 3.3s Saturn_lockfree.Size parallel
[ ] 26 0 0 26 / 32 3.8s Saturn_lockfree.Size parallel
[ ] 28 0 0 28 / 32 3.9s Saturn_lockfree.Size parallel
[ ] 31 0 0 31 / 32 4.1s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 4.2s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 2863484776296125658
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Size sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Size parallel
[ ] 1 0 0 1 / 64 0.1s Saturn_lockfree.Size parallel
[ ] 4 0 0 4 / 64 0.2s Saturn_lockfree.Size parallel
[ ] 7 0 0 7 / 64 0.3s Saturn_lockfree.Size parallel
[ ] 8 0 0 8 / 64 0.5s Saturn_lockfree.Size parallel
[ ] 11 0 0 11 / 64 0.6s Saturn_lockfree.Size parallel
[ ] 12 0 0 12 / 64 0.8s Saturn_lockfree.Size parallel
[ ] 14 0 0 14 / 64 0.9s Saturn_lockfree.Size parallel
[ ] 15 0 0 15 / 64 1.1s Saturn_lockfree.Size parallel
[ ] 17 0 0 17 / 64 1.3s Saturn_lockfree.Size parallel
[ ] 20 0 0 20 / 64 1.4s Saturn_lockfree.Size parallel
[ ] 23 0 0 23 / 64 1.5s Saturn_lockfree.Size parallel
[ ] 26 0 0 26 / 64 1.7s Saturn_lockfree.Size parallel
[ ] 27 0 0 27 / 64 1.8s Saturn_lockfree.Size parallel
[ ] 29 0 0 29 / 64 1.9s Saturn_lockfree.Size parallel
[ ] 31 0 0 31 / 64 2.1s Saturn_lockfree.Size parallel
[ ] 33 0 0 33 / 64 2.3s Saturn_lockfree.Size parallel
[ ] 34 0 0 34 / 64 2.4s Saturn_lockfree.Size parallel
[ ] 36 0 0 36 / 64 2.6s Saturn_lockfree.Size parallel
[ ] 38 0 0 38 / 64 2.7s Saturn_lockfree.Size parallel
[ ] 40 0 0 40 / 64 3.1s Saturn_lockfree.Size parallel
[ ] 42 0 0 42 / 64 3.4s Saturn_lockfree.Size parallel
[ ] 43 0 0 43 / 64 3.6s Saturn_lockfree.Size parallel
[ ] 44 0 0 44 / 64 3.7s Saturn_lockfree.Size parallel
[✓] 64 0 0 64 / 64 -25189.0s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 1844472246202626728
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 5.1s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3453294286154337144
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.5s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 161447756662341093
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.2s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3738550321122977525
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.2s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 4282161231404194201
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 537847953119095801
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.9s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3888694604945419036
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.3s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 2585384758404084383
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.5s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3787413543895403371
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 976213367364083782
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.3s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 590159911720015442
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 710641985889041836
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.2s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3235137576152515196
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.2s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 467499923019900431
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3527336969137743587
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 4048137698390906486
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.4s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 2694166096512585456
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.5s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 2325579008665924896
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 2938238582038384674
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.2s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3209909953279590841
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 3.1s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3031730430805275304
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 1811863628741068104
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 1521725467686453640
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.3s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 4386898341409166070
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 473362389565220366
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 2449695945057184136
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 4146874354643437704
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 2330731989792558359
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 2.4s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
random seed: 4393877000852188713
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)
random seed: 701138670587934916
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 1 0 0 1 / 32 0.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 2 0 0 2 / 32 0.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 5 0 0 5 / 32 0.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 6 0 0 6 / 32 0.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 7 0 0 7 / 32 0.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 9 0 0 9 / 32 1.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 10 0 0 10 / 32 1.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 12 0 0 12 / 32 1.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 13 0 0 13 / 32 1.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 14 0 0 14 / 32 1.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 15 0 0 15 / 32 2.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 16 0 0 16 / 32 2.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 17 0 0 17 / 32 2.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 18 0 0 18 / 32 2.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 19 0 0 19 / 32 2.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 20 0 0 20 / 32 3.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 21 0 0 21 / 32 3.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 23 0 0 23 / 32 3.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 25 0 0 25 / 32 3.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 26 0 0 26 / 32 3.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 27 0 0 27 / 32 3.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 29 0 0 29 / 32 3.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 31 0 0 31 / 32 4.1s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 4.1s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 4130034187736360495
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 1 0 0 1 / 64 0.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 3 0 0 3 / 64 0.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 5 0 0 5 / 64 0.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 7 0 0 7 / 64 0.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 10 0 0 10 / 64 0.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 12 0 0 12 / 64 1.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 15 0 0 15 / 64 1.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 17 0 0 17 / 64 1.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 19 0 0 19 / 64 1.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 23 0 0 23 / 64 1.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 25 0 0 25 / 64 1.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 28 0 0 28 / 64 2.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 30 0 0 30 / 64 2.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 32 0 0 32 / 64 2.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 33 0 0 33 / 64 2.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 35 0 0 35 / 64 2.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 36 0 0 36 / 64 3.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 38 0 0 38 / 64 3.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 39 0 0 39 / 64 3.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ] 40 0 0 40 / 64 3.7s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 64 0 0 64 / 64 -25187.3s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 4142463790952246010
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 4.3s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 4580670407604785180
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.4s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 172069526396964130
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.1s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 1006430872822172404
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.1s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3168401752565768357
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 1629436199251494692
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.3s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 523037079608694851
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3511412077748166905
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3432626878639381265
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 4132258577568429499
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 533721149925933353
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.5s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 255083036721845847
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3335625748465944087
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 2396386536255695442
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 881807360014810284
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3442202941616729169
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3865188729793849020
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 2307464491664878076
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3328037562794467131
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 302875969699667065
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 1649014724981763273
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 968766087328326430
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 4510711999288988271
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 4229659967235244393
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 595894755062431184
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 2301235386114377222
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 2702402737039880327
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 2452086714460443142
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 1.7s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 3142745879988478427
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 908568500915888900
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
random seed: 33614466723767870
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[✓] 64 0 0 64 / 64 3.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
random seed: 2124222777398018490
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[✓] 128 0 0 128 / 128 6.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
random seed: 3470869317292227504
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[✓] 256 0 0 256 / 256 13.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
random seed: 573652516508020482
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 512 0 0 512 / 512 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[✓] 512 0 0 512 / 512 27.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
random seed: 867137577787659015
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/ws_deque && ./stm_ws_deque.exe)
random seed: 3292893616883817106
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[ ] 4 0 0 4 / 32 0.1s Saturn_lockfree.Ws_deque parallel
[ ] 6 0 0 6 / 32 0.3s Saturn_lockfree.Ws_deque parallel
[ ] 9 0 0 9 / 32 0.4s Saturn_lockfree.Ws_deque parallel
[ ] 10 0 0 10 / 32 0.5s Saturn_lockfree.Ws_deque parallel
[ ] 14 0 0 14 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 21 0 0 21 / 32 1.0s Saturn_lockfree.Ws_deque parallel
[ ] 23 0 0 23 / 32 1.1s Saturn_lockfree.Ws_deque parallel
[ ] 30 0 0 30 / 32 1.2s Saturn_lockfree.Ws_deque parallel
[ ] 32 0 0 32 / 32 1.4s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[ ] 1 0 0 1 / 32 0.1s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 3)
[ ] 1 0 0 1 / 32 0.2s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 15)
[ ] 1 0 0 1 / 32 1.3s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 15.0002)
[ ] 1 0 0 1 / 32 2.5s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 17.0002)
[ ] 1 0 0 1 / 32 3.1s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 19.0002)
[ ] 1 0 0 1 / 32 3.4s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 21)
[ ] 1 0 0 1 / 32 3.8s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 21.0002)
[ ] 1 0 0 1 / 32 4.1s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 22)
[ ] 1 0 0 1 / 32 4.4s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 23)
[ ] 1 0 0 1 / 32 4.8s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 23.0002)
[ ] 1 0 0 1 / 32 5.0s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 25)
[ ] 1 0 0 1 / 32 5.6s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 25.0002)
[ ] 1 0 0 1 / 32 6.0s Saturn_lockfree.Ws_deque parallel, negative (shrinking: 26)
[✓] 2 0 1 1 / 32 -25176.1s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (28 shrink steps):
|
Push 1834
Push 27
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 1834 : ()
Push 27 : ()
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (27)
================================================================================
success (ran 3 tests)
random seed: 3047918098520479051
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 10.0s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (30 shrink steps):
|
Push 5
Push 79
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 5 : ()
Push 79 : ()
|
.------------------------------------.
| |
Pop : Ok (79) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1006509295133221405
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 3.1s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (12 shrink steps):
|
|
.---------------------.
| |
Push 317 Push 8
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 317 : () Push 8 : ()
Pop : Ok (317)
Pop : Error (Stdlib.Exit)
================================================================================
success (ran 3 tests)
random seed: 4200565946940337598
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.5s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 2 0 1 1 / 32 11.4s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (16 shrink steps):
|
Push 88
Push 311
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 88 : ()
Push 311 : ()
|
.------------------------------------.
| |
Pop : Ok (311) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 2454426786001789621
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 10.5s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (29 shrink steps):
|
Push 4975
Push 2
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 4975 : ()
Push 2 : ()
|
.------------------------------------.
| |
Pop : Ok (2) Pop : Ok (2)
================================================================================
success (ran 3 tests)
random seed: 2029669695489375457
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 6.3s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (38 shrink steps):
|
|
.---------------------.
| |
Push 8 Push 0
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 8 : () Push 0 : ()
Pop : Ok (8)
Pop : Error (Stdlib.Exit)
================================================================================
success (ran 3 tests)
random seed: 2475958897738241899
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 9.7s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (39 shrink steps):
|
Push 51
Push 87
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 51 : ()
Push 87 : ()
|
.------------------------------------.
| |
Pop : Ok (87) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 760386363530742199
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 2 0 1 1 / 32 5.7s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (10 shrink steps):
|
Push 77
Push 4535
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 77 : ()
Push 4535 : ()
|
.------------------------------------.
| |
Pop : Ok (4535) Pop : Ok (4535)
================================================================================
success (ran 3 tests)
random seed: 647787899779204334
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 8.4s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (22 shrink steps):
|
Push 6
Push 1
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 6 : ()
Push 1 : ()
|
.------------------------------------.
| |
Pop : Ok (1) Pop : Ok (1)
================================================================================
success (ran 3 tests)
random seed: 2692632485730782911
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 3 0 1 2 / 32 5.8s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (34 shrink steps):
|
|
.---------------------.
| |
Push 1 Push 3
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 1 : () Push 3 : ()
Pop : Ok (1)
Pop : Error (Stdlib.Exit)
================================================================================
success (ran 3 tests)
random seed: 446959647419655878
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 2 0 1 1 / 32 5.8s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (16 shrink steps):
|
Push 2
Push 2
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 2 : ()
Push 2 : ()
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (2)
================================================================================
success (ran 3 tests)
random seed: 1572522422999597593
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 7.7s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (39 shrink steps):
|
Push 3
Push 77
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 3 : ()
Push 77 : ()
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (77)
================================================================================
success (ran 3 tests)
random seed: 1218948007415797246
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 7.2s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (8 shrink steps):
|
|
.---------------------.
| |
Pop Push 0
Pop Push 510
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Pop : Ok (510) Push 0 : ()
Pop : Error (Stdlib.Exit) Push 510 : ()
================================================================================
success (ran 3 tests)
random seed: 3411743948352636502
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 2 0 1 1 / 32 5.7s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (36 shrink steps):
|
|
.---------------------.
| |
Push 8 Push 9
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 8 : () Push 9 : ()
Pop : Ok (8)
Pop : Error (Stdlib.Exit)
================================================================================
success (ran 3 tests)
random seed: 3937310207947094781
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 1.1s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 6.3s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (7 shrink steps):
|
Push 7
Push 2956
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 7 : ()
Push 2956 : ()
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (2956)
================================================================================
success (ran 3 tests)
random seed: 1396191473925948900
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 8.2s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (21 shrink steps):
|
Push 8
Push 5
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 8 : ()
Push 5 : ()
|
.------------------------------------.
| |
Pop : Ok (5) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1154591807231886510
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 3.2s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (5 shrink steps):
|
Push 2
Push 7
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 2 : ()
Push 7 : ()
|
.------------------------------------.
| |
Pop : Ok (7) Pop : Ok (7)
================================================================================
success (ran 3 tests)
random seed: 4165910820792704579
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 8.1s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (23 shrink steps):
|
Push 8
Push 0
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 8 : ()
Push 0 : ()
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 2450608683565038219
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 8.4s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (34 shrink steps):
|
Push 634
Push 516
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 634 : ()
Push 516 : ()
|
.------------------------------------.
| |
Pop : Ok (516) Pop : Ok (516)
================================================================================
success (ran 3 tests)
random seed: 3105285896543718506
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 6.9s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (31 shrink steps):
|
Push 887
Push 8
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 887 : ()
Push 8 : ()
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (8)
================================================================================
success (ran 3 tests)
random seed: 1906061146490676303
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 5.3s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (28 shrink steps):
|
Push 9
Push 4
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 9 : ()
Push 4 : ()
|
.------------------------------------.
| |
Pop : Ok (4) Pop : Ok (4)
================================================================================
success (ran 3 tests)
random seed: 1348899047969106350
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 3.7s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (13 shrink steps):
|
|
.---------------------.
| |
Pop Push 266
Pop Push 4
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Pop : Ok (4) Push 266 : ()
Pop : Error (Stdlib.Exit) Push 4 : ()
================================================================================
success (ran 3 tests)
random seed: 1820098179113116855
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 1.0s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 4.5s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (32 shrink steps):
|
|
.---------------------.
| |
Push 8 Push 596
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 8 : () Push 596 : ()
Pop : Ok (8)
Pop : Error (Stdlib.Exit)
================================================================================
success (ran 3 tests)
random seed: 1746682481562524965
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.5s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 4.2s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (22 shrink steps):
|
Push 9
Push 3
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 9 : ()
Push 3 : ()
|
.------------------------------------.
| |
Pop : Ok (3) Pop : Ok (3)
================================================================================
success (ran 3 tests)
random seed: 664594868510060263
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 8.5s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (38 shrink steps):
|
|
.---------------------.
| |
Push 1 Push 82
Push 79
Push 85
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 1 : () Push 82 : ()
Push 79 : ()
Push 85 : ()
Pop : Ok (79)
================================================================================
success (ran 3 tests)
random seed: 2676534599545079294
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 8.3s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (37 shrink steps):
|
Push 22
Push 0
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 22 : ()
Push 0 : ()
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1852971570577598911
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 5.4s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (9 shrink steps):
|
Push 293
|
.---------------------.
| |
Pop Push 5
Pop Push 5
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 293 : ()
|
.------------------------------------.
| |
Pop : Ok (5) Push 5 : ()
Pop : Ok (0) Push 5 : ()
================================================================================
success (ran 3 tests)
random seed: 3597354519081219066
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 1.0s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 7.7s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (21 shrink steps):
|
Push 48
Push 6
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 48 : ()
Push 6 : ()
|
.------------------------------------.
| |
Pop : Ok (6) Pop : Ok (6)
================================================================================
success (ran 3 tests)
random seed: 4372366372778991617
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfre.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 11.1s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (26 shrink steps):
|
Push 864
Push 6954
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 864 : ()
Push 6954 : ()
|
.------------------------------------.
| |
Pop : Ok (6954) Pop : Ok (6954)
================================================================================
success (ran 3 tests)
random seed: 3067999370153562592
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 2 0 1 1 / 32 5.5s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (24 shrink steps):
|
|
.---------------------.
| |
Pop Push 70
Pop Push 15
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Pop : Ok (15) Push 70 : ()
Pop : Error (Stdlib.Exit) Push 15 : ()
================================================================================
success (ran 3 tests)
random seed: 2588064307786710224
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 6.3s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (15 shrink steps):
|
Push 613
Push 1
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Push 613 : ()
Push 1 : ()
|
.------------------------------------.
| |
Pop : Ok (1) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1337327868415900093
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel
[✓] 32 0 0 32 / 32 0.5s Saturn_lockfree.Ws_deque parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque parallel, negative
[✓] 1 0 1 0 / 32 5.1s Saturn_lockfree.Ws_deque parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (14 shrink steps):
|
Pop
|
.---------------------.
| |
Push 223 Push 6
Push 59
Push 2
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Ws_deque parallel, negative:
Results incompatible with linearized model
|
Pop : Error (Stdlib.Exit)
|
.------------------------------------.
| |
Push 223 : () Push 6 : ()
Push 59 : ()
Push 2 : ()
Pop : Ok (59)
================================================================================
success (ran 3 tests)
(cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe)
random seed: 2232330514139620283
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[ ] 3 0 0 3 / 32 0.2s Saturn_lockfree.Spsc_queue parallel
[ ] 5 0 0 5 / 32 0.4s Saturn_lockfree.Spsc_queue parallel
[ ] 9 0 0 9 / 32 0.6s Saturn_lockfree.Spsc_queue parallel
[ ] 11 0 0 11 / 32 0.7s Saturn_lockfree.Spsc_queue parallel
[ ] 13 0 0 13 / 32 0.8s Saturn_lockfree.Spsc_queue parallel
[ ] 15 0 0 15 / 32 0.9s Saturn_lockfree.Spsc_queue parallel
[ ] 21 0 0 21 / 32 1.1s Saturn_lockfree.Spsc_queue parallel
[ ] 25 0 0 25 / 32 1.4s Saturn_lockfree.Spsc_queue parallel
[ ] 27 0 0 27 / 32 1.6s Saturn_lockfree.Spsc_queue parallel
[ ] 30 0 0 30 / 32 1.8s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 4)
[ ] 0 0 0 0 / 32 0.4s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 16.0002)
[ ] 0 0 0 0 / 32 0.9s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 18.0002)
[ ] 0 0 0 0 / 32 1.4s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 20.0002)
[ ] 0 0 0 0 / 32 1.9s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 22.0002)
[ ] 0 0 0 0 / 32 2.4s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 24.0002)
[ ] 0 0 0 0 / 32 2.7s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 26.0002)
[ ] 0 0 0 0 / 32 3.8s Saturn_lockfree.Spsc_queue parallel, negative (shrinking: 27.0002)
[✓] 1 0 1 0 / 32 -25181.0s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (31 shrink steps):
|
Push 868
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 868 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (868) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 1661940035509662750
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 6.4s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (22 shrink steps):
|
Push 1
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 1 : Ok (())
|
.-------------------------------------------------.
| |
Pop : Error (Invalid_argument("option is None")) Pop : Ok (1)
================================================================================
success (ran 3 tests)
random seed: 1430822372945374646
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.7s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (6 shrink steps):
|
Push 0
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 0 : Ok (())
|
.-------------------------------------------------.
| |
Pop : Error (Invalid_argument("option is None")) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 3204335841382018951
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 3.9s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (8 shrink steps):
|
Push 575
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 575 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (575)
================================================================================
success (ran 3 tests)
random seed: 1396685486640766846
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 6.0s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (39 shrink steps):
|
Push 5220
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 5220 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (5220) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 1753484863935501241
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.8s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (26 shrink steps):
|
Push 1
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 1 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (1) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 1726221819357296184
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 2 0 1 1 / 32 6.8s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (26 shrink steps):
|
Push 41
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 41 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (41) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 1375995868146072412
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 2.2s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (1 shrink steps):
|
Push 39
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 39 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (39)
================================================================================
success (ran 3 tests)
random seed: 975395517425423961
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.6s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 7.5s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (23 shrink steps):
|
Push 39
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 39 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (39)
================================================================================
success (ran 3 tests)
random seed: 3634089038289946110
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.9s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (29 shrink steps):
|
Push 24
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 24 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (24)
================================================================================
success (ran 3 tests)
random seed: 391117162443544582
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.1s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 7.3s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (20 shrink steps):
|
Push 0
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 0 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1052721040275198260
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.0s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 2 0 1 1 / 32 6.4s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (16 shrink steps):
|
Push 1
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 1 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (1)
================================================================================
success (ran 3 tests)
random seed: 3831130767652253922
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 5.6s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (26 shrink steps):
|
|
.---------------------.
| |
Push 872 Push 4
Peek
Peek
Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 872 : Ok (()) Push 4 : Ok (())
Peek : Ok (4)
Peek : Ok (872)
Peek : Ok (872)
================================================================================
success (ran 3 tests)
random seed: 3497276075521742031
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.0s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.3s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (9 shrink steps):
|
Push 7
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 7 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (7) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 723433629695690808
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 5.3s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (23 shrink steps):
|
Push 58
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 58 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (58)
================================================================================
success (ran 3 tests)
random seed: 3490707337686025201
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.1s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 5.3s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (19 shrink steps):
|
Push 9
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 9 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (9)
================================================================================
success (ran 3 tests)
random seed: 642890419764813659
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 7.4s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (38 shrink steps):
|
Push 89
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 89 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (89)
================================================================================
success (ran 3 tests)
random seed: 1912442297712965661
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.5s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (21 shrink steps):
|
|
.---------------------.
| |
Push 774 Push 48
Pop
Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
|
.--------------------------------------------------.
| |
Push 774 : Ok (()) Push 48 : Ok (())
Pop : Ok (774)
Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 1919585914671859331
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 2 0 1 1 / 32 7.3s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (32 shrink steps):
|
Push 6
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 6 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (6)
================================================================================
success (ran 3 tests)
random seed: 1228285840539112674
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.8s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (23 shrink steps):
|
Push 8
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 8 : Ok (())
|
.-------------------------------------------------.
| |
Pop : Ok (8) Pop : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 4209480993584184787
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 8.8s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (46 shrink steps):
|
Push 6
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 6 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (6) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 3660807133701164329
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 3.5s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (10 shrink steps):
|
Push 2
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 2 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (2)
================================================================================
success (ran 3 tests)
random seed: 1116578450247296260
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 5.9s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (24 shrink steps):
|
Push 525
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 525 : Ok (())
|
.-------------------------------------------------.
| |
Pop : Error (Invalid_argument("option is None")) Pop : Ok (525)
================================================================================
success (ran 3 tests)
random seed: 1222308417452658739
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 6.6s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (38 shrink steps):
|
Push 208
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 208 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (208) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 3247229437064088477
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 6.3s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (37 shrink steps):
|
Push 5
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 5 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (5)
================================================================================
success (ran 3 tests)
random seed: 1156374106337050110
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.7s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.9s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (7 shrink steps):
|
Push 7
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 7 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (7)
================================================================================
success (ran 3 tests)
random seed: 1604318584251451200
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 2 0 1 1 / 32 3.4s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (16 shrink steps):
|
|
.---------------------.
| |
Push 9126 Push 8408
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
|
.-------------------------------------------------.
| |
Push 9126 : Ok (()) Push 8408 : Ok (())
Pop : Ok (9126)
Pop : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 4026484757809882550
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 7.2s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (37 shrink steps):
|
Push 8
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 8 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (8) Peek : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 29660259379629804
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 3.7s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (20 shrink steps):
|
|
.---------------------.
| |
Push 88 Push 3
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
|
.-------------------------------------------------.
| |
Push 88 : Ok (()) Push 3 : Ok (())
Pop : Ok (3)
Pop : Error (Invalid_argument("option is None"))
================================================================================
success (ran 3 tests)
random seed: 3309778658940690134
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 4.2s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (16 shrink steps):
|
Push 47
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 47 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (47)
================================================================================
success (ran 3 tests)
random seed: 64141396510990281
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 3.4s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (16 shrink steps):
|
Push 8
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 8 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (8)
================================================================================
success (ran 3 tests)
random seed: 2594421878031061234
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Spsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue parallel, negative
[✓] 1 0 1 0 / 32 5.1s Saturn_lockfree.Spsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (21 shrink steps):
|
Push 224
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 224 : Ok (())
|
.--------------------------------------------------.
| |
Peek : Error (Invalid_argument("option is None")) Pop : Ok (224)
================================================================================
success (ran 3 tests)
random seed: 1003227079663941074
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓] 1 0 1 0 / 32 4.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (22 shrink steps):
|
|
.---------------------.
| |
Push 2 Push 1
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 2 : Ok (()) Push 1 : Ok (())
Pop : Ok (2)
Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 4088033870774076597
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 64 0 0 64 / 64 2.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓] 1 0 1 0 / 64 4.9s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (20 shrink steps):
|
Push 66
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:
Results incompatible with linearized model
|
Push 66 : Ok (())
|
.------------------------------------.
| |
Peek : Ok (0) Pop : Ok (66)
================================================================================
success (ran 3 tests)
random seed: 4226356814364124707
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 128 0 0 128 / 128 4.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓] 1 0 1 0 / 128 5.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (11 shrink steps):
|
|
.---------------------.
| |
Push 86 Push 380
Pop
Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 86 : Ok (()) Push 380 : Ok (())
Pop : Ok (86)
Peek : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 3760322107056354288
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 256 0 0 256 / 256 8.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓] 1 0 1 0 / 256 5.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (35 shrink steps):
|
Push 7
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:
Results incompatible with linearized model
|
Push 7 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (7) Pop : Ok (7)
================================================================================
success (ran 3 tests)
random seed: 771037070959428977
generated error fail pass / total time test name
[ ] 0 0 0 0 / 287 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 287 0 0 287 / 287 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[ ] 0 0 0 0 / 287 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 287 0 0 287 / 287 10.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ] 0 0 0 0 / 287 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓] 1 0 1 0 / 287 3.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (10 shrink steps):
|
|
.---------------------.
| |
Push 636 Push 958
Pop
Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:
Results incompatible with linearized model
|
|
.------------------------------------.
| |
Push 636 : Ok (()) Push 958 : Ok (())
Pop : Ok (958)
Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 586753842919526869
generated error fail pass / total time test name
[ ] 0 0 0 0 / 135 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 135 0 0 135 / 135 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[ ] 0 0 0 0 / 135 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 135 0 0 135 / 135 4.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ] 0 0 0 0 / 135 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓] 1 0 1 0 / 135 4.6s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (17 shrink steps):
|
Push 3
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:
Results incompatible with linearized model
|
Push 3 : Ok (())
|
.------------------------------------.
| |
Peek : Ok (0) Pop : Ok (3)
================================================================================
success (ran 3 tests)
random seed: 4062066255492142658
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓] 1 0 1 0 / 32 5.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (19 shrink steps):
|
Push 28
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:
Results incompatible with linearized model
|
Push 28 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (28) Peek : Ok (0)
================================================================================
success (ran 3 tests)
(cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe)
random seed: 3181534396153118666
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[ ] 2 0 0 2 / 32 0.1s Saturn_lockfree.Mpsc_queue parallel
[ ] 3 0 0 3 / 32 0.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 4 0 0 4 / 32 0.4s Saturn_lockfree.Mpsc_queue parallel
[ ] 6 0 0 6 / 32 0.5s Saturn_lockfree.Mpsc_queue parallel
[ ] 8 0 0 8 / 32 0.6s Saturn_lockfree.Mpsc_queue parallel
[ ] 9 0 0 9 / 32 0.8s Saturn_lockfree.Mpsc_queue parallel
[ ] 12 0 0 12 / 32 1.0s Saturn_lockfree.Mpsc_queue parallel
[ ] 13 0 0 13 / 32 1.1s Saturn_lockfree.Mpsc_queue parallel
[ ] 17 0 0 17 / 32 1.2s Saturn_lockfree.Mpsc_queue parallel
[ ] 19 0 0 19 / 32 1.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 20 0 0 20 / 32 1.4s Saturn_lockfree.Mpsc_queue parallel
[ ] 21 0 0 21 / 32 1.5s Saturn_lockfree.Mpsc_queue parallel
[ ] 22 0 0 22 / 32 1.8s Saturn_lockfree.Mpsc_queue parallel
[ ] 23 0 0 23 / 32 2.0s Saturn_lockfree.Mpsc_queue parallel
[ ] 25 0 0 25 / 32 2.2s Saturn_lockfree.Mpsc_queue parallel
[ ] 26 0 0 26 / 32 2.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 29 0 0 29 / 32 2.6s Saturn_lockfree.Mpsc_queue parallel
[ ] 32 0 0 32 / 32 2.7s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 2.7s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[ ] 0 0 0 0 / 32 1.2s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 0.0002)
[ ] 0 0 0 0 / 32 1.8s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 1.0002)
[ ] 0 0 0 0 / 32 2.6s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 2.0002)
[ ] 0 0 0 0 / 32 3.2s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 2.0003)
[ ] 0 0 0 0 / 32 4.0s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 3.0002)
[ ] 0 0 0 0 / 32 4.1s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 6)
[ ] 0 0 0 0 / 32 4.8s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 9)
[ ] 0 0 0 0 / 32 5.4s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking: 11)
[✓] 1 0 1 0 / 32 -25171.6s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (29 shrink steps):
|
Push 0
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 0 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1726442186706724470
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 8.6s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (21 shrink steps):
|
Push_head2
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head2 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (2)
================================================================================
success (ran 3 tests)
random seed: 64888107409663656
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 20.2s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (25 shrink steps):
|
Push_head295
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head295 : Ok (())
|
.------------------------------------.
| |
Peek : Ok (0) Pop : Ok (295)
================================================================================
success (ran 3 tests)
random seed: 3580655455686349970
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 11.9s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (28 shrink steps):
|
Push 30
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 30 : Ok (())
|
.------------------------------------.
| |
Peek : Ok (0) Pop : Ok (30)
================================================================================
success (ran 3 tests)
random seed: 3607636904886207637
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 2 0 1 1 / 32 14.9s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (13 shrink steps):
|
Push_head71
Close
|
.---------------------.
| |
Push_head13 Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head71 : Ok (())
Close : Ok (())
|
.------------------------------------.
| |
Push_head13 : Ok (()) Pop : Ok (71)
================================================================================
success (ran 3 tests)
random seed: 1587340991289879855
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 3 0 1 2 / 32 6.7s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (12 shrink steps):
|
Push 2
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 2 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (2) Pop : Ok (2)
================================================================================
success (ran 3 tests)
random seed: 1546162490289662675
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 2 0 1 1 / 32 17.1s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (16 shrink steps):
|
Push_head9
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head9 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (9) Pop : Ok (9)
================================================================================
success (ran 3 tests)
random seed: 647989669085801869
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 3 0 1 2 / 32 4.3s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (6 shrink steps):
|
Push 2
|
.---------------------.
| |
Push_head545 Push_head1
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 2 : Ok (())
|
.-----------------------------------------------------------------------------------------------------.
| |
Push_head545 : Error (File "src_lockfree/mpsc_queue.ml", line 88, characters 4-10: Assertion failed) Push_head1 : Ok (())
================================================================================
success (ran 3 tests)
random seed: 4412413997029614087
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 9 0 1 8 / 32 10.4s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (21 shrink steps):
|
Push 0
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 0 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 4303305551997806786
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 3 0 1 2 / 32 15.9s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (35 shrink steps):
|
Push 147
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 147 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (147) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 4024700281137314064
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.8s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 10.1s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (41 shrink steps):
|
Push 7
|
.---------------------.
| |
Push_head1 Push_head3
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 7 : Ok (())
|
.---------------------------------------------------------------------------------------------------.
| |
Push_head1 : Ok (()) Push_head3 : Error (File "src_lockfree/mpsc_queue.ml", line 88, characters 4-10: Assertion failed)
================================================================================
success (ran 3 tests)
random seed: 4242803279477160192
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 2 0 1 1 / 32 13.5s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (24 shrink steps):
|
Push_head6
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head6 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (6)
================================================================================
success (ran 3 tests)
random seed: 3111215421824054655
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 11.7s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (30 shrink steps):
|
Push_head4
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head4 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (4) Peek : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 4595195773737468188
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 7 0 1 6 / 32 8.4s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (10 shrink steps):
|
Push 72
|
.---------------------.
| |
Pop Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 72 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (72) Peek : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 2701707674334223575
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.0s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 3 0 1 2 / 32 6.5s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (13 shrink steps):
|
Push_head12
|
.---------------------.
| |
Push_head39 Push_head678
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head12 : Ok (())
|
.----------------------------------------------------------------------------------------------------.
| |
Push_head39 : Error (File "src_lockfree/mpsc_queue.ml", line 88, characters 4-10: Assertion failed) Push_head678 : Ok (())
================================================================================
success (ran 3 tests)
random seed: 2580196452292673434
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.4s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 4 0 1 3 / 32 7.7s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (16 shrink steps):
|
Push_head0
|
.---------------------.
| |
Push_head4 Push_head2
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head0 : Ok (())
|
.---------------------------------------------------------------------------------------------------.
| |
Push_head4 : Error (File "src_lockfree/mpsc_queue.ml", line 88, characters 4-10: Assertion failed) Push_head2 : Ok (())
================================================================================
success (ran 3 tests)
random seed: 121161408776030791
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 2 0 1 1 / 32 4.4s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (31 shrink steps):
|
Push_head93
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head93 : Ok (())
|
.------------------------------------.
| |
Peek : Ok (0) Pop : Ok (93)
================================================================================
success (ran 3 tests)
random seed: 1081184910907508306
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 6.4s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (5 shrink steps):
|
Push 53
Close
|
.---------------------.
| |
Push_head8843 Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 53 : Ok (())
Close : Ok (())
|
.------------------------------------.
| |
Push_head8843 : Ok (()) Pop : Ok (53)
================================================================================
success (ran 3 tests)
random seed: 4151155645321243776
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 0.9s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 13.5s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (28 shrink steps):
|
Push 3
|
.---------------------.
| |
Push_head27 Pop
Close Peek
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 3 : Ok (())
|
.--------------------------------------------------.
| |
Push_head27 : Ok (()) Pop : Ok (3)
Close : Ok (()) Peek : Error (Saturn_lockfree__Mpsc_queue.Closed)
================================================================================
success (ran 3 tests)
random seed: 3009650906720027679
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 4 0 1 3 / 32 7.8s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (27 shrink steps):
|
Push_head4
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head4 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (4) Pop : Ok (4)
================================================================================
success (ran 3 tests)
random seed: 4129413646322140996
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 4 0 1 3 / 32 8.3s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (23 shrink steps):
|
Push 72
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 72 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (72) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1910020459821804838
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.1s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 4 0 1 3 / 32 12.8s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (15 shrink steps):
|
Push_head5
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head5 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (5)
================================================================================
success (ran 3 tests)
random seed: 4218367440765775955
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.1s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 4 0 1 3 / 32 15.9s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (33 shrink steps):
|
Push 6
|
.---------------------.
| |
Pop Push_head602
Pop Push 259
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 6 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (6) Push_head602 : Ok (())
Pop : Ok (259) Push 259 : Ok (())
================================================================================
success (ran 3 tests)
random seed: 3610770195097292815
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.5s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 8.3s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (29 shrink steps):
|
Push 0
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 0 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (0)
================================================================================
success (ran 3 tests)
random seed: 1731829977977228060
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 0.8s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 3.5s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (12 shrink steps):
|
Push_head932
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head932 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (932) Pop : Ok (932)
================================================================================
success (ran 3 tests)
random seed: 3133282775915016285
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.1s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 11 0 1 10 / 32 7.0s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (24 shrink steps):
|
Push 289
|
.---------------------.
| |
Push_head5 Push_head643
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 289 : Ok (())
|
.-----------------------------------------------------------------------------------------------------.
| |
Push_head5 : Ok (()) Push_head643 : Error (File "src_lockfree/mpsc_queue.ml", line 88, characters 4-10: Assertion failed)
================================================================================
success (ran 3 tests)
random seed: 4452934838149285948
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 4 0 1 3 / 32 10.1s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (16 shrink steps):
|
Push_head4431
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head4431 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (4431) Pop : Ok (4431)
================================================================================
success (ran 3 tests)
random seed: 2214350142250512141
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 3 0 1 2 / 32 7.3s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (21 shrink steps):
|
Push 7
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 7 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (0) Pop : Ok (7)
================================================================================
success (ran 3 tests)
random seed: 2867453561650590110
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.1s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 7 0 1 6 / 32 9.9s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (24 shrink steps):
|
Push 987
|
.---------------------.
| |
Pop Push_head4
Peek Close
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 987 : Ok (())
|
.--------------------------------------------------.
| |
Pop : Ok (987) Push_head4 : Ok (())
Peek : Error (Saturn_lockfree__Mpsc_queue.Closed) Close : Ok (())
================================================================================
success (ran 3 tests)
random seed: 2986895060317220459
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 1 0 1 0 / 32 8.7s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (26 shrink steps):
|
Push 4
|
.---------------------.
| |
Pop Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push 4 : Ok (())
|
.------------------------------------.
| |
Pop : Ok (4) Pop : Ok (4)
================================================================================
success (ran 3 tests)
random seed: 2811136996487042926
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.6s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 3 0 1 2 / 32 10.1s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (14 shrink steps):
|
Push_head441
Close
|
.---------------------.
| |
Push_head1 Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head441 : Ok (())
Close : Ok (())
|
.------------------------------------.
| |
Push_head1 : Ok (()) Pop : Ok (441)
================================================================================
success (ran 3 tests)
random seed: 941289738885635431
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel
[✓] 32 0 0 32 / 32 1.2s Saturn_lockfree.Mpsc_queue parallel
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[✓] 3 0 1 2 / 32 7.2s Saturn_lockfree.Mpsc_queue parallel, negative
--- Info -----------------------------------------------------------------------
Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (23 shrink steps):
|
Push_head1
|
.---------------------.
| |
Peek Pop
+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:
Results incompatible with linearized model
|
Push_head1 : Ok (())
|
.------------------------------------.
| |
Peek : Ok (0) Pop : Ok (1)
================================================================================
success (ran 3 tests)
2024-10-28 17:17.51 ---> saved as "b0d4d0a8719f115932dc9e509cb974d083f25f62ad1e03fd61604b4521400428"
Job succeeded
2024-10-28 17:17.52: Job succeeded