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

To reproduce locally:

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

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

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

2024-02-11 20:23.49: Waiting for resource in pool OCluster
2024-02-12 19:32.52: Waiting for worker…
2024-02-12 19:34.36: Got resource from pool OCluster
Building on x86-bm-c6.sw.ocaml.org
All commits already cached
Updating files:  41% (13511/32918)
Updating files:  42% (13826/32918)
Updating files:  43% (14155/32918)
Updating files:  44% (14484/32918)
Updating files:  45% (14814/32918)
Updating files:  46% (15143/32918)
Updating files:  47% (15472/32918)
Updating files:  48% (15801/32918)
Updating files:  49% (16130/32918)
Updating files:  50% (16459/32918)
Updating files:  51% (16789/32918)
Updating files:  52% (17118/32918)
Updating files:  53% (17447/32918)
Updating files:  54% (17776/32918)
Updating files:  55% (18105/32918)
Updating files:  56% (18435/32918)
Updating files:  57% (18764/32918)
Updating files:  58% (19093/32918)
Updating files:  59% (19422/32918)
Updating files:  60% (19751/32918)
Updating files:  61% (20080/32918)
Updating files:  62% (20410/32918)
Updating files:  63% (20739/32918)
Updating files:  64% (21068/32918)
Updating files:  65% (21397/32918)
Updating files:  66% (21726/32918)
Updating files:  67% (22056/32918)
Updating files:  68% (22385/32918)
Updating files:  69% (22714/32918)
Updating files:  70% (23043/32918)
Updating files:  71% (23372/32918)
Updating files:  72% (23701/32918)
Updating files:  73% (24031/32918)
Updating files:  74% (24360/32918)
Updating files:  75% (24689/32918)
Updating files:  76% (25018/32918)
Updating files:  77% (25347/32918)
Updating files:  78% (25677/32918)
Updating files:  79% (26006/32918)
Updating files:  80% (26335/32918)
Updating files:  81% (26664/32918)
Updating files:  82% (26993/32918)
Updating files:  83% (27322/32918)
Updating files:  84% (27652/32918)
Updating files:  85% (27981/32918)
Updating files:  86% (28310/32918)
Updating files:  87% (28639/32918)
Updating files:  87% (28882/32918)
Updating files:  88% (28968/32918)
Updating files:  89% (29298/32918)
Updating files:  90% (29627/32918)
Updating files:  91% (29956/32918)
Updating files:  92% (30285/32918)
Updating files:  93% (30614/32918)
Updating files:  94% (30943/32918)
Updating files:  95% (31273/32918)
Updating files:  96% (31602/32918)
Updating files:  97% (31931/32918)
Updating files:  98% (32260/32918)
Updating files:  99% (32589/32918)
Updating files: 100% (32918/32918)
Updating files: 100% (32918/32918), done.
HEAD is now at 8477e9a74b Merge pull request #25221 from nberth/mlgmpidl-1.3.0
Updating 8477e9a74b..8c7391d6ec
Fast-forward
 packages/conf-pkg-config/conf-pkg-config.1.0/opam | 2 +-
 packages/conf-pkg-config/conf-pkg-config.1.1/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.2/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.3/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.2/opam   | 1 +
 packages/conf-pkg-config/conf-pkg-config.3/opam   | 4 +++-
 6 files changed, 8 insertions(+), 2 deletions(-)

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

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

/: (workdir /home/opam)

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

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

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

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

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

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

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

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

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

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

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

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

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

/home/opam: (run (shell "opam pin add -k version -yn conf-pkg-config.1.2 1.2"))
conf-pkg-config is now pinned to version 1.2
2024-02-12 19:34.47 ---> using "8c93380d2ff9f8574e0d694d02b593f1bcffc4ad4341b85941c7abc0f7411957" from cache

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

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

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

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

[1/2/3/4] 1

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

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.1.2
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 19:34.47 ---> using "5e9c2e7cd37deee211329af698b5958f49f052be907d8360c30cbb9696858e09" from cache

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

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

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

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall bls12-381.18.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'bls12-381.18.0' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
bls12-381.18.0 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 30 packages
  - install bls12-381            18.0
  - install cmdliner             1.2.0    [required by fmt, js_of_ocaml-compiler]
  - install conf-gmp             4        [required by zarith]
  - install cppo                 1.6.9    [required by yojson]
  - install cstruct              6.2.0    [required by hex]
  - install dune                 3.10.0   [required by bls12-381]
  - install fmt                  0.9.0    [required by cstruct]
  - install gen                  1.1      [required by sedlex]
  - install hex                  1.5.0    [required by bls12-381]
  - install integers             0.7.0    [required by bls12-381]
  - install integers_stubs_js    1.0      [required by bls12-381]
  - install js_of_ocaml          5.6.0    [required by integers_stubs_js]
  - install js_of_ocaml-compiler 5.6.0    [required by js_of_ocaml]
  - install menhir               20231231 [required by js_of_ocaml-compiler]
  - install menhirCST            20231231 [required by menhir]
  - install menhirLib            20231231 [required by js_of_ocaml-compiler]
  - install menhirSdk            20231231 [required by js_of_ocaml-compiler]
  - install ocaml-compiler-libs  v0.12.4  [required by ppxlib]
  - install ocamlbuild           0.14.3   [required by fmt]
  - install ocamlfind            1.9.6    [required by zarith]
  - install ppx_derivers         1.2.1    [required by ppxlib]
  - install ppxlib               0.32.0   [required by js_of_ocaml]
  - install sedlex               3.2      [required by js_of_ocaml-compiler]
  - install seq                  base     [required by yojson]
  - install sexplib0             v0.16.0  [required by ppxlib]
  - install stdlib-shims         0.3.0    [required by integers]
  - install topkg                1.0.7    [required by fmt]
  - install yojson               2.1.2    [required by js_of_ocaml-compiler]
  - install zarith               1.12     [required by bls12-381]
  - install zarith_stubs_js      v0.16.1  [required by bls12-381]

The following system packages will first need to be installed:
    libgmp-dev

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

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

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18810 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved bls12-381.18.0  (cached)
-> retrieved cmdliner.1.2.0  (cached)
-> retrieved cppo.1.6.9  (cached)
-> retrieved cstruct.6.2.0  (cached)
-> installed conf-gmp.4
-> retrieved dune.3.10.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved gen.1.1  (cached)
-> retrieved hex.1.5.0  (cached)
-> retrieved integers.0.7.0  (cached)
-> retrieved integers_stubs_js.1.0  (cached)
-> retrieved js_of_ocaml.5.6.0, js_of_ocaml-compiler.5.6.0  (cached)
-> retrieved menhir.20231231, menhirCST.20231231, menhirLib.20231231, menhirSdk.20231231  (cached)
-> installed cmdliner.1.2.0
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocamlbuild.0.14.3  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppxlib.0.32.0  (cached)
-> retrieved sedlex.3.2  (cached)
-> installed seq.base
-> retrieved sexplib0.v0.16.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved yojson.2.1.2  (cached)
-> retrieved zarith.1.12  (cached)
-> retrieved zarith_stubs_js.v0.16.1  (cached)
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.14.3
-> installed zarith.1.12
-> installed topkg.1.0.7
-> installed fmt.0.9.0
-> installed dune.3.10.0
-> installed menhirCST.20231231
-> installed ppx_derivers.1.2.1
-> installed zarith_stubs_js.v0.16.1
-> installed stdlib-shims.0.3.0
-> installed cstruct.6.2.0
-> installed menhirSdk.20231231
-> installed hex.1.5.0
-> installed menhirLib.20231231
-> installed gen.1.1
-> installed sexplib0.v0.16.0
-> installed integers.0.7.0
-> installed cppo.1.6.9
-> installed ocaml-compiler-libs.v0.12.4
-> installed yojson.2.1.2
-> installed menhir.20231231
-> installed ppxlib.0.32.0
-> installed sedlex.3.2
-> installed js_of_ocaml-compiler.5.6.0
-> installed js_of_ocaml.5.6.0
-> installed integers_stubs_js.1.0
-> installed bls12-381.18.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 19:37.44 ---> saved as "9a427b495e161ee5fdf27baefc1211b7441f693b29d75dd3b7aadd79695a2484"

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

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

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

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test bls12-381.18.0) || true"))
The following actions will be performed:
=== recompile 1 package
  - recompile bls12-381          18.0
=== install 17 packages
  - install   alcotest           1.7.0  [required by qcheck-alcotest]
  - install   astring            0.8.5  [required by alcotest]
  - install   base-bytes         base   [required by ocplib-endian]
  - install   clap               0.3.0  [required by tezt]
  - install   csexp              1.5.2  [required by dune-configurator]
  - install   dune-configurator  3.13.1 [required by lwt]
  - install   ezjsonm            1.3.0  [required by tezt]
  - install   jsonm              1.0.2  [required by ezjsonm]
  - install   lwt                5.7.0  [required by tezt]
  - install   ocaml-syntax-shims 1.0.0  [required by alcotest]
  - install   ocplib-endian      1.2    [required by lwt]
  - install   octez-alcotezt     18.0   [required by bls12-381]
  - install   qcheck-alcotest    0.21.3 [required by bls12-381]
  - install   qcheck-core        0.21.3 [required by qcheck-alcotest]
  - install   re                 1.11.0 [required by tezt, alcotest]
  - install   tezt               4.0.0  [required by bls12-381]
  - install   uutf               1.0.3  [required by alcotest]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.7.0  (https://github.com/mirage/alcotest/releases/download/1.7.0/alcotest-1.7.0.tbz)
-> retrieved astring.0.8.5  (https://erratique.ch/software/astring/releases/astring-0.8.5.tbz)
-> installed base-bytes.base
-> installed astring.0.8.5
-> retrieved bls12-381.18.0, octez-alcotezt.18.0  (https://gitlab.com/tezos/tezos/-/archive/v18.0/tezos-18.0.tar.gz)
-> retrieved clap.0.3.0  (https://github.com/rbardou/clap/archive/0.3.0.tar.gz)
-> retrieved csexp.1.5.2  (https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz)
-> installed clap.0.3.0
-> installed csexp.1.5.2
-> retrieved dune-configurator.3.13.1  (https://github.com/ocaml/dune/releases/download/3.13.1/dune-3.13.1.tbz)
-> retrieved ezjsonm.1.3.0  (https://github.com/mirage/ezjsonm/releases/download/v1.3.0/ezjsonm-1.3.0.tbz)
-> retrieved jsonm.1.0.2  (https://erratique.ch/software/jsonm/releases/jsonm-1.0.2.tbz)
-> retrieved lwt.5.7.0  (https://github.com/ocsigen/lwt/archive/refs/tags/5.7.0.tar.gz)
-> retrieved ocaml-syntax-shims.1.0.0  (https://github.com/ocaml-ppx/ocaml-syntax-shims/releases/download/1.0.0/ocaml-syntax-shims-1.0.0.tbz)
-> retrieved ocplib-endian.1.2  (https://github.com/OCamlPro/ocplib-endian/archive/refs/tags/1.2.tar.gz)
-> retrieved qcheck-alcotest.0.21.3, qcheck-core.0.21.3  (https://github.com/c-cube/qcheck/archive/v0.21.3.tar.gz)
-> installed ocplib-endian.1.2
-> retrieved re.1.11.0  (https://github.com/ocaml/ocaml-re/releases/download/1.11.0/re-1.11.0.tbz)
-> installed dune-configurator.3.13.1
-> installed ocaml-syntax-shims.1.0.0
-> retrieved tezt.4.0.0  (https://gitlab.com/nomadic-labs/tezt/-/archive/4.0.0/tezt-4.0.0.tar.bz2)
-> retrieved uutf.1.0.3  (https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz)
-> installed re.1.11.0
-> installed uutf.1.0.3
-> removed   bls12-381.18.0
-> installed qcheck-core.0.21.3
-> installed jsonm.1.0.2
-> installed alcotest.1.7.0
-> installed ezjsonm.1.3.0
-> installed qcheck-alcotest.0.21.3
-> installed lwt.5.7.0
-> installed tezt.4.0.0
-> installed octez-alcotezt.18.0
-> installed bls12-381.18.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 19:43.06 ---> saved as "d016877d3a127e4579f23af01ec1d0df2e58eff1e385465c3e54597d7f97746a"

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

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4:
-> retrieved bls12-381.18.0  (cached)
Processing  2/4: [bls12-381: rm vendors]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-r" "vendors" "contrib" (CWD=/home/opam/.opam/5.1/.opam-switch/build/bls12-381.18.0)
Processing  2/4: [bls12-381: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bls12-381" "-j" "31" (CWD=/home/opam/.opam/5.1/.opam-switch/build/bls12-381.18.0)
Processing  2/4: [bls12-381: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "bls12-381" "-j" "31" (CWD=/home/opam/.opam/5.1/.opam-switch/build/bls12-381.18.0)
- (cd _build/default/src/lib_bls12_381/test && ./main.exe)
- [19:43:46.154] [SUCCESS] (1/324) Random state: Random state (Fr)
- [19:43:46.154] [SUCCESS] (2/324) Random state: Random state (Fq12)
- [19:43:46.155] [SUCCESS] (3/324) Random state: Random state (G1)
- [19:43:46.158] [SUCCESS] (4/324) Random state: Random state (G2)
- [19:43:46.174] [SUCCESS] (5/324) Pairing: Pairing module: regression tests (pairing)
- [19:43:46.183] [SUCCESS] (6/324) Pairing: Pairing module: regression tests (Final exponentiation)
- [19:43:46.193] [SUCCESS] (7/324) Pairing: Pairing module: regression tests (miller loop)
- [19:43:46.554] [SUCCESS] (8/324) Pairing: Properties (with zero as first component)
- [19:43:46.680] [SUCCESS] (9/324) Pairing: Properties (with zero as second component)
- [19:43:48.437] [SUCCESS] (10/324) Pairing: Properties (linearity commutative scalar with only one scalar)
- [19:43:50.769] [SUCCESS] (11/324) Pairing: Properties (linearity scalar in scalar with only one scalar)
- [19:43:52.791] [SUCCESS] (12/324) Pairing: Properties (full linearity)
- [19:43:52.791] [SUCCESS] (13/324) Pairing: Properties (test vectors pairing of one and one)
- [19:43:52.909] [SUCCESS] (14/324) Pairing: Properties (test pairing check with opposite)
- [19:43:53.214] [SUCCESS] (15/324) Pairing: Properties (test pairing check with random points)
- [19:43:53.215] [SUCCESS] (16/324) Pairing: Properties (test pairing check on empty list must return true)
- [19:43:53.367] [SUCCESS] (17/324) Pairing: Properties (test result pairing with miller loop simple followed by final exponentiation)
- [19:43:55.167] [SUCCESS] (18/324) Pairing: Properties (test result pairing with miller loop nb random points)
- [19:43:55.167] [SUCCESS] (19/324) Pairing: Properties (test miller loop on empty list returns one)
- [19:43:57.168] [SUCCESS] (20/324) Pairing: Properties (linearity commutativity scalar)
- [19:43:57.365] [SUCCESS] (21/324) hash_to_curve: From bls_sigs_ref (G1)
- [19:43:57.853] [SUCCESS] (22/324) hash_to_curve: From bls_sigs_ref (G2)
- [19:43:57.856] [SUCCESS] (23/324) hash_to_curve: Regression tests (Using this repo)
- [19:43:58.764] [SUCCESS] (24/324) hash_to_curve: Special cases (DST can be longer than 255 characters)
- [19:43:58.764] [SUCCESS] (25/324) GT: is_zero (with zero value)
- [19:43:58.764] [SUCCESS] (26/324) GT: is_zero (with one value)
- [19:43:58.986] [SUCCESS] (27/324) GT: is_zero (with random value)
- [19:43:58.986] [SUCCESS] (28/324) GT: is_one (with zero value)
- [19:43:58.986] [SUCCESS] (29/324) GT: is_one (with one value)
- [19:43:59.238] [SUCCESS] (30/324) GT: is_one (with random value)
- [19:43:59.522] [SUCCESS] (31/324) GT: value generation (random)
- [19:43:59.522] [SUCCESS] (32/324) GT: value generation (negate_with_one)
- [19:43:59.522] [SUCCESS] (33/324) GT: value generation (negate_with_zero)
- [19:43:59.783] [SUCCESS] (34/324) GT: value generation (negate_with_random)
- [19:43:59.783] [SUCCESS] (35/324) GT: equality (zero)
- [19:43:59.783] [SUCCESS] (36/324) GT: equality (one)
- [19:44:00.036] [SUCCESS] (37/324) GT: equality (random_same_objects)
- [19:44:00.036] [SUCCESS] (38/324) GT: Constructors properties (Values not in the prime subgroup)
- [19:44:00.321] [SUCCESS] (39/324) GT: Group properties (check_bytes_random)
- [19:44:00.321] [SUCCESS] (40/324) GT: Group properties (check_bytes_zero)
- [19:44:00.322] [SUCCESS] (41/324) GT: Group properties (check_bytes_one)
- [19:44:00.904] [SUCCESS] (42/324) GT: Group properties (check_bytes_random_sum)
- [19:44:01.547] [SUCCESS] (43/324) GT: Group properties (check_bytes_random_multiplication)
- [19:44:01.547] [SUCCESS] (44/324) GT: Group properties (zero_scalar_nullifier_one)
- [19:44:01.547] [SUCCESS] (45/324) GT: Group properties (zero_scalar_nullifier_zero)
- [19:44:01.846] [SUCCESS] (46/324) GT: Group properties (zero_scalar_nullifier_random)
- [19:44:01.995] [SUCCESS] (47/324) GT: Group properties (multiply_by_one_does_nothing)
- [19:44:02.174] [SUCCESS] (48/324) GT: Group properties (opposite_of_opposite)
- [19:44:02.318] [SUCCESS] (49/324) GT: Group properties (opposite_of_opposite_using_scalar)
- [19:44:02.318] [SUCCESS] (50/324) GT: Group properties (opposite_of_zero_is_zero)
- [19:44:02.318] [SUCCESS] (51/324) GT: Group properties (opposite_of_opposite_of_zero_is_zero)
- [19:44:02.318] [SUCCESS] (52/324) GT: Group properties (opposite_of_opposite_of_one_is_one)
- [19:44:02.325] [SUCCESS] (53/324) GT: Group properties (opposite_equality)
- [19:44:03.041] [SUCCESS] (54/324) GT: Group properties (distributivity)
- [19:44:03.554] [SUCCESS] (55/324) GT: Group properties (commutativity)
- [19:44:04.422] [SUCCESS] (56/324) GT: Group properties (opposite_of_scalar_is_opposite_of_ec)
- [19:44:04.714] [SUCCESS] (57/324) GT: Group properties (opposite_existential_property)
- [19:44:06.642] [SUCCESS] (58/324) GT: Group properties (multiplication_properties_on_base_field_element)
- [19:44:07.621] [SUCCESS] (59/324) GT: Group properties (additive_associativity_with_scalar)
- [19:44:07.965] [SUCCESS] (60/324) GT: Group properties (random elements are generated in the prime subgroup)
- [19:44:08.429] [SUCCESS] (61/324) GT: Group properties (additive_associativity)
- [19:44:08.429] [SUCCESS] (62/324) G2: is_zero (with zero value)
- [19:44:08.429] [SUCCESS] (63/324) G2: is_zero (with one value)
- [19:44:08.588] [SUCCESS] (64/324) G2: is_zero (with random value)
- [19:44:08.758] [SUCCESS] (65/324) G2: value generation (random)
- [19:44:08.758] [SUCCESS] (66/324) G2: value generation (negate_with_one)
- [19:44:08.758] [SUCCESS] (67/324) G2: value generation (negate_with_zero)
- [19:44:08.898] [SUCCESS] (68/324) G2: value generation (negate_with_random)
- [19:44:09.044] [SUCCESS] (69/324) G2: value generation (double_with_random)
- [19:44:09.044] [SUCCESS] (70/324) G2: value generation (double_with_one)
- [19:44:09.044] [SUCCESS] (71/324) G2: value generation (double_with_zero)
- [19:44:09.045] [SUCCESS] (72/324) G2: equality (zero)
- [19:44:09.045] [SUCCESS] (73/324) G2: equality (one)
- [19:44:09.265] [SUCCESS] (74/324) G2: equality (random_same_objects)
- [19:44:09.430] [SUCCESS] (75/324) G2: Curve properties (check_bytes_random)
- [19:44:09.431] [SUCCESS] (76/324) G2: Curve properties (check_bytes_zero)
- [19:44:09.431] [SUCCESS] (77/324) G2: Curve properties (check_bytes_one)
- [19:45:49.732] [SUCCESS] (78/324) G2: Curve properties (bulk add)
- [19:45:49.981] [SUCCESS] (79/324) G2: Curve properties (check_bytes_random_double)
- [19:45:50.384] [SUCCESS] (80/324) G2: Curve properties (check_bytes_random_sum)
- [19:45:50.619] [SUCCESS] (81/324) G2: Curve properties (check_bytes_random_multiplication)
- [19:45:50.620] [SUCCESS] (82/324) G2: Curve properties (zero_scalar_nullifier_one)
- [19:45:50.621] [SUCCESS] (83/324) G2: Curve properties (zero_scalar_nullifier_zero)
- [19:45:50.920] [SUCCESS] (84/324) G2: Curve properties (zero_scalar_nullifier_random)
- [19:45:51.230] [SUCCESS] (85/324) G2: Curve properties (multiply_by_one_does_nothing)
- [19:45:51.518] [SUCCESS] (86/324) G2: Curve properties (opposite_of_opposite)
- [19:45:51.883] [SUCCESS] (87/324) G2: Curve properties (opposite_of_opposite_using_scalar)
- [19:45:51.884] [SUCCESS] (88/324) G2: Curve properties (opposite_of_zero_is_zero)
- [19:45:51.884] [SUCCESS] (89/324) G2: Curve properties (opposite_of_opposite_of_zero_is_zero)
- [19:45:51.884] [SUCCESS] (90/324) G2: Curve properties (opposite_of_opposite_of_one_is_one)
- [19:45:51.891] [SUCCESS] (91/324) G2: Curve properties (opposite_equality)
- [19:45:52.446] [SUCCESS] (92/324) G2: Curve properties (distributivity)
- [19:45:52.708] [SUCCESS] (93/324) G2: Curve properties (opposite_of_scalar_is_opposite_of_ec)
- [19:45:52.868] [SUCCESS] (94/324) G2: Curve properties (opposite_existential_property)
- [19:45:53.369] [SUCCESS] (95/324) G2: Curve properties (multiplication_properties_on_base_field_element)
- [19:45:53.651] [SUCCESS] (96/324) G2: Curve properties (double)
- [19:45:54.205] [SUCCESS] (97/324) G2: Curve properties (additive_associativity_with_scalar)
- [19:45:54.688] [SUCCESS] (98/324) G2: Curve properties (random elements are generated in the prime subgroup)
- [19:45:55.461] [SUCCESS] (99/324) G2: Curve properties (additive_associativity)
- [19:45:55.723] [SUCCESS] (100/324) G2: Memory (copy)
- [19:45:55.723] [SUCCESS] (101/324) G2: Memory (size in memory)
- [19:46:08.731] [SUCCESS] (102/324) G2: Bulk operations (bulk add)
- [19:46:19.114] [SUCCESS] (103/324) G2: Bulk operations (to_affine_array)
- [19:46:27.981] [SUCCESS] (104/324) G2: Bulk operations (size_of_affine_array)
- [19:46:28.119] [SUCCESS] (105/324) G2: Bulk operations (pippenger)
- [19:46:50.172] [SUCCESS] (106/324) G2: Bulk operations (pippenger continuous chunk size)
- [19:46:50.293] [SUCCESS] (107/324) G2: Bulk operations (pippenger different size)
- [19:46:50.433] [SUCCESS] (108/324) G2: Bulk operations (pippenger contiguous)
- [19:46:50.559] [SUCCESS] (109/324) G2: Bulk operations (pippenger contiguous with different size)
- [19:46:50.677] [SUCCESS] (110/324) G2: Bulk operations (pippenger contiguous with start argument)
- [19:46:50.799] [SUCCESS] (111/324) G2: Bulk operations (pippenger contiguous with start and len argument)
- [19:46:50.887] [SUCCESS] (112/324) G2: Bulk operations (pippenger contiguous with len argument)
- [19:46:50.887] [SUCCESS] (113/324) G2: Representation of G2 Uncompressed (zero has first byte at 64)
- [19:46:50.889] [SUCCESS] (114/324) G2: Representation of G2 Uncompressed (of_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [19:46:53.341] [SUCCESS] (115/324) G2: Representation of G2 Uncompressed (of_bytes_opt/exn do not accept compressed bytes representation)
- [19:46:55.673] [SUCCESS] (116/324) G2: Representation of G2 Uncompressed (random has first byte strictly lower than 64)
- [19:46:55.673] [SUCCESS] (117/324) G2: Compressed representation (vectors)
- [19:46:55.676] [SUCCESS] (118/324) G2: Compressed representation (of_compressed_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [19:46:57.672] [SUCCESS] (119/324) G2: Compressed representation (of_compressed_bytes_opt/exn do not accept uncompressed bytes representation)
- [19:46:57.673] [SUCCESS] (120/324) G2: Compressed representation (Regression tests)
- [19:46:57.677] [SUCCESS] (121/324) G2: Compressed representation (Recover correct point)
- [19:46:57.847] [SUCCESS] (122/324) G2: Compressed representation (Most significant bit is set to 1)
- [19:46:57.847] [SUCCESS] (123/324) G2: Compressed representation (Second most significant bit is set to 1 for the identity element)
- [19:46:57.993] [SUCCESS] (124/324) G2: Compressed representation (Verify x is fully in the compressed version and in big endian)
- [19:46:57.995] [SUCCESS] (125/324) G2: Compressed representation (Compressed version is half the size)
- [19:46:57.997] [SUCCESS] (126/324) G2: Regression tests for arithmetic (Regression tests)
- [19:46:58.214] [SUCCESS] (127/324) G2: Inplace operations (mul inplace)
- [19:46:58.647] [SUCCESS] (128/324) G2: Inplace operations (add inplace)
- [19:46:58.647] [SUCCESS] (129/324) G2: From Z elements (one (generator))
- [19:46:58.648] [SUCCESS] (130/324) G2: From Z elements (random points not on curve)
- [19:46:58.648] [SUCCESS] (131/324) G1: is_zero (with zero value)
- [19:46:58.648] [SUCCESS] (132/324) G1: is_zero (with one value)
- [19:46:58.677] [SUCCESS] (133/324) G1: is_zero (with random value)
- [19:46:58.708] [SUCCESS] (134/324) G1: value generation (random)
- [19:46:58.708] [SUCCESS] (135/324) G1: value generation (negate_with_one)
- [19:46:58.708] [SUCCESS] (136/324) G1: value generation (negate_with_zero)
- [19:46:58.757] [SUCCESS] (137/324) G1: value generation (negate_with_random)
- [19:46:58.791] [SUCCESS] (138/324) G1: value generation (double_with_random)
- [19:46:58.791] [SUCCESS] (139/324) G1: value generation (double_with_one)
- [19:46:58.792] [SUCCESS] (140/324) G1: value generation (double_with_zero)
- [19:46:58.792] [SUCCESS] (141/324) G1: equality (zero)
- [19:46:58.792] [SUCCESS] (142/324) G1: equality (one)
- [19:46:58.820] [SUCCESS] (143/324) G1: equality (random_same_objects)
- [19:46:58.850] [SUCCESS] (144/324) G1: Curve properties (check_bytes_random)
- [19:46:58.850] [SUCCESS] (145/324) G1: Curve properties (check_bytes_zero)
- [19:46:58.850] [SUCCESS] (146/324) G1: Curve properties (check_bytes_one)
- [19:47:20.977] [SUCCESS] (147/324) G1: Curve properties (bulk add)
- [19:47:21.029] [SUCCESS] (148/324) G1: Curve properties (check_bytes_random_double)
- [19:47:21.129] [SUCCESS] (149/324) G1: Curve properties (check_bytes_random_sum)
- [19:47:21.215] [SUCCESS] (150/324) G1: Curve properties (check_bytes_random_multiplication)
- [19:47:21.216] [SUCCESS] (151/324) G1: Curve properties (zero_scalar_nullifier_one)
- [19:47:21.216] [SUCCESS] (152/324) G1: Curve properties (zero_scalar_nullifier_zero)
- [19:47:21.318] [SUCCESS] (153/324) G1: Curve properties (zero_scalar_nullifier_random)
- [19:47:21.404] [SUCCESS] (154/324) G1: Curve properties (multiply_by_one_does_nothing)
- [19:47:21.454] [SUCCESS] (155/324) G1: Curve properties (opposite_of_opposite)
- [19:47:21.543] [SUCCESS] (156/324) G1: Curve properties (opposite_of_opposite_using_scalar)
- [19:47:21.543] [SUCCESS] (157/324) G1: Curve properties (opposite_of_zero_is_zero)
- [19:47:21.543] [SUCCESS] (158/324) G1: Curve properties (opposite_of_opposite_of_zero_is_zero)
- [19:47:21.543] [SUCCESS] (159/324) G1: Curve properties (opposite_of_opposite_of_one_is_one)
- [19:47:21.546] [SUCCESS] (160/324) G1: Curve properties (opposite_equality)
- [19:47:21.731] [SUCCESS] (161/324) G1: Curve properties (distributivity)
- [19:47:21.838] [SUCCESS] (162/324) G1: Curve properties (opposite_of_scalar_is_opposite_of_ec)
- [19:47:21.881] [SUCCESS] (163/324) G1: Curve properties (opposite_existential_property)
- [19:47:22.115] [SUCCESS] (164/324) G1: Curve properties (multiplication_properties_on_base_field_element)
- [19:47:22.159] [SUCCESS] (165/324) G1: Curve properties (double)
- [19:47:22.300] [SUCCESS] (166/324) G1: Curve properties (additive_associativity_with_scalar)
- [19:47:22.421] [SUCCESS] (167/324) G1: Curve properties (random elements are generated in the prime subgroup)
- [19:47:22.554] [SUCCESS] (168/324) G1: Curve properties (additive_associativity)
- [19:47:22.605] [SUCCESS] (169/324) G1: Memory (copy)
- [19:47:22.605] [SUCCESS] (170/324) G1: Memory (size in memory)
- [19:47:24.360] [SUCCESS] (171/324) G1: Bulk operations (bulk add)
- [19:47:26.444] [SUCCESS] (172/324) G1: Bulk operations (to_affine_array)
- [19:47:28.363] [SUCCESS] (173/324) G1: Bulk operations (size_of_affine_array)
- [19:47:28.389] [SUCCESS] (174/324) G1: Bulk operations (pippenger)
- [19:47:32.849] [SUCCESS] (175/324) G1: Bulk operations (pippenger continuous chunk size)
- [19:47:32.908] [SUCCESS] (176/324) G1: Bulk operations (pippenger different size)
- [19:47:32.976] [SUCCESS] (177/324) G1: Bulk operations (pippenger contiguous)
- [19:47:33.030] [SUCCESS] (178/324) G1: Bulk operations (pippenger contiguous with different size)
- [19:47:33.074] [SUCCESS] (179/324) G1: Bulk operations (pippenger contiguous with start argument)
- [19:47:33.112] [SUCCESS] (180/324) G1: Bulk operations (pippenger contiguous with start and len argument)
- [19:47:33.156] [SUCCESS] (181/324) G1: Bulk operations (pippenger contiguous with len argument)
- [19:47:33.156] [SUCCESS] (182/324) G1: Representation of G1 Uncompressed (zero has first byte at 64)
- [19:47:33.814] [SUCCESS] (183/324) G1: Representation of G1 Uncompressed (of bytes and to bytes are consistent on random)
- [19:47:33.815] [SUCCESS] (184/324) G1: Representation of G1 Uncompressed (bytes encoding)
- [19:47:33.818] [SUCCESS] (185/324) G1: Representation of G1 Uncompressed (of_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [19:47:33.818] [SUCCESS] (186/324) G1: Representation of G1 Uncompressed (of bytes and to bytes are consistent on one)
- [19:47:33.818] [SUCCESS] (187/324) G1: Representation of G1 Uncompressed (of bytes and to bytes are consistent on zero)
- [19:47:34.285] [SUCCESS] (188/324) G1: Representation of G1 Uncompressed (of_bytes_opt/exn do not accept compressed bytes representation)
- [19:47:34.559] [SUCCESS] (189/324) G1: Representation of G1 Uncompressed (random has first byte strictly lower than 64)
- [19:47:34.559] [SUCCESS] (190/324) G1: Compressed representation (vectors)
- [19:47:34.560] [SUCCESS] (191/324) G1: Compressed representation (of_compressed_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [19:47:34.920] [SUCCESS] (192/324) G1: Compressed representation (of_compressed_bytes_opt/exn do not accept uncompressed bytes representation)
- [19:47:34.921] [SUCCESS] (193/324) G1: Compressed representation (Regression tests)
- [19:47:34.921] [SUCCESS] (194/324) G1: Compressed representation (Recover correct point)
- [19:47:34.946] [SUCCESS] (195/324) G1: Compressed representation (Most significant bit is set to 1)
- [19:47:34.946] [SUCCESS] (196/324) G1: Compressed representation (Second most significant bit is set to 1 for the identity element)
- [19:47:34.973] [SUCCESS] (197/324) G1: Compressed representation (Verify x is fully in the compressed version and in big endian)
- [19:47:34.973] [SUCCESS] (198/324) G1: Compressed representation (Compressed version is half the size)
- [19:47:35.034] [SUCCESS] (199/324) G1: Inplace operations (mul inplace)
- [19:47:35.083] [SUCCESS] (200/324) G1: Inplace operations (add inplace)
- [19:47:35.084] [SUCCESS] (201/324) G1: Regression tests for arithmetic (Regression tests)
- 17f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb08b3f481e3aaa0f1a09e30ed741d8ae4fcf5e095d5d00af600db18cb2c04b3edd03cc744a2888ae40caa232946c5e7e1
- 17f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb08b3f481e3aaa0f1a09e30ed741d8ae4fcf5e095d5d00af600db18cb2c04b3edd03cc744a2888ae40caa232946c5e7e1
- [19:47:35.085] [SUCCESS] (202/324) G1: From Z elements (one (generator))
- [19:47:35.085] [SUCCESS] (203/324) G1: From Z elements (test vectors 1)
- [19:47:35.085] [SUCCESS] (204/324) G1: From Z elements (test vectors 2)
- [19:47:35.085] [SUCCESS] (205/324) G1: From Z elements (test vectors 3)
- [19:47:35.085] [SUCCESS] (206/324) G1: From Z elements (test random points not on curve)
- [19:47:35.085] [SUCCESS] (207/324) G1: From Z elements (test vectors zero and 2 not on curve)
- [19:47:35.085] [SUCCESS] (208/324) G1: From Z elements (test vectors zero and minus 2 not on curve)
- [19:47:35.086] [SUCCESS] (209/324) G1: From Z elements (test vectors add)
- [19:47:35.086] [SUCCESS] (210/324) Fr: Test vectors (inverse)
- [19:47:35.086] [SUCCESS] (211/324) Fr: Test vectors (add)
- [19:47:35.087] [SUCCESS] (212/324) Fr: Test vectors (add bulk)
- [19:47:35.089] [SUCCESS] (213/324) Fr: Test vectors (mul bulk)
- [19:47:35.089] [SUCCESS] (214/324) Fr: Test vectors (opposite)
- [19:47:35.089] [SUCCESS] (215/324) Fr: Test vectors (pow)
- [19:47:35.089] [SUCCESS] (216/324) Fr: Test vectors (multiplication)
- [19:47:35.089] [SUCCESS] (217/324) Fr: Z representation (one)
- [19:47:35.089] [SUCCESS] (218/324) Fr: Z representation (zero)
- [19:47:35.089] [SUCCESS] (219/324) Fr: Z representation (of z and to z with random small numbers)
- [19:47:35.089] [SUCCESS] (220/324) Fr: Z representation (to z and of z with test vectors)
- [19:47:35.090] [SUCCESS] (221/324) Fr: Z representation (of z accepts value greater than the modulo)
- [19:47:35.090] [SUCCESS] (222/324) Fr: Z representation (to z and of z with random small numbers)
- [19:47:35.090] [SUCCESS] (223/324) Fr: Memory (copy)
- [19:47:35.090] [SUCCESS] (224/324) Fr: Memory (size in memory)
- [19:47:35.090] [SUCCESS] (225/324) Fr: Additional Constructors (with positive values as documented)
- [19:47:35.090] [SUCCESS] (226/324) Fr: Additional Constructors (with positive values use decimal represntation)
- [19:47:35.090] [SUCCESS] (227/324) Fr: Additional Constructors (with negative values as documented)
- [19:47:35.091] [SUCCESS] (228/324) Fr: Additional Constructors (with negeative values use decimal represntation)
- [19:47:35.091] [SUCCESS] (229/324) Fr: Inplace operations (add)
- [19:47:35.092] [SUCCESS] (230/324) Fr: Inplace operations (add with same value)
- [19:47:35.092] [SUCCESS] (231/324) Fr: Inplace operations (square)
- [19:47:35.092] [SUCCESS] (232/324) Fr: Inplace operations (negate)
- [19:47:35.093] [SUCCESS] (233/324) Fr: Inplace operations (double)
- [19:47:35.093] [SUCCESS] (234/324) Fr: Inplace operations (inverse)
- [19:47:35.094] [SUCCESS] (235/324) Fr: Inplace operations (negate with same value as output)
- [19:47:35.095] [SUCCESS] (236/324) Fr: Inplace operations (inverse_exn with same value as output)
- [19:47:35.095] [SUCCESS] (237/324) Fr: Inplace operations (sub with same value)
- [19:47:35.095] [SUCCESS] (238/324) Fr: Inplace operations (sub with same value as output)
- [19:47:35.096] [SUCCESS] (239/324) Fr: Inplace operations (mul with same value)
- [19:47:35.096] [SUCCESS] (240/324) Fr: Inplace operations (add with same value as output)
- [19:47:35.097] [SUCCESS] (241/324) Fr: Inplace operations (mul with same value as output)
- [19:47:35.098] [SUCCESS] (242/324) Fr: Inplace operations (sub)
- [19:47:35.098] [SUCCESS] (243/324) Fr: Inplace operations (mul)
- [19:47:35.098] [SUCCESS] (244/324) Fr: Bytes representation (bytes representation is the same than zarith using Z.to_bits)
- [19:47:35.098] [SUCCESS] (245/324) Fr: Bytes representation (of_bytes_[exn/opt] do not accept elements higher than the modulus)
- [19:47:35.098] [SUCCESS] (246/324) Fr: Bytes representation (Padding is done automatically with of_bytes)
- [19:47:35.099] [SUCCESS] (247/324) Fr: Test comparison operators ((=) operator on random element)
- [19:47:35.099] [SUCCESS] (248/324) Fr: Test comparison operators ((=) operator on random element: failing test)
- [19:47:35.099] [SUCCESS] (249/324) Fr: Test comparison operators ((!=) operator on random element: failing test)
- [19:47:35.099] [SUCCESS] (250/324) Fr: Test comparison operators ((=) operator on zero)
- [19:47:35.099] [SUCCESS] (251/324) Fr: Test comparison operators ((=) operator on one)
- [19:47:35.099] [SUCCESS] (252/324) Fr: Test comparison operators ((<) 0 < 1)
- [19:47:35.099] [SUCCESS] (253/324) Fr: Test comparison operators ((>) 0 > 1: failing test)
- [19:47:35.099] [SUCCESS] (254/324) Fr: Test comparison operators ((>) successor is greater)
- [19:47:35.099] [SUCCESS] (255/324) Fr: Test comparison operators ((>) 1 > 0)
- [19:47:35.099] [SUCCESS] (256/324) Fr: Test comparison operators ((<) 1 < 0: failing test)
- [19:47:35.099] [SUCCESS] (257/324) Fr: Test comparison operators ((<) x < x + 1)
- [19:47:35.403] [SUCCESS] (258/324) Fr: Inner product (with random elements)
- [19:47:35.403] [SUCCESS] (259/324) Fr: String representation (one)
- [19:47:35.403] [SUCCESS] (260/324) Fr: String representation (consistency of_string with of_z with test vectors)
- [19:47:35.403] [SUCCESS] (261/324) Fr: String representation (of_string accepts elements higher than the modulus)
- [19:47:35.403] [SUCCESS] (262/324) Fr: String representation (consistency of_string to_string with test vectors)
- [19:47:35.403] [SUCCESS] (263/324) Fr: String representation (zero)
- [19:47:35.403] [SUCCESS] (264/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero)
- [19:47:35.403] [SUCCESS] (265/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (random)
- [19:47:35.403] [SUCCESS] (266/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (non null random)
- [19:47:35.403] [SUCCESS] (267/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_random_not_null)
- [19:47:35.403] [SUCCESS] (268/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (negate_with_one)
- [19:47:35.403] [SUCCESS] (269/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (negate_with_zero)
- [19:47:35.403] [SUCCESS] (270/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_with_one)
- [19:47:35.403] [SUCCESS] (271/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_with_zero)
- [19:47:35.403] [SUCCESS] (272/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_with_random)
- [19:47:35.403] [SUCCESS] (273/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (square_with_one)
- [19:47:35.403] [SUCCESS] (274/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (square_with_random)
- [19:47:35.403] [SUCCESS] (275/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (negate_with_random)
- [19:47:35.403] [SUCCESS] (276/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_is_same_than_multiply_by_same_element)
- [19:47:35.403] [SUCCESS] (277/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_one)
- [19:47:35.403] [SUCCESS] (278/324) Fr: is_zero for field of order 5243587517512619047944774050818596583769055250052763782260365869993858118 (with zero value)
- [19:47:35.403] [SUCCESS] (279/324) Fr: is_zero for field of order 5243587517512619047944774050818596583769055250052763782260365869993858118 (with random value)
- [19:47:35.403] [SUCCESS] (280/324) Fr: Equality for field of order 524358751751261904794477405081859658376905525005276378226036586999385811 (zero_same_objects)
- [19:47:35.403] [SUCCESS] (281/324) Fr: Equality for field of order 524358751751261904794477405081859658376905525005276378226036586999385811 (one_same_objects)
- [19:47:35.403] [SUCCESS] (282/324) Fr: Equality for field of order 524358751751261904794477405081859658376905525005276378226036586999385811 (random_same_objects)
- [19:47:35.403] [SUCCESS] (283/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_nullifier_one)
- [19:47:35.403] [SUCCESS] (284/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_nullifier_zero)
- [19:47:35.403] [SUCCESS] (285/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_nullifier_random)
- [19:47:35.403] [SUCCESS] (286/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_of_non_null_does_exist)
- [19:47:35.403] [SUCCESS] (287/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_of_one_is_one)
- [19:47:35.403] [SUCCESS] (288/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_has_no_inverse)
- [19:47:35.403] [SUCCESS] (289/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_of_inverse)
- [19:47:35.403] [SUCCESS] (290/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (opposite_of_opposite)
- [19:47:35.403] [SUCCESS] (291/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (opposite_of_zero_is_zero)
- [19:47:35.403] [SUCCESS] (292/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (additive_associativity)
- [19:47:35.403] [SUCCESS] (293/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (distributivity)
- [19:47:35.403] [SUCCESS] (294/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero on random element equals one)
- [19:47:35.403] [SUCCESS] (295/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero on one equals one)
- [19:47:35.403] [SUCCESS] (296/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow one on random element equals the same element)
- [19:47:35.403] [SUCCESS] (297/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow two on random element equals the square)
- [19:47:35.403] [SUCCESS] (298/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow element to the additive group order)
- [19:47:35.403] [SUCCESS] (299/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow element to the multiplicative group order)
- [19:47:35.403] [SUCCESS] (300/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow element to a random power plus the additive group order)
- [19:47:35.403] [SUCCESS] (301/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero to zero is one)
- [19:47:35.403] [SUCCESS] (302/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero to non null exponent is zero)
- [19:47:35.403] [SUCCESS] (303/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow to negative exponent)
- [19:47:35.403] [SUCCESS] (304/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (opposite property)
- [19:47:35.403] [SUCCESS] (305/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse property)
- [19:47:35.403] [SUCCESS] (306/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow addition property)
- [19:47:35.403] [SUCCESS] (307/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (sub definition)
- [19:47:35.403] [SUCCESS] (308/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (multiplicative_associativity)
- [19:47:35.403] [SUCCESS] (309/324) Fr: Memory representation for field of order 52435875175126190479447740508185965837690552500527637822603 (to_bytes returns the correct number of bytes)
- [19:47:35.403] [SUCCESS] (310/324) Fr: Memory representation for field of order 52435875175126190479447740508185965837690552500527637822603 (to_bytes and of bytes are inverses)
- [19:47:35.406] [SUCCESS] (311/324) Fq12: Properties (pow one on random element equals the same element)
- [19:47:35.409] [SUCCESS] (312/324) Fq12: Properties (pow two on random element equals the square)
- [19:47:35.411] [SUCCESS] (313/324) Fq12: Properties (pow element to the additive group order)
- [19:47:35.414] [SUCCESS] (314/324) Fq12: Properties (pow element to the multiplicative group order)
- [19:47:35.449] [SUCCESS] (315/324) Fq12: Properties (pow element to a random power plus the additive group order)
- [19:47:44.431] [SUCCESS] (316/324) Fq12: Properties (pow to negative exponent)
- [19:47:44.431] [SUCCESS] (317/324) Fq12: is one (is_one with random value)
- [19:47:44.431] [SUCCESS] (318/324) Fq12: is one (is_one with zero)
- [19:47:44.431] [SUCCESS] (319/324) Fq12: is one (is_one with gt generator)
- [19:47:44.431] [SUCCESS] (320/324) Fq12: is one (is_one with gt zero)
- [19:47:44.431] [SUCCESS] (321/324) Fq12: is zero (is_zero with random value)
- [19:47:44.431] [SUCCESS] (322/324) Fq12: is zero (is_zero with zero)
- [19:47:44.431] [SUCCESS] (323/324) Fq12: is zero (is_zero with gt generator)
- [19:47:44.431] [SUCCESS] (324/324) Fq12: is zero (is_zero with gt zero)
-> compiled  bls12-381.18.0
-> removed   bls12-381.18.0
-> installed bls12-381.18.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 19:47.45 ---> saved as "b28c8806923178c5c209b2aae9f13080ef3e4037bea76df7ffdd555c7aa92354"
Job succeeded
2024-02-12 19:47.58: Job succeeded