- github
- ocaml
- opam-repository
- dd5533
- compilers,4.14,dune-private-libs.3.20.0~alpha2,revdeps,goblint.2.0.0
(not at the head of any monitored branch or PR)
2025-08-05 13:59.22: New job: test goblint.2.0.0 with dune-private-libs.3.20.0~alpha2, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/28298/head (dd5533520fdcb5364efecb41d297e786ddcc1f76)
on debian-12-ocaml-4.14/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/28298/head" && git reset --hard dd553352
git fetch origin master
git merge --no-edit 39155538b0d7654773a68bd42b0b7dbb8eb14ad7
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.14@sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
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
RUN opam pin add -k version -yn dune-private-libs.3.20.0~alpha2 3.20.0~alpha2
RUN opam reinstall dune-private-libs.3.20.0~alpha2; \
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" != 'dune-private-libs.3.20.0~alpha2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall goblint.2.0.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" != 'goblint.2.0.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test goblint.2.0.0) || true
RUN opam reinstall --with-test --verbose goblint.2.0.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" != 'goblint.2.0.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 .
2025-08-05 13:59.22: Using cache hint "ocaml/opam:debian-12-ocaml-4.14@sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63-dune-private-libs.3.20.0~alpha2-goblint.2.0.0-dd5533520fdcb5364efecb41d297e786ddcc1f76"
2025-08-05 13:59.22: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.14@sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(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"))
(run (shell "opam pin add -k version -yn dune-private-libs.3.20.0~alpha2 3.20.0~alpha2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune-private-libs.3.20.0~alpha2;\
\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\" != 'dune-private-libs.3.20.0~alpha2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall goblint.2.0.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\" != 'goblint.2.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test goblint.2.0.0) || true"))
(run (shell "opam reinstall --with-test --verbose goblint.2.0.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\" != 'goblint.2.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-08-05 13:59.22: Waiting for resource in pool OCluster
2025-08-05 14:35.08: Waiting for worker…
2025-08-05 14:42.13: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 39155538b0 Merge pull request #28292 from gildor478/release-ocamlmod-v0.1.1
Updating 39155538b0..dd5533520f
Fast-forward
.../chrome-trace/chrome-trace.3.20.0~alpha2/opam | 41 ++++++++++++
.../dune-action-plugin.3.20.0~alpha2/opam | 54 ++++++++++++++++
.../dune-build-info.3.20.0~alpha2/opam | 47 ++++++++++++++
.../dune-configurator.3.20.0~alpha2/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.20.0~alpha2/opam | 44 +++++++++++++
.../dune-private-libs.3.20.0~alpha2/opam | 52 +++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.20.0~alpha2/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.20.0~alpha2/opam | 45 +++++++++++++
packages/dune-site/dune-site.3.20.0~alpha2/opam | 39 ++++++++++++
packages/dune/dune.3.20.0~alpha2/opam | 74 ++++++++++++++++++++++
packages/dyn/dyn.3.20.0~alpha2/opam | 42 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.20.0~alpha2/opam | 45 +++++++++++++
packages/ordering/ordering.3.20.0~alpha2/opam | 40 ++++++++++++
packages/stdune/stdune.3.20.0~alpha2/opam | 46 ++++++++++++++
packages/xdg/xdg.3.20.0~alpha2/opam | 41 ++++++++++++
15 files changed, 704 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.20.0~alpha2/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.20.0~alpha2/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.20.0~alpha2/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.20.0~alpha2/opam
create mode 100644 packages/dune-glob/dune-glob.3.20.0~alpha2/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.20.0~alpha2/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.20.0~alpha2/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.20.0~alpha2/opam
create mode 100644 packages/dune-site/dune-site.3.20.0~alpha2/opam
create mode 100644 packages/dune/dune.3.20.0~alpha2/opam
create mode 100644 packages/dyn/dyn.3.20.0~alpha2/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.20.0~alpha2/opam
create mode 100644 packages/ordering/ordering.3.20.0~alpha2/opam
create mode 100644 packages/stdune/stdune.3.20.0~alpha2/opam
create mode 100644 packages/xdg/xdg.3.20.0~alpha2/opam
(from ocaml/opam:debian-12-ocaml-4.14@sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63)
Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63' locally
docker.io/ocaml/opam@sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63: Pulling from ocaml/opam
a77c4f4a24ac: Already exists
9d1a03aa3c71: Pulling fs layer
baba434270f2: Pulling fs layer
2a8a0f93626e: Pulling fs layer
f6ba2ed01176: Pulling fs layer
f6ba2ed01176: Waiting
2a8a0f93626e: Download complete
baba434270f2: Download complete
f6ba2ed01176: Verifying Checksum
f6ba2ed01176: Download complete
9d1a03aa3c71: Verifying Checksum
9d1a03aa3c71: Download complete
9d1a03aa3c71: Pull complete
baba434270f2: Pull complete
2a8a0f93626e: Pull complete
f6ba2ed01176: Pull complete
Digest: sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63
Status: Downloaded newer image for ocaml/opam@sha256:b3b4d6d5643af6178c2c7da1f4185223f562d83280904781325cdf5798986a63
2025-08-05 14:42.19 ---> using "7f53aba96fd697ea92c7c7d3f6be48133fa7f3f6538a693606c4cbcecd7917b8" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-08-05 14:42.19 ---> using "e4ec4ab2139d3c4a94c2b5470fe84288e4986c518ff4f4ae2d7c7e30aeac0731" 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.
Continue? [y/n] y
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
[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] Initialised
2025-08-05 14:42.19 ---> using "707659fd6393183061072104f3ce800d69d94ba93e0f39ab380130268d0ee81e" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.3.0 (35acd0c5abc5e66cdbd5be16ba77aa6c33a4c724)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=12
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2025-08-05 14:42.19 ---> using "3ec3067d40f73cc0ec4554b242939c55b0261973e091b54a647662451dc49933" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/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/"))
2025-08-05 14:42.19 ---> using "376e3b49c8c08cb1ff0d45feb403c06e037d8df5800c560fdd8dd472f1e36b9a" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-08-05 14:42.20 ---> using "d7c14fc292f88db48f1d08b5e5bee64699faa33d6c6497ea4d0ded851936243b" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-08-05 14:42.20 ---> using "4d064c1160c8dcca737cd7528eeaed565bdc230fcc7555f114d63e3df515c34a" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [19.6 kB]
- Ign:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index
- Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages [6916 B]
- Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [272 kB]
- Fetched 402 kB in 1s (690 kB/s)
- Reading package lists...
-
2025-08-05 14:42.20 ---> using "f43accf761343248e80f7b61b22936d9bfc3109749567c716c34e25a997df933" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune-private-libs.3.20.0~alpha2 3.20.0~alpha2"))
dune-private-libs is now pinned to version 3.20.0~alpha2
2025-08-05 14:42.20 ---> using "18bb1a6bd9d2227a996d98396c9cd76afff9a8daf71b22cebdd339e53bfd687e" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune-private-libs.3.20.0~alpha2;\
\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\" != 'dune-private-libs.3.20.0~alpha2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune-private-libs.3.20.0~alpha2 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 7 packages
- install csexp 1.5.2 [required by dune-private-libs]
- install dune 3.20.0~alpha2 [required by dune-private-libs]
- install dune-private-libs 3.20.0~alpha2 (pinned)
- install dyn 3.20.0~alpha2 [required by dune-private-libs]
- install ordering 3.20.0~alpha2 [required by dyn, stdune]
- install pp 2.0.0 [required by dune-private-libs]
- install stdune 3.20.0~alpha2 [required by dune-private-libs]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.20.0~alpha2, dune-private-libs.3.20.0~alpha2, dyn.3.20.0~alpha2, ordering.3.20.0~alpha2, stdune.3.20.0~alpha2 (cached)
-> retrieved pp.2.0.0 (cached)
-> installed dune.3.20.0~alpha2
-> installed csexp.1.5.2
-> installed pp.2.0.0
-> installed ordering.3.20.0~alpha2
-> installed dyn.3.20.0~alpha2
-> installed stdune.3.20.0~alpha2
-> installed dune-private-libs.3.20.0~alpha2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-05 14:42.20 ---> using "87c7a5f9dcdacbc916d0c304648d89bde7ffc5cd177439056eb3d5a4faa044ae" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall goblint.2.0.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\" != 'goblint.2.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
goblint.2.0.0 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 52 packages
- install angstrom 0.16.1 [required by uri]
- install arg-complete 0.2.1 [required by goblint]
- install astring 0.8.5 [required by fpath]
- install batteries 3.9.0 [required by goblint]
- install bigarray-compat 1.1.0 [required by ctypes]
- install bigstringaf 0.10.0 [required by angstrom]
- install bos 0.2.1 [required by yaml]
- install camlp-streams 5.0.1 [required by batteries]
- install conf-autoconf 0.2 [required by cpu]
- install conf-gcc 1.0 [required by goblint]
- install conf-gmp 5 [required by goblint]
- install conf-perl 2 [required by goblint-cil]
- install conf-pkg-config 4 [required by zarith]
- install cppo 1.8.0 [required by arg-complete, goblint-cil]
- install cpu 2.0.0 [required by goblint]
- install cstruct 6.2.0 [required by hex]
- install ctypes 0.23.0 [required by yaml]
- install dune-configurator 3.20.0~alpha2 [required by goblint-cil, yaml]
- install dune-site 3.20.0~alpha2 [required by goblint]
- install fmt 0.11.0 [required by bos]
- install fpath 0.7.3 [required by goblint]
- install goblint 2.0.0
- install goblint-cil 2.0.1 [required by goblint]
- install hex 1.5.0 [required by json-data-encoding]
- install integers 0.7.0 [required by ctypes]
- install json-data-encoding 1.0.1 [required by goblint]
- install jsonrpc 1.23.0 [required by goblint]
- install logs 0.9.0 [required by bos]
- install num 1.6 [required by batteries]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocamlbuild 0.16.1 [required by fpath, uuidm]
- install ocamlfind 1.9.8 [required by fpath, batteries, uuidm]
- install ppx_blob 0.9.0 [required by goblint]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.1.1 [required by goblint]
- install ppx_deriving_hash 0.1.3 [required by goblint]
- install ppx_deriving_yojson 3.10.0 [required by goblint]
- install ppxlib 0.36.0 [required by ppx_blob, ppx_deriving_hash]
- install qcheck-core 0.25 [required by goblint]
- install rresult 0.7.0 [required by bos]
- install seq base [required by yojson]
- install sexplib0 v0.17.0 [required by ppxlib]
- install sha 1.15.4 [required by goblint]
- install stdlib-shims 0.3.0 [required by goblint-cil, sha]
- install stringext 1.6.0 [required by uri]
- install topkg 1.1.0 [required by fpath, uuidm]
- install uri 4.4.0 [required by json-data-encoding]
- install uuidm 0.9.10 [required by goblint]
- install yaml 3.2.0 [required by goblint]
- install yojson 2.2.2 [required by goblint]
- install zarith 1.14 [required by goblint]
The following system packages will first need to be installed:
autoconf libgmp-dev 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" "autoconf" "libgmp-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package m4.
- (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 ... 18747 files and directories currently installed.)
- Preparing to unpack .../0-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../1-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../2-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../3-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../4-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 .../5-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../6-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../7-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../8-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../9-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up m4 (1.4.19-3) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up autoconf (2.71-3) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-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+deb12u10) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved arg-complete.0.2.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved batteries.3.9.0 (cached)
-> retrieved bigarray-compat.1.1.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved cpu.2.0.0 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> installed conf-gcc.1.0
-> installed conf-pkg-config.4
-> installed conf-gmp.5
-> retrieved ctypes.0.23.0 (cached)
-> installed conf-autoconf.0.2
-> installed conf-perl.2
-> installed bigarray-compat.1.1.0
-> installed camlp-streams.5.0.1
-> retrieved dune-configurator.3.20.0~alpha2, dune-site.3.20.0~alpha2 (cached)
-> installed cppo.1.8.0
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved goblint.2.0.0 (cached)
-> installed arg-complete.0.2.1
-> installed cpu.2.0.0
-> retrieved goblint-cil.2.0.1 (cached)
-> retrieved hex.1.5.0 (cached)
-> retrieved integers.0.7.0 (cached)
-> retrieved json-data-encoding.1.0.1 (cached)
-> retrieved jsonrpc.1.23.0 (cached)
-> installed dune-site.3.20.0~alpha2
-> retrieved logs.0.9.0 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ppx_blob.0.9.0 (cached)
-> installed dune-configurator.3.20.0~alpha2
-> installed jsonrpc.1.23.0
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved ppx_deriving_hash.0.1.3 (cached)
-> retrieved ppx_deriving_yojson.3.10.0 (cached)
-> retrieved ppxlib.0.36.0 (cached)
-> retrieved qcheck-core.0.25 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> installed ppx_derivers.1.2.1
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved sha.1.15.4 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved topkg.1.1.0 (cached)
-> retrieved uri.4.4.0 (cached)
-> retrieved uuidm.0.9.10 (cached)
-> retrieved yaml.3.2.0 (cached)
-> installed bigstringaf.0.10.0
-> retrieved yojson.2.2.2 (cached)
-> installed ocaml-syntax-shims.1.0.0
-> installed stdlib-shims.0.3.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed stringext.1.6.0
-> retrieved zarith.1.14 (cached)
-> installed sexplib0.v0.17.0
-> installed integers.0.7.0
-> installed angstrom.0.16.1
-> installed num.1.6
-> installed qcheck-core.0.25
-> installed sha.1.15.4
-> installed yojson.2.2.2
-> installed uri.4.4.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed ctypes.0.23.0
-> installed zarith.1.14
-> installed batteries.3.9.0
-> installed topkg.1.1.0
-> installed uuidm.0.9.10
-> installed rresult.0.7.0
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed cstruct.6.2.0
-> installed hex.1.5.0
-> installed logs.0.9.0
-> installed fpath.0.7.3
-> installed json-data-encoding.1.0.1
-> installed ppxlib.0.36.0
-> installed ppx_blob.0.9.0
-> installed bos.0.2.1
-> installed ppx_deriving.6.1.1
-> installed yaml.3.2.0
-> installed ppx_deriving_hash.0.1.3
-> installed ppx_deriving_yojson.3.10.0
-> installed goblint-cil.2.0.1
-> installed goblint.2.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-05 14:43.16 ---> saved as "ebb46da0e807202ea148523b7170b2f495116ca8690e68fb9e6b58d50038a78e"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test goblint.2.0.0) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile goblint 2.0.0
=== install 4 packages
- install benchmark 1.7 [required by goblint]
- install conf-ruby 1.0.0 [required by goblint]
- install ounit2 2.2.7 [required by goblint]
- install qcheck-ounit 0.25 [required by goblint]
The following system packages will first need to be installed:
ruby
<><> 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" "ruby"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package fonts-lato.
- (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 ... 19126 files and directories currently installed.)
- Preparing to unpack .../00-fonts-lato_2.0-2.1_all.deb ...
- Unpacking fonts-lato (2.0-2.1) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../01-javascript-common_11+nmu1_all.deb ...
- Unpacking javascript-common (11+nmu1) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../02-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
- Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../03-libncurses6_6.4-4_amd64.deb ...
- Unpacking libncurses6:amd64 (6.4-4) ...
- Selecting previously unselected package rubygems-integration.
- Preparing to unpack .../04-rubygems-integration_1.18_all.deb ...
- Unpacking rubygems-integration (1.18) ...
- Selecting previously unselected package ruby3.1.
- Preparing to unpack .../05-ruby3.1_3.1.2-7+deb12u1_amd64.deb ...
- Unpacking ruby3.1 (3.1.2-7+deb12u1) ...
- Selecting previously unselected package ruby-rubygems.
- Preparing to unpack .../06-ruby-rubygems_3.3.15-2_all.deb ...
- Unpacking ruby-rubygems (3.3.15-2) ...
- Selecting previously unselected package ruby.
- Preparing to unpack .../07-ruby_1%3a3.1_amd64.deb ...
- Unpacking ruby (1:3.1) ...
- Selecting previously unselected package rake.
- Preparing to unpack .../08-rake_13.0.6-3_all.deb ...
- Unpacking rake (13.0.6-3) ...
- Selecting previously unselected package ruby-net-telnet.
- Preparing to unpack .../09-ruby-net-telnet_0.2.0-1_all.deb ...
- Unpacking ruby-net-telnet (0.2.0-1) ...
- Selecting previously unselected package ruby-webrick.
- Preparing to unpack .../10-ruby-webrick_1.8.1-1_all.deb ...
- Unpacking ruby-webrick (1.8.1-1) ...
- Selecting previously unselected package ruby-xmlrpc.
- Preparing to unpack .../11-ruby-xmlrpc_0.3.2-2_all.deb ...
- Unpacking ruby-xmlrpc (0.3.2-2) ...
- Selecting previously unselected package ruby-sdbm:amd64.
- Preparing to unpack .../12-ruby-sdbm_1.0.0-5+b1_amd64.deb ...
- Unpacking ruby-sdbm:amd64 (1.0.0-5+b1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../13-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package libruby3.1:amd64.
- Preparing to unpack .../14-libruby3.1_3.1.2-7+deb12u1_amd64.deb ...
- Unpacking libruby3.1:amd64 (3.1.2-7+deb12u1) ...
- Selecting previously unselected package libruby:amd64.
- Preparing to unpack .../15-libruby_1%3a3.1_amd64.deb ...
- Unpacking libruby:amd64 (1:3.1) ...
- Selecting previously unselected package zip.
- Preparing to unpack .../16-zip_3.0-13_amd64.deb ...
- Unpacking zip (3.0-13) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up fonts-lato (2.0-2.1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up rubygems-integration (1.18) ...
- Setting up zip (3.0-13) ...
- Setting up libncurses6:amd64 (6.4-4) ...
- Setting up ruby-net-telnet (0.2.0-1) ...
- Setting up ruby-webrick (1.8.1-1) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up ruby-xmlrpc (0.3.2-2) ...
- Setting up ruby3.1 (3.1.2-7+deb12u1) ...
- Setting up ruby (1:3.1) ...
- Setting up rake (13.0.6-3) ...
- Setting up libruby3.1:amd64 (3.1.2-7+deb12u1) ...
- Setting up libruby:amd64 (1:3.1) ...
- Setting up ruby-rubygems (3.3.15-2) ...
- Setting up ruby-sdbm:amd64 (1.0.0-5+b1) ...
- Processing triggers for libc-bin (2.36-9+deb12u10) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved benchmark.1.7 (https://opam.ocaml.org/cache)
-> installed conf-ruby.1.0.0
-> installed benchmark.1.7
-> retrieved goblint.2.0.0 (https://opam.ocaml.org/cache)
-> retrieved ounit2.2.2.7 (https://opam.ocaml.org/cache)
-> retrieved qcheck-ounit.0.25 (https://opam.ocaml.org/cache)
-> removed goblint.2.0.0
-> installed ounit2.2.2.7
-> installed qcheck-ounit.0.25
-> installed goblint.2.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-05 14:45.24 ---> saved as "f19b3ddfd47a0981457d1661f0205480ced9854e81e781dd7568262bf530fefa"
/home/opam: (run (shell "opam reinstall --with-test --verbose goblint.2.0.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\" != 'goblint.2.0.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 goblint 2.0.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [goblint.2.0.0: extract]
-> retrieved goblint.2.0.0 (cached)
[goblint: patch] applying 0001-Fix-deprecated-File.exists-in-update_suite.rb.patch
Processing 2/4: [goblint: patch]
Processing 2/4: [goblint: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "goblint" "-j" "255" "--promote-install-files=false" "@install" "@runtest" (CWD=/home/opam/.opam/4.14/.opam-switch/build/goblint.2.0.0)
- (cd _build/default/src && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /opam-tmp/build_53f2a6_dune/dune-pipe-action-_ee8a6f_.stdout
- fatal: not a git repository (or any parent up to mount point /)
- Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
- (cd _build/default/unittest && ./mainTest.exe)
- .....................................................................S.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
- Ran: 2643 tests in: 1.12 seconds.
- OK: Cases: 2643 Skip: 1
- (cd _build/default && ./make.sh test)
- Missing linux-headers, will download now!
- Missing parallel gem (install with: gem install parallel), falling back to sequential
-
Testing 00/01 sanity/assert
Testing 00/02 sanity/minimal
Testing 00/03 sanity/no_succ
Testing 00/04 sanity/empty_if
Testing 00/05 sanity/inf_loop
Testing 00/06 sanity/term1
Testing 00/07 sanity/term2
Testing 00/08 sanity/asm_nop
Testing 00/09 sanity/include
Testing 00/10 sanity/loop_label
Testing 00/11 sanity/loop_race
Testing 00/12 sanity/errno
Testing 00/13 sanity/sans_context
Testing 00/15 sanity/unused_arg
Testing 00/16 sanity/unknown_branches
Testing 00/17 sanity/constructors
Testing 00/18 sanity/parse-empty-array
Testing 00/19 sanity/if-0
Testing 00/20 sanity/if-0-realnode
Testing 00/21 sanity/empty-loops
Testing 00/22 sanity/modulo
Testing 00/23 sanity/modulo-interval
Testing 00/25 sanity/cfg-connect
Testing 00/26 sanity/strict-loop-enter
Testing 00/27 sanity/uncalled
Testing 00/28 sanity/strict-multi-entry-loop
Testing 00/29 sanity/earlyglobs-insens
Testing 00/30 sanity/both_branches
Testing 00/31 sanity/assert-redefine
Testing 00/32 sanity/check
Testing 00/40 sanity/wpoint-restart-sound
Testing 01/01 cpa/expressions
Testing 01/02 cpa/branch
Testing 01/03 cpa/loops
Testing 01/04 cpa/functions
Testing 01/05 cpa/recursion
Testing 01/06 cpa/pointers
Testing 01/07 cpa/structs
Testing 01/08 cpa/unions
Testing 01/09 cpa/arrays
Testing 01/10 cpa/posneg
Testing 01/11 cpa/fun_ptrargs
Testing 01/12 cpa/bool
Testing 01/13 cpa/scanf
Testing 01/14 cpa/vararg
Testing 01/15 cpa/break
Testing 01/16 cpa/exit
Testing 01/17 cpa/ptr_aliasing
Testing 01/18 cpa/ptr_chains
Testing 01/20 cpa/static_var
Testing 01/21 cpa/strings
Testing 01/22 cpa/null_ptr
Testing 01/23 cpa/std_funs
Testing 01/24 cpa/library_functions
Testing 01/28 cpa/interval
Testing 01/29 cpa/fun_struct_array
Testing 01/30 cpa/extern_var
Testing 01/31 cpa/unk-fn-ptrs
Testing 01/32 cpa/earlyglobs
Testing 01/33 cpa/asserts
Testing 01/34 cpa/def-exc
Testing 01/35 cpa/intervals
Testing 01/36 cpa/interval-branching
Testing 01/37 cpa/div
Testing 01/38 cpa/enum
Testing 01/39 cpa/interval-and-enums
Testing 01/40 cpa/arithm
Testing 01/41 cpa/cast_in_equal_comp
Testing 01/42 cpa/non-injective-mult-def-exc
Testing 01/43 cpa/large-n-div
Testing 01/44 cpa/large-n-div2
Testing 01/45 cpa/float
Testing 01/46 cpa/funptr_path
Testing 01/47 cpa/posneg-signed-overflow
Testing 01/49 cpa/earlyglobs-base
Testing 01/50 cpa/earlyglobs_precious
Testing 01/51 cpa/marshal
Testing 01/52 cpa/escaping-recursion
Testing 01/53 cpa/escaping-recursion-varEq
Testing 01/54 cpa/tid-invalidate
Testing 01/55 cpa/def_exc-widen
Testing 01/70 cpa/dead-branch-multiple
Testing 02/01 base/thread_creation
Testing 02/02 base/simple_assignments
Testing 02/03 base/pthread_join
Testing 02/04 base/branched_thread_creation
Testing 02/06 base/side_effect1
Testing 02/07 base/side_effect2
Testing 02/08 base/glob_interval
Testing 02/09 base/ambigpointer
Testing 02/10 base/init_allfuns
Testing 02/11 base/init_mainfun
Testing 02/20 base/malloc_int
Testing 02/21 base/malloc_loop
Testing 02/22 base/malloc_glob
Testing 02/23 base/malloc_globmt
Testing 02/24 base/malloc_races
Testing 02/25 base/malloc_race_cp
Testing 02/26 base/malloc_struct
Testing 02/29 base/bot_vals
Testing 02/30 base/escape_sound
Testing 02/32 base/single-thr
Testing 02/33 base/assert-infinite-loop
Testing 02/34 base/builtin_va_list
Testing 02/35 base/calloc_array
Testing 02/36 base/calloc_struct
Testing 02/37 base/calloc_glob
Testing 02/38 base/calloc_int
Testing 02/39 base/calloc_matrix
Testing 02/40 base/calloc_loop
Testing 02/41 base/calloc_globmt
Testing 02/42 base/calloc_zero_init
Testing 02/43 base/calloc_struct_array
Testing 02/44 base/malloc_array
Testing 02/45 base/branched_thread_creation_return
Testing 02/46 base/spawn-global-funptrs
Testing 02/47 base/no-threadescape
Testing 02/48 base/unknown_func_struct
Testing 02/49 base/unknown_func_union
Testing 02/50 base/unknown_func_array
Testing 02/51 base/spawn-special
Testing 02/53 base/spawn-special-arg
Testing 02/54 base/spawn-special-unknown
Testing 02/56 base/printf-ptr
Testing 02/57 base/meet-def-exc
Testing 02/58 base/empty-not-dead
Testing 02/59 base/evalint-deep
Testing 02/60 base/malloc-nonrefl
Testing 02/61 base/no-int-context
Testing 02/62 base/no-int-context-attribute
Testing 02/63 base/int-context-attribute
Testing 02/64 base/enums-minmax
Testing 02/65 base/no-eval-on-write
Testing 02/66 base/no-eval-on-write-multi
Testing 02/67 base/no-int-context-option
Testing 02/68 base/int-context-option
Testing 02/70 base/escape-unknown
Testing 02/71 base/pthread-once
Testing 02/72 base/ad-widen-duplicate
Testing 02/73 base/no-eval-on-write-offset
Testing 02/74 base/pcwd-deref-unknown-fp
Testing 02/75 base/memset
Testing 02/76 base/realloc
Testing 02/77 base/chrony-sched-array
Testing 02/78 base/realloc-free
Testing 02/79 base/unknown-spawn
Testing 02/80 base/unknown-no-spawn
Testing 02/81 base/invalidate_indirect_base
Testing 02/82 base/eq-no-overflow
Testing 02/83 base/evalint-mustbeequal
Testing 02/84 base/evalint-maybeequal
Testing 02/85 base/evalint-maybeless
Testing 02/86 base/spurious
Testing 02/87 base/casts-dep-on-param
Testing 02/88 base/string-ptrs-limited
Testing 02/89 base/string-ptrs-not-limited
Testing 02/90 base/memcpy
Testing 03/01 practical/lval_eval
Testing 03/02 practical/index_nonstruct
Testing 03/03 practical/pthread_ptrs
Testing 03/04 practical/assign_to_ukwn
Testing 03/05 practical/deslash
Testing 03/06 practical/callback
Testing 03/07 practical/nonterm
Testing 03/08 practical/nonterm1
Testing 03/09 practical/nonterm2
Testing 03/10 practical/big_init
Testing 03/11 practical/extern
Testing 03/12 practical/aget_minimal
Testing 03/13 practical/pfscan_minimal
Testing 03/14 practical/call_by_pointer
Testing 03/15 practical/exit_problems
Testing 03/16 practical/union_index
Testing 03/17 practical/struct_priv
Testing 03/19 practical/unsignedlonglong
Testing 03/20 practical/extern_nonpriv_sound
Testing 03/21 practical/pfscan_combine_minimal
Testing 03/22 practical/nested-infinite-loops
Testing 03/23 practical/knot-timeout
Testing 03/24 practical/threshold
Testing 03/25 practical/zstd-customMem
Testing 03/27 practical/charptr_null
Testing 04/01 mutex/simple_rc
Testing 04/02 mutex/simple_nr
Testing 04/03 mutex/munge_rc
Testing 04/04 mutex/munge_nr
Testing 04/05 mutex/lockfuns
Testing 04/06 mutex/ps_rc
Testing 04/07 mutex/ps_nr
Testing 04/08 mutex/pthread_arg
Testing 04/09 mutex/ptrmunge_rc
Testing 04/10 mutex/ptrmunge_nr
Testing 04/11 mutex/ptr_rc
Testing 04/12 mutex/ptr_nr
Testing 04/13 mutex/failed_locking
Testing 04/14 mutex/funarg_rc
Testing 04/15 mutex/funarg_nr
Testing 04/16 mutex/ps_add1_rc
Testing 04/17 mutex/ps_add1_nr
Testing 04/18 mutex/glob_guards
Testing 04/19 mutex/call_by_ptr_rc
Testing 04/20 mutex/stdfun_rc
Testing 04/21 mutex/sound_base
Testing 04/22 mutex/deref_read
Testing 04/23 mutex/sound_unlock
Testing 04/24 mutex/sound_lock
Testing 04/25 mutex/single_acc
Testing 04/27 mutex/base_rc
Testing 04/28 mutex/base_nr
Testing 04/29 mutex/funstruct_rc
Testing 04/30 mutex/funstruct_nr
Testing 04/31 mutex/uninitialized
Testing 04/32 mutex/allfuns
Testing 04/35 mutex/trylock_rc
Testing 04/36 mutex/trylock_nr
Testing 04/37 mutex/indirect_rc
Testing 04/38 mutex/indexing_malloc
Testing 04/41 mutex/pt_rwlock
Testing 04/42 mutex/trylock_2mutex
Testing 04/43 mutex/thread_create_nr
Testing 04/44 mutex/malloc_sound
Testing 04/45 mutex/escape_rc
Testing 04/46 mutex/escape_nr
Testing 04/47 mutex/fun_write
Testing 04/49 mutex/type-invariants
Testing 04/50 mutex/funptr_rc
Testing 04/51 mutex/mutex_ptr
Testing 04/52 mutex/confid_rc
Testing 04/54 mutex/pt_rwlock_ww
Testing 04/55 mutex/pt_rwlock_rr
Testing 04/56 mutex/extern_call_by_ptr_rc
Testing 04/57 mutex/thread_ret
Testing 04/59 mutex/testfive-intervals
Testing 04/60 mutex/testfive-intervals-protection
Testing 04/61 mutex/allfuns-globs
Testing 04/62 mutex/simple_atomic_nr
Testing 04/63 mutex/unknown_unlock_rc
Testing 04/64 mutex/free_direct_rc
Testing 04/65 mutex/free_indirect_rc
Testing 04/66 mutex/free_direct_nc
Testing 04/67 mutex/free_indirect_nr
Testing 04/70 mutex/memset_indirect_nr
Testing 04/71 mutex/memset_direct_rc
Testing 04/72 mutex/memset_arg_rc
Testing 04/73 mutex/simple_nr_spinlock
Testing 04/81 mutex/if-cond-race-loc
Testing 05/01 lval_ls/idx_rc
Testing 05/02 lval_ls/idx_nr
Testing 05/03 lval_ls/fld_rc
Testing 05/04 lval_ls/fld_nr
Testing 05/05 lval_ls/glob_idx_rc
Testing 05/07 lval_ls/glob_fld_rc
Testing 05/08 lval_ls/glob_fld_2_rc
Testing 05/09 lval_ls/idxsense_rc
Testing 05/11 lval_ls/fldsense_rc
Testing 05/12 lval_ls/fldsense_nr
Testing 05/13 lval_ls/idxunknown_lock
Testing 05/14 lval_ls/idxunknown_access
Testing 05/15 lval_ls/fldunknown_access
Testing 05/16 lval_ls/idxunknown_unlock
Testing 05/17 lval_ls/per_elem_simp
Testing 05/18 lval_ls/website
Testing 06/01 symbeq/symbeq_ints
Testing 06/02 symbeq/funloop_norace
Testing 06/03 symbeq/funloop_simple
Testing 06/04 symbeq/funloop_hard1
Testing 06/05 symbeq/funloop_hard2
Testing 06/06 symbeq/tricky_address1
Testing 06/07 symbeq/tricky_address2
Testing 06/08 symbeq/tricky_address3
Testing 06/09 symbeq/tricky_address4
Testing 06/10 symbeq/equ_rc
Testing 06/11 symbeq/equ_nr
Testing 06/13 symbeq/equ_proc_nr
Testing 06/14 symbeq/list_entry_rc
Testing 06/15 symbeq/list_entry_nr
Testing 06/16 symbeq/type_rc
Testing 06/17 symbeq/type_nr
Testing 06/18 symbeq/symbeq_addrs
Testing 06/19 symbeq/symbeq_funcs
Testing 06/21 symbeq/mult_accs_rc
Testing 06/22 symbeq/var_eq_types
Testing 06/23 symbeq/idxsense_nr
Testing 06/24 symbeq/escape_rc
Testing 06/25 symbeq/ptr_global
Testing 06/26 symbeq/symb_lockfuns
Testing 06/27 symbeq/symb_no_lockfuns
Testing 06/28 symbeq/symb_lockset_unsound
Testing 06/29 symbeq/symb_lockfun_unsound
Testing 06/30 symbeq/symb_lockset_mayunlock
Testing 06/31 symbeq/zstd-thread-pool
Testing 06/32 symbeq/var_eq-unknown-invalidate
Testing 06/33 symbeq/symb_accfun
Testing 06/35 symbeq/zstd-thread-pool-multi
Testing 06/36 symbeq/zstd-thread-pool-add
Testing 06/37 symbeq/funloop_index
Testing 06/38 symbeq/chrony-name2ipaddress
Testing 06/39 symbeq/funloop_index_bad
Testing 07/01 uninit/simple
Testing 07/02 uninit/path_sense
Testing 07/03 uninit/path_sense_bad
Testing 07/04 uninit/intent_out
Testing 07/05 uninit/struct-bad
Testing 07/06 uninit/struct-good
Testing 07/07 uninit/struct_return
Testing 07/08 uninit/struct_intent_out
Testing 07/09 uninit/struct_deep_bad
Testing 07/10 uninit/struct_deep_good
Testing 07/11 uninit/ptr_passtrough
Testing 07/12 uninit/struct_return_warn
Testing 07/13 uninit/struct_param_warn
Testing 07/14 uninit/struct_in_struct
Testing 07/15 uninit/union_simple_good
Testing 07/16 uninit/union_simple_bad
Testing 07/17 uninit/struct_in_union
Testing 07/18 uninit/union_in_union
Testing 07/19 uninit/struct_in_union_bad
Testing 08/01 malloc_null/simple-malloc
Testing 08/02 malloc_null/paths-malloc
Testing 09/01 regions/list_rc
Testing 09/02 regions/list_nr
Testing 09/03 regions/list2_rc
Testing 09/04 regions/list2_nr
Testing 09/05 regions/ptra_rc
Testing 09/06 regions/ptra_nr
Testing 09/09 regions/arraylist
Testing 09/10 regions/arraylist_rc
Testing 09/11 regions/arraylist_nr
Testing 09/12 regions/arraycollapse_rc
Testing 09/13 regions/arraycollapse_nr
Testing 09/16 regions/arrayloop_rc
Testing 09/17 regions/arrayloop_nr
Testing 09/18 regions/nested_rc
Testing 09/19 regions/nested_nr
Testing 09/20 regions/arrayloop2_rc
Testing 09/21 regions/arrayloop2_nr
Testing 09/22 regions/nocollapse
Testing 09/23 regions/evilcollapse_rc
Testing 09/24 regions/evilcollapse_nr
Testing 09/26 regions/alloc_region_rc
Testing 09/28 regions/list2alloc
Testing 09/29 regions/malloc_race_cp
Testing 09/30 regions/list2alloc-offsets
Testing 09/31 regions/equ_rc
Testing 09/32 regions/equ_nr
Testing 09/34 regions/escape_rc
Testing 09/35 regions/list2_rc-offsets-thread
Testing 09/36 regions/global_init_rc
Testing 09/37 regions/global_init_nr
Testing 09/38 regions/escape_malloc
Testing 10/01 synch/thread_unique
Testing 10/02 synch/thread_nonunique
Testing 10/03 synch/two_unique
Testing 10/04 synch/two_mainfuns
Testing 10/05 synch/two_unique_two_lock
Testing 10/06 synch/thread_nonunique_plain
Testing 10/11 synch/join_nr
Testing 10/12 synch/join_rc
Testing 10/13 synch/two_threads_nr
Testing 10/14 synch/two_threads_rc
Testing 10/15 synch/join_other_nr
Testing 10/17 synch/glob_fld_nr
Testing 10/18 synch/join_other_rc
Testing 10/19 synch/join_path_nr
Testing 10/20 synch/race-2_1-container_of
Testing 10/21 synch/spawn_path_nr
Testing 10/22 synch/spawn_path_ctx_nr
Testing 10/23 synch/tid-partitioned-array
Testing 10/24 synch/tid-partitioned-array-global
Testing 10/25 synch/tid-array-malloc
Testing 10/26 synch/tid-array-malloc-free
Testing 11/03 heap/linked
Testing 11/04 heap/malloc_unique_addresses
Testing 11/05 heap/malloc_not_unique_address
Testing 11/06 heap/wrapper_plus_unique_addresses
Testing 11/07 heap/strong_updates
Testing 11/08 heap/no_strong_update
Testing 11/09 heap/no_strong_update_not_unique_thread
Testing 11/10 heap/no_strong_update_different_size
Testing 11/11 heap/threads_malloc_no_race
Testing 11/12 heap/calloc
Testing 11/13 heap/linear-search
Testing 13/01 privatized/priv_nr
Testing 13/02 privatized/priv_rc
Testing 13/03 privatized/priv_inv
Testing 13/04 privatized/priv_multi
Testing 13/17 privatized/priv_interval
Testing 13/18 privatized/first-reads
Testing 13/19 privatized/publish-precision
Testing 13/20 privatized/publish-regression
Testing 13/21 privatized/publish-basic
Testing 13/22 privatized/traces-paper
Testing 13/23 privatized/traces-paper2
Testing 13/24 privatized/multiple-protecting
Testing 13/25 privatized/struct_nr
Testing 13/26 privatized/struct_rc
Testing 13/27 privatized/multiple-protecting2
Testing 13/28 privatized/multiple-protecting2-simple
Testing 13/29 privatized/multiple-protecting2-vesal
Testing 13/30 privatized/traces-oplus-vs-meet
Testing 13/31 privatized/traces-mine-vs-mutex
Testing 13/32 privatized/traces-mine-vs-oplus-vs-meet
Testing 13/33 privatized/traces-v-matters
Testing 13/34 privatized/traces-minepp-L-needs-to-be-um
Testing 13/35 privatized/traces-ex-2
Testing 13/36 privatized/traces-ex-3
Testing 13/37 privatized/traces-ex-4
Testing 13/38 privatized/traces-ex-4-switch
Testing 13/39 privatized/traces-ex-5
Testing 13/40 privatized/traces-ex-6
Testing 13/41 privatized/traces-ex-7
Testing 13/42 privatized/traces-ex-mini
Testing 13/43 privatized/traces-mine1
Testing 13/44 privatized/traces-mine2
Testing 13/45 privatized/traces-per-global-and-current-lock-mine-incomparable
Testing 13/46 privatized/refine-protected1
Testing 13/47 privatized/refine-protected2
Testing 13/48 privatized/pfscan_protected_loop_minimal
Testing 13/49 privatized/refine-protected-loop
Testing 13/50 privatized/pfscan_protected_loop_minimal2
Testing 13/51 privatized/refine-protected-loop2
Testing 13/52 privatized/refine-protected-loop2-small
Testing 13/53 privatized/pfscan_widen_dependent_minimal
Testing 13/54 privatized/widen-dependent
Testing 13/55 privatized/widen-dependent-local
Testing 13/57 privatized/singlethreaded-unlock
Testing 13/58 privatized/singlethreaded-lock
Testing 13/59 privatized/smtprc_threadenter_path_minimal
Testing 13/60 privatized/allfuns-priv
Testing 13/61 privatized/otherfun-priv
Testing 13/62 privatized/global-threadid
Testing 13/63 privatized/access-threadspawn-lval
Testing 13/64 privatized/access-invalidate
Testing 13/65 privatized/threadreturn-cpa-remove
Testing 13/66 privatized/mine-W-init
Testing 13/67 privatized/pthread_cond_wait
Testing 13/68 privatized/pfscan_protected_loop_minimal_interval
Testing 13/69 privatized/refine-protected-loop-interval
Testing 13/70 privatized/mm-reentrant
Testing 13/71 privatized/branched-thread-creation-priv
Testing 13/72 privatized/pthread_cond_wait_mutexoplus
Testing 13/73 privatized/branched-thread-creation-priv2
Testing 15/01 deadlock/basic_deadlock
Testing 15/02 deadlock/basic_nodeadlock
Testing 15/03 deadlock/triple_deadlock
Testing 15/04 deadlock/triple_nodeadlock
Testing 15/05 deadlock/may_deadlock
Testing 15/06 deadlock/may_nodeadlock
Testing 15/07 deadlock/account_deadlock
Testing 15/08 deadlock/account_nodeadlock
Testing 15/09 deadlock/account_correct
Testing 15/10 deadlock/account_incorrect
Testing 15/11 deadlock/common_mutex_nodeadlock
Testing 15/12 deadlock/ase16_nodeadlock
Testing 15/13 deadlock/deadlock-mhp
Testing 15/15 deadlock/deadlock-mhp2
Testing 15/19 deadlock/fail_deadlock
Testing 15/20 deadlock/ambig_deadlock
Testing 15/21 deadlock/unknown_deadlock
Testing 15/22 deadlock/ambig_unlock_deadlock
Testing 15/23 deadlock/unknown_unlock_deadlock
Testing 15/24 deadlock/malloc_unlock_deadlock
Testing 15/25 deadlock/malloc_deadlock
Testing 15/26 deadlock/unknown_deadlock2
Testing 15/27 deadlock/self_deadlock
Testing 18/01 file/ok
Testing 18/02 file/function
Testing 18/03 file/if-close
Testing 18/04 file/no-open
Testing 18/05 file/open-mode
Testing 18/06 file/2open
Testing 18/07 file/2close
Testing 18/08 file/var-reuse
Testing 18/09 file/inf-loop-no-close
Testing 18/10 file/inf-loop-ok
Testing 18/11 file/2if
Testing 18/12 file/2close-if
Testing 18/13 file/ptr-arith-ok
Testing 18/14 file/ptr-arith-close
Testing 18/15 file/var-switch
Testing 18/16 file/var-reuse-close
Testing 18/17 file/myfopen
Testing 18/18 file/myfopen-arg
Testing 18/19 file/if-close-else
Testing 18/20 file/loop-close
Testing 18/21 file/for-i
Testing 18/22 file/f_int
Testing 18/23 file/f_str
Testing 18/24 file/f_wstr
Testing 18/25 file/mem-ok
Testing 18/26 file/open-error-ok
Testing 18/27 file/open-error
Testing 18/28 file/multiple-exits
Testing 18/29 file/alias-global
Testing 18/30 file/ptr-of-ptr
Testing 18/31 file/var-reuse-fun
Testing 18/32 file/multi-ptr-close
Testing 18/33 file/multi-ptr-open
Testing 18/36 file/fun-ptr
Testing 18/37 file/var-switch-alias
Testing 19/01 spec/malloc-free
Testing 19/02 spec/mutex_rc
Testing 20/01 slr_term/no-int-context
Testing 20/02 slr_term/global-inc
Testing 20/03 slr_term/3ctxs
Testing 20/04 slr_term/assert-exit
Testing 20/05 slr_term/selfloop
Testing 20/06 slr_term/trylock_rc_slr
Testing 20/07 slr_term/slr-interval
Testing 20/08 slr_term/slr-glob_interval
Testing 21/01 casts/via_ptr
Testing 21/02 casts/loop
Testing 21/03 casts/Exc-overflow
Testing 21/04 casts/neg-to-unsigned-invariant
Testing 22/01 partitioned_arrays/simple_array
Testing 22/02 partitioned_arrays/pointers_array
Testing 22/03 partitioned_arrays/multidimensional_arrays
Testing 22/04 partitioned_arrays/nesting_arrays
Testing 22/05 partitioned_arrays/adapted_from_01_09_array
Testing 22/06 partitioned_arrays/interprocedural
Testing 22/07 partitioned_arrays/global_array
Testing 22/08 partitioned_arrays/unsupported
Testing 22/09 partitioned_arrays/one_by_one
Testing 22/11 partitioned_arrays/was_problematic
Testing 22/12 partitioned_arrays/was_problematic_2
Testing 22/13 partitioned_arrays/was_problematic_3
Testing 22/14 partitioned_arrays/with_def_exc
Testing 22/15 partitioned_arrays/var_eq
Testing 22/16 partitioned_arrays/refine-meet
Testing 22/17 partitioned_arrays/large_arrays
Testing 22/18 partitioned_arrays/large_arrays-nocalloc
Testing 23/01 partitioned_arrays_last/simple_array
Testing 23/02 partitioned_arrays_last/pointers_array
Testing 23/03 partitioned_arrays_last/multidimensional_arrays
Testing 23/04 partitioned_arrays_last/nesting_arrays
Testing 23/05 partitioned_arrays_last/adapted_from_01_09_array
Testing 23/06 partitioned_arrays_last/interprocedural
Testing 23/07 partitioned_arrays_last/global_array
Testing 23/08 partitioned_arrays_last/unsupported
Testing 23/09 partitioned_arrays_last/one_by_one
Testing 23/11 partitioned_arrays_last/was_problematic
Testing 23/12 partitioned_arrays_last/was_problematic_2
Testing 23/13 partitioned_arrays_last/advantage_for_last
Testing 23/14 partitioned_arrays_last/replace_with_const
Testing 25/01 vla/simple
Testing 25/02 vla/loop
Testing 25/03 vla/calls
Testing 25/04 vla/passing_ptr_to_array
Testing 25/05 vla/more_passing
Testing 25/06 vla/even_more_passing
Testing 26/01 undefined_behavior/only-intervals
Testing 26/02 undefined_behavior/array-out-of-bounds
Testing 26/03 undefined_behavior/array-out-of-bounds-pointer
Testing 26/04 undefined_behavior/multidimensional-array-oob-access
Testing 26/05 undefined_behavior/dynamically-sized-array-oob-access
Testing 26/06 undefined_behavior/pointer-to-arrays-of-different-sizes
Testing 26/07 undefined_behavior/arrays-within-structures
Testing 26/09 undefined_behavior/nullpointer-dereference-struct
Testing 26/10 undefined_behavior/nullpointer-dereference-simple
Testing 26/11 undefined_behavior/nullpointer-dereference-ints
Testing 26/12 undefined_behavior/nullpointer-dereference-array
Testing 26/13 undefined_behavior/nullpointer-derefence-lval
Testing 26/14 undefined_behavior/nullpointer-dereference-function
Testing 26/15 undefined_behavior/oob_init
Testing 27/01 inv_invariants/ints
Testing 27/02 inv_invariants/bot-during-condition
Testing 27/03 inv_invariants/ints-not
Testing 27/04 inv_invariants/ints-not-interval
Testing 27/05 inv_invariants/overflow-def-exc
Testing 27/06 inv_invariants/mul-arith
Testing 27/07 inv_invariants/more-bot
Testing 27/08 inv_invariants/bor-inv
Testing 27/09 inv_invariants/invariant-worsen
Testing 27/10 inv_invariants/invariant-worsen-global
Testing 27/11 inv_invariants/indirect-addresses
Testing 27/12 inv_invariants/bot-mul-div
Testing 27/13 inv_invariants/mul-arith
Testing 27/14 inv_invariants/interval-arith
Testing 27/15 inv_invariants/unknown-null-ptr
Testing 27/16 inv_invariants/sedgewick
Testing 28/01 race_reach/simple_racing
Testing 28/02 race_reach/simple_racefree
Testing 28/03 race_reach/munge_racing
Testing 28/04 race_reach/munge_racefree
Testing 28/05 race_reach/lockfuns_racefree
Testing 28/06 race_reach/cond_racing1
Testing 28/07 race_reach/cond_racing2
Testing 28/08 race_reach/cond_racefree
Testing 28/09 race_reach/ptrmunge_racing
Testing 28/10 race_reach/ptrmunge_racefree
Testing 28/11 race_reach/ptr_racing
Testing 28/12 race_reach/ptr_racefree
Testing 28/19 race_reach/callback_racing
Testing 28/20 race_reach/callback_racefree
Testing 28/21 race_reach/deref_read_racing
Testing 28/22 race_reach/deref_read_racefree
Testing 28/23 race_reach/sound_unlock_racing
Testing 28/24 race_reach/sound_lock_racing
Testing 28/27 race_reach/funptr_racing
Testing 28/28 race_reach/funptr_racefree
Testing 28/36 race_reach/indirect_racefree
Testing 28/37 race_reach/indirect_racing
Testing 28/40 race_reach/trylock_racing
Testing 28/41 race_reach/trylock_racefree
Testing 28/42 race_reach/trylock2_racefree
Testing 28/45 race_reach/escape_racing
Testing 28/46 race_reach/escape_racefree
Testing 28/51 race_reach/mutexptr_racefree
Testing 28/60 race_reach/invariant_racefree
Testing 28/61 race_reach/invariant_racing
Testing 28/70 race_reach/funloop_racefree
Testing 28/71 race_reach/funloop_racing
Testing 28/72 race_reach/funloop_hard_racing
Testing 28/73 race_reach/funloop_hard_racefree
Testing 28/74 race_reach/tricky_address1_racefree
Testing 28/75 race_reach/tricky_address2_racefree
Testing 28/76 race_reach/tricky_address3_racefree
Testing 28/77 race_reach/tricky_address4_racing
Testing 28/78 race_reach/equ_racing
Testing 28/79 race_reach/equ_racefree
Testing 28/81 race_reach/list_racing
Testing 28/82 race_reach/list_racefree
Testing 28/83 race_reach/list2_racing1
Testing 28/84 race_reach/list2_racing2
Testing 28/85 race_reach/list2_racefree
Testing 28/86 race_reach/lists_racing
Testing 28/87 race_reach/lists_racefree
Testing 28/90 race_reach/arrayloop2_racing
Testing 28/91 race_reach/arrayloop2_racefree
Testing 28/92 race_reach/evilcollapse_racing
Testing 28/93 race_reach/evilcollapse_racefree
Testing 28/94 race_reach/alloc_region_racing
Testing 29/01 svcomp/race-2_3b-container_of
Testing 29/02 svcomp/race-2_4b-container_of
Testing 29/03 svcomp/race-2_5b-container_of
Testing 29/04 svcomp/lustre-minimal
Testing 29/05 svcomp/isp1362-malloc-fun
Testing 29/07 svcomp/malloc_fun
Testing 29/08 svcomp/malloc_fun2
Testing 29/09 svcomp/ptr-cast-write
Testing 29/10 svcomp/ptr-cast-write-malloc
Testing 29/11 svcomp/arithmetic-bot
Testing 29/12 svcomp/interval-bot
Testing 29/13 svcomp/comparision-bot
Testing 29/14 svcomp/addition-in-comparision-bot
Testing 29/15 svcomp/atomic_nr
Testing 29/16 svcomp/atomic_priv
Testing 29/17 svcomp/atomic_fun_nr
Testing 29/18 svcomp/atomic_fun_priv
Testing 29/19 svcomp/problematic
Testing 29/20 svcomp/char_generic_nvram
Testing 29/21 svcomp/issue-casting
Testing 29/22 svcomp/atomic_priv_sound
Testing 29/23 svcomp/atomic_priv_sound2
Testing 29/24 svcomp/atomic_priv_sound3
Testing 29/25 svcomp/writing-into-char-array
Testing 29/26 svcomp/ikinds_if
Testing 30/01 fast_global_inits/on
Testing 30/02 fast_global_inits/off
Testing 30/03 fast_global_inits/performance
Testing 30/04 fast_global_inits/non-zero
Testing 30/05 fast_global_inits/non-zero-performance
Testing 31/01 ikind-aware-ints/cast-in-if
Testing 31/02 ikind-aware-ints/NULL-0-test
Testing 31/03 ikind-aware-ints/lnot
Testing 31/04 ikind-aware-ints/ptrdiff
Testing 31/05 ikind-aware-ints/shift
Testing 31/06 ikind-aware-ints/structs
Testing 31/07 ikind-aware-ints/defexc-large
Testing 31/08 ikind-aware-ints/unsigned-negate
Testing 31/09 ikind-aware-ints/signed-negate
Testing 31/10 ikind-aware-ints/log-bitwise-def_exc
Testing 31/11 ikind-aware-ints/log-bitwise-intervals
Testing 31/12 ikind-aware-ints/log-bitwise-enums
Testing 31/13 ikind-aware-ints/intervals-large
Testing 31/14 ikind-aware-ints/enums-large
Testing 31/15 ikind-aware-ints/strange
Testing 31/16 ikind-aware-ints/enums-compare
Testing 31/17 ikind-aware-ints/def-enum-refine
Testing 32/01 widen-context/on
Testing 32/02 widen-context/on-attribute
Testing 32/03 widen-context/off-attribute
Testing 33/01 constants/const
Testing 33/02 constants/simple
Testing 33/03 constants/empty-not-dead-branch
Testing 33/04 constants/empty-not-dead
Testing 34/01 localwn_restart/nested
Testing 34/02 localwn_restart/hybrid
Testing 34/03 localwn_restart/nested2
Testing 34/05 localwn_restart/nested.w.counter
Testing 35/01 marshaling/disable_hashcons
Testing 37/01 congruence/simple
Testing 37/02 congruence/constants
Testing 37/03 congruence/interval-overflow
Testing 37/04 congruence/branching
Testing 37/05 congruence/implicitunsignedconversion-1
Testing 37/06 congruence/refinements
Testing 37/07 congruence/refinements-o
Testing 38/01 int-refinements/interval-congruence
Testing 38/02 int-refinements/strange-ulong
Testing 38/03 int-refinements/more-problem
Testing 39/01 signed-overflows/def_exc
Testing 39/02 signed-overflows/intervals
Testing 39/03 signed-overflows/cast-return-void-ptr
Testing 39/04 signed-overflows/cast-unsigned-to-signed
Testing 39/05 signed-overflows/lower-constants
Testing 40/01 threadid/threadid_history_unique
Testing 40/02 threadid/threadid_history_nonunique
Testing 40/03 threadid/threadid_history_two_unique
Testing 41/01 stdlib/qsort
Testing 41/02 stdlib/bsearch
Testing 41/03 stdlib/noqsort
Testing 42/01 annotated-precision/def_exc
Testing 42/02 annotated-precision/interval
Testing 42/03 annotated-precision/congruence
Testing 42/04 annotated-precision/struct
Testing 42/05 annotated-precision/array
Testing 42/06 annotated-precision/global
Testing 42/07 annotated-precision/missing_annotation
Testing 42/09 annotated-precision/22_02-pointers_array
Testing 42/10 annotated-precision/22_03-multidimensional_arrays
Testing 42/11 annotated-precision/22_04-nesting_arrays
Testing 42/12 annotated-precision/22_06-interprocedural
Testing 42/13 annotated-precision/22_07-global_array
Testing 42/16 annotated-precision/23_02-pointers_array
Testing 42/17 annotated-precision/23_03-multidimensional_arrays
Testing 42/18 annotated-precision/23_04-nesting_arrays
Testing 42/19 annotated-precision/23_06-interprocedural
Testing 42/21 annotated-precision/23_14-replace_with_const
Testing 42/22 annotated-precision/26_05-dynamically-sized-array-oob-access
Testing 42/23 annotated-precision/26_07-arrays-within-structures
Testing 42/24 annotated-precision/30_02-off
Testing 42/25 annotated-precision/34_01-nested
Testing 42/26 annotated-precision/34_02-hybrid
Testing 42/27 annotated-precision/01_03-loops
Testing 42/28 annotated-precision/02_36-calloc_struct
Testing 42/29 annotated-precision/07_14-struct_in_struct
Testing 42/30 annotated-precision/31_12-log-bitwise-enums
Testing 42/31 annotated-precision/37_04-branching
Testing 42/32 annotated-precision/01_03-loops_i
Testing 42/33 annotated-precision/02_36-calloc_struct_i
Testing 42/34 annotated-precision/07_14-struct_in_struct_i
Testing 42/35 annotated-precision/31_12-log-bitwise-enums_i
Testing 42/36 annotated-precision/37_04-branching_i
Testing 42/37 annotated-precision/def_exc-via-option
Testing 43/01 struct-domain/single-thread
Testing 43/02 struct-domain/multi-thread
Testing 43/03 struct-domain/multi-thread-mutex
Testing 43/04 struct-domain/small
Testing 43/05 struct-domain/single-thread-widening
Testing 43/06 struct-domain/many-choices
Testing 43/07 struct-domain/check-sets
Testing 43/08 struct-domain/nested-structs
Testing 43/09 struct-domain/join-test
Testing 43/10 struct-domain/many-choices-intervals
Testing 43/11 struct-domain/normalize-top
Testing 43/12 struct-domain/aget
Testing 43/13 struct-domain/intervals-branching-meet
Testing 43/14 struct-domain/single-thread-keyed
Testing 43/15 struct-domain/multi-thread-keyed
Testing 43/16 struct-domain/multi-thread-mutex-keyed
Testing 43/17 struct-domain/small-keyed
Testing 43/18 struct-domain/single-thread-widening-keyed
Testing 43/19 struct-domain/many-choices-keyed
Testing 43/20 struct-domain/check-sets-keyed
Testing 43/21 struct-domain/nested-structs-keyed
Testing 43/22 struct-domain/join-test-keyed
Testing 43/23 struct-domain/many-choices-intervals-keyed
Testing 43/24 struct-domain/normalize-top-keyed
Testing 43/25 struct-domain/aget-keyed
Testing 43/26 struct-domain/intervals-branching-meet-keyed
Testing 44/00 trier_analyzer/A0
Testing 44/01 trier_analyzer/A1
Testing 44/02 trier_analyzer/abc
Testing 44/03 trier_analyzer/break
Testing 44/04 trier_analyzer/D0
Testing 44/05 trier_analyzer/D1
Testing 44/06 trier_analyzer/D2
Testing 44/07 trier_analyzer/exit
Testing 44/08 trier_analyzer/G0
Testing 44/09 trier_analyzer/G1
Testing 44/10 trier_analyzer/G2
Testing 44/11 trier_analyzer/G3
Testing 44/12 trier_analyzer/if
Testing 44/13 trier_analyzer/ifif
Testing 44/14 trier_analyzer/P0
Testing 44/15 trier_analyzer/P1
Testing 44/16 trier_analyzer/P2
Testing 44/17 trier_analyzer/P3
Testing 44/18 trier_analyzer/P4
Testing 44/19 trier_analyzer/P5
Testing 44/20 trier_analyzer/Pchain
Testing 44/21 trier_analyzer/Pproc
Testing 44/22 trier_analyzer/proov
Testing 44/23 trier_analyzer/rec0
Testing 44/24 trier_analyzer/rec1
Testing 44/25 trier_analyzer/rec2
Testing 44/26 trier_analyzer/rec3
Testing 44/27 trier_analyzer/rec4
Testing 44/28 trier_analyzer/rec5
Testing 44/29 trier_analyzer/rec6
Testing 44/30 trier_analyzer/rec7
Testing 44/31 trier_analyzer/rec8
Testing 44/32 trier_analyzer/rec9
Testing 44/33 trier_analyzer/recA
Testing 44/34 trier_analyzer/S0
Testing 44/35 trier_analyzer/S1
Testing 44/36 trier_analyzer/S2
Testing 44/37 trier_analyzer/S3
Testing 44/38 trier_analyzer/S4
Testing 44/39 trier_analyzer/S5
Testing 44/40 trier_analyzer/S6
Testing 44/41 trier_analyzer/strcpy
Testing 44/42 trier_analyzer/switch
Testing 44/43 trier_analyzer/thread
Testing 44/44 trier_analyzer/while
Testing 45/01 escape/local-in-pthread
Testing 45/02 escape/local-in-global
Testing 45/03 escape/local-in-pthread-a
Testing 45/04 escape/imprecision
Testing 45/05 escape/global-single-threaded
Testing 45/50 escape/fresh-malloc
Testing 45/51 escape/fresh-global
Testing 45/52 escape/malloc_tl
Testing 50/01 juliet/CWE190_Integer_Overflow__01
Testing 50/02 juliet/CWE190_Integer_Overflow__02
Testing 50/03 juliet/CWE190_Integer_Overflow__03
Testing 50/04 juliet/CWE191_Integer_Underflow__01
Testing 50/05 juliet/CWE191_Integer_Underflow__02
Testing 50/06 juliet/CWE191_Integer_Underflow__03
Testing 50/07 juliet/CWE570_Expression_Always_False__01
Testing 50/08 juliet/CWE570_Expression_Always_False__02
Testing 50/09 juliet/CWE570_Expression_Always_False__03
Testing 50/10 juliet/CWE571_Expression_Always_True__01
Testing 50/11 juliet/CWE571_Expression_Always_True__02
Testing 50/12 juliet/CWE571_Expression_Always_True__03
Testing 51/01 threadjoins/trivial
Testing 51/02 threadjoins/other
Testing 51/03 threadjoins/other-assume
Testing 51/04 threadjoins/assume-recreate
Testing 51/05 threadjoins/assume-unknown
Testing 53/01 races-mhp/not-created
Testing 53/02 races-mhp/join
Testing 53/03 races-mhp/not-created_rc
Testing 54/01 unroll_arrays/simple_array
Testing 54/02 unroll_arrays/simple_array_in_loops
Testing 54/03 unroll_arrays/large_index_type
Testing 54/04 unroll_arrays/access_no_bounds
Testing 55/01 loop-unrolling/simple-cases
Testing 55/02 loop-unrolling/break
Testing 55/03 loop-unrolling/break-right-place
Testing 55/04 loop-unrolling/simple
Testing 55/05 loop-unrolling/continue
Testing 55/06 loop-unrolling/simple-cases-unrolled
Testing 55/07 loop-unrolling/nested-unroll
Testing 56/01 witness/base-lor-enums
Testing 56/02 witness/base-lor-addr
Testing 56/03 witness/int-log-short
Testing 56/05 witness/prec-problem
Testing 57/01 floats/base
Testing 57/02 floats/node_configuration
Testing 57/03 floats/infinity_or_nan
Testing 57/04 floats/casts
Testing 57/05 floats/invariant
Testing 57/06 floats/library_functions
Testing 57/07 floats/equality
Testing 57/08 floats/bit_casts
Testing 57/09 floats/svcomp_float_req_bl_1252b
Testing 57/10 floats/svcomp_floats_cbmc_regression_float11
Testing 57/11 floats/advanced_invariants
Testing 57/12 floats/subtraction_assignment
Testing 57/13 floats/refine-branch
Testing 99/01 tutorials/first
Testing 99/02 tutorials/first-extend
Excellent: ignored check on ../01-cpa/33-asserts.c:35 is now passing!
- Excellent: ignored check on ../28-race_reach/22-deref_read_racefree.c:20 is now passing!
- No errors :)
- % Total % Received % Xferd Average Speed Time Time Time Current
- Dload Upload Total Spent Left Speed
-
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0curl: (6) Could not resolve host: github.com
- make: *** [Makefile:4: headers] Error 6
Processing 2/4: [goblint: dune install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "install" "-p" "goblint" "--create-install-files" "goblint" (CWD=/home/opam/.opam/4.14/.opam-switch/build/goblint.2.0.0)
-> compiled goblint.2.0.0
-> removed goblint.2.0.0
-> installed goblint.2.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-05 14:47.17 ---> saved as "1cbc6f1fce74efb5cdb82c1a8a0624a5c5a34b751d55de3ddf83b14b73ee55eb"
Job succeeded
2025-08-05 14:47.22: Job succeeded