Build:
- 0
2025-12-10 10:51.33: New job: test goblint.2.2.1 with json-data-encoding.0.12, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29056/head (4fdb6277b7b03ca5d534bc3636c08773a8e43427)
on debian-13-ocaml-5.4/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/29056/head" && git reset --hard 4fdb6277
git fetch origin master
git merge --no-edit d684c896eb6f7e6030d6ee65338d9db22a612f01
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /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 json-data-encoding.0.12 0.12
RUN opam reinstall json-data-encoding.0.12; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'json-data-encoding.0.12' && 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.2.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'goblint.2.2.1' && 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.2.1) || true
RUN opam reinstall --with-test --verbose goblint.2.2.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'goblint.2.2.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2025-12-10 10:51.33: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04-json-data-encoding.0.12-goblint.2.2.1-4fdb6277b7b03ca5d534bc3636c08773a8e43427"
2025-12-10 10:51.33: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
(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"))
(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 json-data-encoding.0.12 0.12"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall json-data-encoding.0.12;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'json-data-encoding.0.12' && 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.2.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; 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.2.1' && 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.2.1) || true"))
(run (shell "opam reinstall --with-test --verbose goblint.2.2.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; 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.2.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-10 10:51.33: Waiting for resource in pool OCluster
2025-12-10 15:56.33: Waiting for worker…
2025-12-10 16:04.01: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at d684c896eb Merge pull request #29052 from balat/maintenance
Updating d684c896eb..4fdb6277b7
Fast-forward
packages/json-data-encoding/json-data-encoding.0.10/opam | 3 +++
packages/json-data-encoding/json-data-encoding.0.11/opam | 3 +++
packages/json-data-encoding/json-data-encoding.0.12.1/opam | 3 +++
packages/json-data-encoding/json-data-encoding.0.12/opam | 3 +++
packages/json-data-encoding/json-data-encoding.0.8/opam | 3 +++
packages/json-data-encoding/json-data-encoding.0.9.1/opam | 3 +++
packages/json-data-encoding/json-data-encoding.0.9/opam | 3 +++
packages/json-data-encoding/json-data-encoding.1.0.0/opam | 1 +
packages/json-data-encoding/json-data-encoding.1.0.1/opam | 1 +
9 files changed, 23 insertions(+)
(from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04' locally
docker.io/ocaml/opam@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04: Pulling from ocaml/opam
75a759b14a01: Pulling fs layer
75a759b14a01: Verifying Checksum
75a759b14a01: Download complete
75a759b14a01: Pull complete
Digest: sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
Status: Downloaded newer image for ocaml/opam@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
2025-12-10 16:04.05 ---> using "5f87df8c1f6f0886e7311dfd3df40b8bbb961cc34c83c0d033c6dd248c84bc7d" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-10 16:04.05 ---> using "f1296791f2d76481058db697105a569091a6b6345f05c94bbc5a650f1a364f9a" 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 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.
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] Initialised
2025-12-10 16:04.05 ---> using "0cac9a31b4750e6a46df8ed8d2f68352091a988199fdf62c52779549510cd6bf" 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.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# 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 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2025-12-10 16:04.05 ---> using "1deb91dc3badca969976ed6f3bc5fe7c443d73a2cfa957be662fd6f93e30aa7b" 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-12-10 16:04.05 ---> using "1a02438c8753bf7228a9eb625e65b7af26778a022b9ce0b16be5ef4f294c58cd" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-10 16:04.06 ---> using "30d5974812e3037688634cdf3345407b95e70e494a6f63015508f0cc89637a4b" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-10 16:04.06 ---> using "4959a3605cca988fed7794ac0835cd518aaf992c89cd44b2aac14dbd8c10a828" 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 trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [82.1 kB]
- Fetched 173 kB in 0s (1825 kB/s)
- Reading package lists...
2025-12-10 16:04.06 ---> using "7c7c3669c5375542e4d6723fbdcc84eb865b4e492fd9ada837b0a44962341424" from cache
/home/opam: (run (shell "opam pin add -k version -yn json-data-encoding.0.12 0.12"))
json-data-encoding is now pinned to version 0.12
2025-12-10 16:04.06 ---> using "6e86f677ce8a56a08308812ab437a060bfc679b2adbaeeb149f3fc828ff72470" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall json-data-encoding.0.12;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'json-data-encoding.0.12' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
json-data-encoding.0.12 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 9 packages
- install angstrom 0.16.1 [required by uri]
- install bigstringaf 0.10.0 [required by angstrom]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.20.2 [required by json-data-encoding]
- install dune-configurator 3.20.2 [required by bigstringaf]
- install json-data-encoding 0.12 (pinned)
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install stringext 1.6.0 [required by uri]
- install uri 4.4.0 [required by json-data-encoding]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved json-data-encoding.0.12 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved uri.4.4.0 (cached)
-> installed dune.3.20.2
-> installed stringext.1.6.0
-> installed csexp.1.5.2
-> installed ocaml-syntax-shims.1.0.0
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed angstrom.0.16.1
-> installed uri.4.4.0
-> installed json-data-encoding.0.12
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-10 16:04.06 ---> using "b5dcdb835913a47d9721001d964eb4361492bc2d95a4108f4deb2bd4f25fadff" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall goblint.2.2.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; 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.2.1' && 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.2.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 50 packages
- install arg-complete 0.2.1 [required by goblint]
- install astring 0.8.5 [required by fpath]
- install batteries 3.10.0 [required by goblint]
- install bos 0.2.1 [required by yaml]
- install camlp-streams 5.0.1 [required by batteries]
- install catapult 0.2 [required by goblint]
- install catapult-file 0.2 [required by goblint]
- 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 ctypes 0.24.0 [required by yaml]
- install dune-build-info 3.20.2 [required by goblint]
- install dune-private-libs 3.20.2 [required by dune-site]
- install dune-site 3.20.2 [required by goblint]
- install dyn 3.20.2 [required by dune-private-libs]
- install fileutils 0.6.6 [required by goblint]
- install fmt 0.11.0 [required by bos]
- install fpath 0.7.3 [required by goblint]
- install goblint 2.2.1
- install goblint-cil 2.0.3 [required by goblint]
- install integers 0.7.0 [required by ctypes]
- install jsonrpc 1.24.0 [required by goblint]
- install logs 0.10.0 [required by bos]
- install num 1.6 [required by batteries]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocamlbuild 0.16.1 [required by fpath, uuidm]
- install ocamlfind 1.9.8 [required by fpath, batteries, uuidm]
- install ordering 3.20.2 [required by dyn, stdune]
- install pp 2.0.0 [required by dune-private-libs]
- 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.37.0 [required by 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 stdune 3.20.2 [required by dune-private-libs]
- install topkg 1.1.1 [required by fpath, uuidm]
- 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"
- 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 ... 20653 files and directories currently installed.)
- Preparing to unpack .../0-m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../1-autoconf_2.72-3.1_all.deb ...
- Unpacking autoconf (2.72-3.1) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../2-autotools-dev_20240727.1_all.deb ...
- Unpacking autotools-dev (20240727.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../3-automake_1%3a1.17-4_all.deb ...
- Unpacking automake (1:1.17-4) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../4-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../5-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../6-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../7-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../8-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../9-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up m4 (1.4.19-8) ...
- Setting up autotools-dev (20240727.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up autoconf (2.72-3.1) ...
- Setting up automake (1:1.17-4) ...
- update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved arg-complete.0.2.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved batteries.3.10.0 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved catapult.0.2, catapult-file.0.2 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved cpu.2.0.0 (cached)
-> retrieved ctypes.0.24.0 (cached)
-> installed conf-autoconf.0.2
-> installed conf-gcc.1.0
-> installed conf-gmp.5
-> installed conf-perl.2
-> installed conf-pkg-config.4
-> installed camlp-streams.5.0.1
-> installed catapult.0.2
-> retrieved dune-build-info.3.20.2, dune-private-libs.3.20.2, dune-site.3.20.2, dyn.3.20.2, ordering.3.20.2, stdune.3.20.2 (cached)
-> installed cppo.1.8.0
-> installed catapult-file.0.2
-> retrieved fileutils.0.6.6 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> installed arg-complete.0.2.1
-> retrieved goblint.2.2.1 (cached)
-> retrieved goblint-cil.2.0.3 (cached)
-> installed dune-build-info.3.20.2
-> installed ordering.3.20.2
-> retrieved integers.0.7.0 (cached)
-> installed fileutils.0.6.6
-> retrieved jsonrpc.1.24.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved pp.2.0.0 (cached)
-> 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.37.0 (cached)
-> installed cpu.2.0.0
-> installed ppx_derivers.1.2.1
-> retrieved qcheck-core.0.25 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> installed pp.2.0.0
-> installed ocaml-compiler-libs.v0.17.0
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved sha.1.15.4 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed num.1.6
-> retrieved topkg.1.1.1 (cached)
-> retrieved uuidm.0.9.10 (cached)
-> retrieved yaml.3.2.0 (cached)
-> retrieved yojson.2.2.2 (cached)
-> installed qcheck-core.0.25
-> installed stdlib-shims.0.3.0
-> retrieved zarith.1.14 (cached)
-> installed sexplib0.v0.17.0
-> installed integers.0.7.0
-> installed dyn.3.20.2
-> installed yojson.2.2.2
-> installed sha.1.15.4
-> installed jsonrpc.1.24.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed stdune.3.20.2
-> installed ctypes.0.24.0
-> installed dune-private-libs.3.20.2
-> installed batteries.3.10.0
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed dune-site.3.20.2
-> installed uuidm.0.9.10
-> installed rresult.0.7.0
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.10.0
-> installed fpath.0.7.3
-> installed ppxlib.0.37.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.3
-> installed goblint.2.2.1
Done.
<><> goblint.2.2.1 installed successfully <><><><><><><><><><><><><><><><><><><>
=> Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/).
# To update the current shell environment, run: eval $(opam env)
2025-12-10 16:05.15 ---> saved as "96ef04af85e6604899d98b4db35f1d0b445c677f90ac1007c508b19242615df4"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test goblint.2.2.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile goblint 2.2.1
=== 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"
- 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 ... 21032 files and directories currently installed.)
- Preparing to unpack .../00-fonts-lato_2.015-1_all.deb ...
- Unpacking fonts-lato (2.015-1) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../01-javascript-common_12+nmu1_all.deb ...
- Unpacking javascript-common (12+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 rubygems-integration.
- Preparing to unpack .../03-rubygems-integration_1.19_all.deb ...
- Unpacking rubygems-integration (1.19) ...
- Selecting previously unselected package ruby3.3.
- Preparing to unpack .../04-ruby3.3_3.3.8-2_amd64.deb ...
- Unpacking ruby3.3 (3.3.8-2) ...
- Selecting previously unselected package ruby-rubygems.
- Preparing to unpack .../05-ruby-rubygems_3.6.7-2_all.deb ...
- Unpacking ruby-rubygems (3.6.7-2) ...
- Selecting previously unselected package ruby.
- Preparing to unpack .../06-ruby_1%3a3.3+b1_amd64.deb ...
- Unpacking ruby (1:3.3+b1) ...
- Selecting previously unselected package rake.
- Preparing to unpack .../07-rake_13.2.1-1_all.deb ...
- Unpacking rake (13.2.1-1) ...
- Selecting previously unselected package ruby-csv.
- Preparing to unpack .../08-ruby-csv_3.3.4-1_all.deb ...
- Unpacking ruby-csv (3.3.4-1) ...
- Selecting previously unselected package ruby-did-you-mean.
- Preparing to unpack .../09-ruby-did-you-mean_1.6.3-2_all.deb ...
- Unpacking ruby-did-you-mean (1.6.3-2) ...
- Selecting previously unselected package ruby-net-telnet.
- Preparing to unpack .../10-ruby-net-telnet_0.2.0-1_all.deb ...
- Unpacking ruby-net-telnet (0.2.0-1) ...
- Selecting previously unselected package ruby-ruby2-keywords.
- Preparing to unpack .../11-ruby-ruby2-keywords_0.0.5-1_all.deb ...
- Unpacking ruby-ruby2-keywords (0.0.5-1) ...
- Selecting previously unselected package ruby-webrick.
- Preparing to unpack .../12-ruby-webrick_1.9.1-1_all.deb ...
- Unpacking ruby-webrick (1.9.1-1) ...
- Selecting previously unselected package ruby-xmlrpc.
- Preparing to unpack .../13-ruby-xmlrpc_0.3.3-2_all.deb ...
- Unpacking ruby-xmlrpc (0.3.3-2) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../14-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package libruby3.3:amd64.
- Preparing to unpack .../15-libruby3.3_3.3.8-2_amd64.deb ...
- Unpacking libruby3.3:amd64 (3.3.8-2) ...
- Selecting previously unselected package libruby:amd64.
- Preparing to unpack .../16-libruby_1%3a3.3+b1_amd64.deb ...
- Unpacking libruby:amd64 (1:3.3+b1) ...
- Selecting previously unselected package ruby-sdbm:amd64.
- Preparing to unpack .../17-ruby-sdbm_1.0.0-5+b7_amd64.deb ...
- Unpacking ruby-sdbm:amd64 (1.0.0-5+b7) ...
- Selecting previously unselected package zip.
- Preparing to unpack .../18-zip_3.0-15_amd64.deb ...
- Unpacking zip (3.0-15) ...
- Setting up javascript-common (12+nmu1) ...
- Setting up ruby-ruby2-keywords (0.0.5-1) ...
- Setting up fonts-lato (2.015-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up rubygems-integration (1.19) ...
- Setting up zip (3.0-15) ...
- Setting up ruby-net-telnet (0.2.0-1) ...
- Setting up ruby-csv (3.3.4-1) ...
- Setting up ruby-webrick (1.9.1-1) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up ruby-did-you-mean (1.6.3-2) ...
- Setting up ruby-xmlrpc (0.3.3-2) ...
- Setting up rake (13.2.1-1) ...
- Setting up ruby3.3 (3.3.8-2) ...
- Setting up libruby3.3:amd64 (3.3.8-2) ...
- Setting up ruby-rubygems (3.6.7-2) ...
- Setting up libruby:amd64 (1:3.3+b1) ...
- Setting up ruby (1:3.3+b1) ...
- Setting up ruby-sdbm:amd64 (1.0.0-5+b7) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved benchmark.1.7 (https://opam.ocaml.org/cache)
-> installed conf-ruby.1.0.0
-> installed benchmark.1.7
-> retrieved goblint.2.2.1 (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.2.1
-> installed ounit2.2.2.7
-> installed qcheck-ounit.0.25
-> installed goblint.2.2.1
Done.
<><> goblint.2.2.1 installed successfully <><><><><><><><><><><><><><><><><><><>
=> Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/).
# To update the current shell environment, run: eval $(opam env)
2025-12-10 16:08.29 ---> saved as "e4b9e810fae7203b7f5047bba422286868ee4b3c515cf336325aa070b41ef65c"
/home/opam: (run (shell "opam reinstall --with-test --verbose goblint.2.2.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; 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.2.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile goblint 2.2.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [goblint.2.2.1: extract]
-> retrieved goblint.2.2.1 (cached)
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/5.4/.opam-switch/build/goblint.2.2.1)
- (cd _build/default/src && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /opam-tmp/build_aeafa4_dune/dune-pipe-action-_71e5ca_.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)
- .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
- Ran: 2985 tests in: 1.92 seconds.
- OK
- (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/33 sanity/hoare-over-paths
Testing 00/34 sanity/hoare-over-addrs
Testing 00/35 sanity/join-contexts
Testing 00/36 sanity/strict-loop-dead
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/56 cpa/def_exc-fp1
Testing 01/57 cpa/def_exc-interval-inconsistent
Testing 01/58 cpa/base-ctx-insens-bot
Testing 01/59 cpa/def_exc-cmp-range
Testing 01/70 cpa/dead-branch-multiple
Testing 01/71 cpa/widen-sides
Testing 01/72 cpa/library-function-pointer
Testing 01/73 cpa/vararg-function-ptr
Testing 01/74 cpa/rand
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 02/91 base/ad-meet
Testing 02/92 base/ad-union-fields
Testing 02/93 base/ad-struct-offset
Testing 02/94 base/ad-first-field
Testing 02/96 base/null-deref-top
Testing 02/97 base/null-deref-none
Testing 02/98 base/refine-unsigned
Testing 02/99 base/refine-typedef
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 03/28 practical/bool
Testing 03/29 practical/bool-interval
Testing 03/30 practical/bool-congr
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/68 mutex/vla_rc
Testing 04/69 mutex/sizeof_rc
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/74 mutex/combine-env-assign-imprecise
Testing 04/75 mutex/combine-env-assign-unsound
Testing 04/76 mutex/empty-if_rc
Testing 04/77 mutex/type-nested-fields
Testing 04/78 mutex/type-array
Testing 04/79 mutex/type-nested-fields-deep1
Testing 04/80 mutex/type-nested-fields-deep2
Testing 04/81 mutex/if-cond-race-loc
Testing 04/82 mutex/thread-local-storage
Testing 04/83 mutex/thread-local-storage-escape
Testing 04/84 mutex/distribute-fields-1
Testing 04/85 mutex/distribute-fields-2
Testing 04/86 mutex/distribute-fields-3
Testing 04/87 mutex/distribute-fields-4
Testing 04/88 mutex/distribute-fields-5
Testing 04/89 mutex/distribute-fields-6
Testing 04/90 mutex/distribute-fields-type-1
Testing 04/91 mutex/distribute-fields-type-2
Testing 04/92 mutex/distribute-fields-type-deep
Testing 04/93 mutex/distribute-fields-type-global
Testing 04/94 mutex/thread-unsafe_fun_rc
Testing 04/95 mutex/thread-unsafe_fun_nr
Testing 04/98 mutex/thread-local-eq
Testing 04/99 mutex/volatile
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 05/19 lval_ls/idxunknown_unlock_precise
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 06/40 symbeq/var_eq-widen1
Testing 06/41 symbeq/vareq_global
Testing 06/42 symbeq/vareq_escape
Testing 06/43 symbeq/type_nr_disjoint_types
Testing 06/44 symbeq/type_rc_type_field
Testing 06/45 symbeq/zstd-thread-pool-free
Testing 06/46 symbeq/calloc-free
Testing 06/50 symbeq/type_array_via_ptr_rc
Testing 06/51 symbeq/typedef_rc
Testing 06/52 symbeq/typedef2_rc
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 09/39 regions/evilcollapse_rc_wpoint
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 10/27 synch/tid-array-malloc-2
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 11/14 heap/list_entry_rc-unroll
Testing 11/15 heap/malloc_unique_addresses_struct
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 22/19 partitioned_arrays/fixpoint
Testing 22/20 partitioned_arrays/more-fixpoint
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 27/17 inv_invariants/interval-exclude-bound
Testing 27/18 inv_invariants/union-float-int
Testing 27/19 inv_invariants/union-char-int
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 28/95 race_reach/deref-fun
Testing 28/96 race_reach/deref-fun2
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 29/29 svcomp/witness
Testing 29/30 svcomp/nondets
Testing 29/31 svcomp/dd-address-meet
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 34/06 localwn_restart/td-a2i
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 37/08 congruence/mod-16-unsigned-overflow
Testing 37/09 congruence/mod-pow-two-unsigned-overflow
Testing 37/10 congruence/overflow-unsigned-special-cases
Testing 37/11 congruence/overflow-signed
Testing 37/12 congruence/invariant-ineq
Testing 37/13 congruence/bitand
Testing 37/14 congruence/negative
Testing 38/01 int-refinements/interval-congruence
Testing 38/02 int-refinements/strange-ulong
Testing 38/03 int-refinements/more-problem
Testing 38/04 int-refinements/ov
Testing 38/05 int-refinements/invalid-widen
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 40/04 threadid/recover
Testing 40/05 threadid/nc-simple
Testing 40/06 threadid/nc-deep
Testing 40/07 threadid/nc-createEdges
Testing 40/08 threadid/nc-fromThread
Testing 41/01 stdlib/qsort
Testing 41/02 stdlib/bsearch
Testing 41/03 stdlib/noqsort
Testing 41/04 stdlib/pthread-specific
Testing 41/05 stdlib/more
Testing 41/06 stdlib/atomic
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 43/27 struct-domain/chrony-nameserv-sched-array
Testing 43/28 struct-domain/chrony-nameserv-sched-array2
Testing 43/29 struct-domain/chrony-nameserv-sched-array2-set-struct
Testing 43/30 struct-domain/ambig-field
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/06 escape/local-escp
Testing 45/08 escape/local-escp-main
Testing 45/50 escape/fresh-malloc
Testing 45/51 escape/fresh-global
Testing 45/52 escape/malloc_tl
Testing 49/01 expsplit/null-exp-split
Testing 49/02 expsplit/null-value-split
Testing 49/03 expsplit/int-value-split
Testing 49/04 expsplit/multi-split
Testing 49/05 expsplit/fun-split
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 51/06 threadjoins/ctxinsens
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 55/08 loop-unrolling/bad
Testing 55/09 loop-unrolling/weird
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 56/06 witness/smtprc-witness-fp
Testing 56/07 witness/base-lor-interval
Testing 56/14 witness/base-unassume-precondition
Testing 56/15 witness/base-unassume-query
Testing 56/16 witness/base-unassume-dependent
Testing 56/17 witness/base-unassume-tauto
Testing 56/18 witness/base-unassume-contra
Testing 56/19 witness/base-unassume-mem
Testing 56/22 witness/base-unassume-priv
Testing 56/23 witness/base-unassume-priv2
Testing 56/26 witness/mine-tutorial-ex4.6
Testing 56/27 witness/mine-tutorial-ex4.7
Testing 56/28 witness/mine-tutorial-ex4.8
Testing 56/30 witness/base-unassume-inc-dec
Testing 56/31 witness/base-unassume-mem-ex
Testing 56/33 witness/base-unassume-lor-enums
Testing 56/34 witness/base-unassume-inc-dec-traces
Testing 56/35 witness/hh-ex1b
Testing 56/36 witness/hh-ex2b
Testing 56/38 witness/bh-ex3
Testing 56/39 witness/bh-ex-add
Testing 56/41 witness/as-hybrid
Testing 56/42 witness/base-unassume-precheck
Testing 56/44 witness/base-unassume-array
Testing 56/50 witness/witness-lifter-fp1
Testing 56/51 witness/witness-lifter-ps1
Testing 56/60 witness/tm-inv-transfer-protection
Testing 56/61 witness/tm-inv-transfer-mine
Testing 56/62 witness/tm-inv-transfer-protection-witness
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 57/14 floats/builtin-comparisons
Testing 57/15 floats/more-library
Testing 57/16 floats/more-stuff
Testing 57/17 floats/other
Testing 57/18 floats/zerodiv
Testing 57/19 floats/library-invariant
Testing 57/20 floats/library-invariant-invalidate
Testing 57/21 floats/library-invariant-ceil-floor
Testing 58/01 base-mm-tid/tid-toy1
Testing 58/02 base-mm-tid/traces-write-centered-vs-meet-mutex
Testing 58/03 base-mm-tid/tid-toy2
Testing 58/04 base-mm-tid/tid-toy3
Testing 58/05 base-mm-tid/tid-curious
Testing 58/06 base-mm-tid/tid-toy5
Testing 58/07 base-mm-tid/tid-toy6
Testing 58/08 base-mm-tid/tid-toy7
Testing 58/09 base-mm-tid/tid-toy8
Testing 58/10 base-mm-tid/tid-toy9
Testing 58/11 base-mm-tid/tid-toy10
Testing 58/12 base-mm-tid/tid-toy11
Testing 58/13 base-mm-tid/tid-toy12
Testing 58/14 base-mm-tid/tid-toy13
Testing 58/15 base-mm-tid/branched-thread-creation
Testing 58/16 base-mm-tid/sync
Testing 58/17 base-mm-tid/mine14
Testing 58/18 base-mm-tid/no-loc
Testing 58/19 base-mm-tid/loc
Testing 58/20 base-mm-tid/nothreadescape_02_47
Testing 58/21 base-mm-tid/unreach
Testing 58/22 base-mm-tid/other-assume
Testing 58/23 base-mm-tid/other-assume-inprec
Testing 58/24 base-mm-tid/phases-sound
Testing 58/25 base-mm-tid/phases-intricate-sound
Testing 58/26 base-mm-tid/phases-trivial
Testing 58/27 base-mm-tid/phases
Testing 58/28 base-mm-tid/phases-prot
Testing 58/29 base-mm-tid/phases-prot-prime
Testing 58/30 base-mm-tid/create-lock
Testing 58/31 base-mm-tid/create-lock-assert
Testing 58/32 base-mm-tid/phases-sound-tid
Testing 58/33 base-mm-tid/phases-sound-tid-other
Testing 59/01 signals/simple
Testing 59/02 signals/unsignaled
Testing 59/03 signals/too-early
Testing 59/04 signals/too-late
Testing 59/05 signals/too-early-many
Testing 59/06 signals/simple-many
Testing 59/07 signals/too-early-mhp
Testing 60/01 array_annotations/var_array_annotation
Testing 60/02 array_annotations/function_array_annotation
Testing 60/03 array_annotations/change_domain_array_annotation
Testing 60/04 array_annotations/structure_array_annotation
Testing 60/05 array_annotations/type_array_annotation
Testing 60/07 array_annotations/array_domain_project
Testing 61/01 evalAssert/union_evalAssert
Testing 62/01 abortUnless/simple
Testing 62/02 abortUnless/unsound-abortUnless
Testing 62/03 abortUnless/unsound-min
Testing 62/04 abortUnless/lval
Testing 64/00 noreturn/noreturn-deadcode-off
Testing 64/01 noreturn/noreturn-deadcode-on
Testing 65/01 taint/simple
Testing 65/02 taint/invalidate
Testing 65/03 taint/lval
Testing 65/04 taint/multithread
Testing 65/05 taint/partArray
Testing 65/06 taint/condVars
Testing 65/07 taint/varEq
Testing 65/09 taint/multipleVar
Testing 65/10 taint/callToMain
Testing 65/11 taint/svcomp-cstrcmp
Testing 66/00 interval-set-one/was_problematic_2
Testing 66/01 interval-set-one/dynamically-sized-array-oob-access
Testing 66/02 interval-set-one/continue
Testing 66/03 interval-set-one/was_problematic_3
Testing 66/04 interval-set-one/interval-overflow
Testing 66/05 interval-set-one/sync
Testing 66/06 interval-set-one/ints
Testing 66/07 interval-set-one/no-int-context-attribute
Testing 66/09 interval-set-one/intervals-large
Testing 66/10 interval-set-one/calloc_struct
Testing 66/11 interval-set-one/nesting_arrays
Testing 66/12 interval-set-one/tid-toy10
Testing 66/13 interval-set-one/glob_interval
Testing 66/14 interval-set-one/no-int-context
Testing 66/16 interval-set-one/simple
Testing 66/17 interval-set-one/hybrid
Testing 66/20 interval-set-one/slr-glob_interval
Testing 66/21 interval-set-one/strange-ulong
Testing 66/22 interval-set-one/calloc_globmt
Testing 66/23 interval-set-one/publish-regression
Testing 66/25 interval-set-one/simple_array
Testing 66/26 interval-set-one/float
Testing 66/27 interval-set-one/calloc_int
Testing 66/28 interval-set-one/performance
Testing 66/29 interval-set-one/global_array
Testing 66/31 interval-set-one/interval-arith
Testing 66/33 interval-set-one/was_problematic
Testing 66/34 interval-set-one/calloc_glob
Testing 66/36 interval-set-one/one_by_one
Testing 66/37 interval-set-one/on-attribute
Testing 66/38 interval-set-one/interval-congruence
Testing 66/39 interval-set-one/calls
Testing 66/40 interval-set-one/priv_interval
Testing 66/44 interval-set-one/calloc_zero_init
Testing 66/46 interval-set-one/calloc_matrix
Testing 66/47 interval-set-one/only-intervals
Testing 66/48 interval-set-one/tid-toy12
Testing 66/49 interval-set-one/simple-cases-unrolled
Testing 66/50 interval-set-one/interprocedural
Testing 66/51 interval-set-one/widen-sides
Testing 66/54 interval-set-one/interval-and-enums
Testing 66/55 interval-set-one/advantage_for_last
Testing 66/56 interval-set-one/modulo-interval
Testing 66/57 interval-set-one/passing_ptr_to_array
Testing 66/59 interval-set-one/replace_with_const
Testing 66/60 interval-set-one/intervals-test
Testing 66/61 interval-set-one/arithm
Testing 66/62 interval-set-one/pfscan_widen_dependent_minimal
Testing 66/64 interval-set-one/loc
Testing 66/65 interval-set-one/multidimensional-array-oob-access
Testing 66/66 interval-set-one/large-n-div2
Testing 66/69 interval-set-one/even_more_passing
Testing 66/70 interval-set-one/simple-cases
Testing 66/71 interval-set-one/int-context-option
Testing 66/73 interval-set-one/intervals
Testing 66/74 interval-set-one/testfive-intervals-protection
Testing 66/75 interval-set-one/22_02-pointers_array
Testing 66/76 interval-set-one/calloc_loop
Testing 66/77 interval-set-one/more-problem
Testing 66/78 interval-set-one/pointers_array
Testing 66/79 interval-set-one/tid-toy13
Testing 66/80 interval-set-one/lustre-minimal
Testing 66/82 interval-set-one/malloc_array
Testing 66/84 interval-set-one/non-zero
Testing 66/85 interval-set-one/cast-unsigned-to-signed
Testing 66/86 interval-set-one/large-n-div
Testing 66/87 interval-set-one/on
Testing 66/88 interval-set-one/publish-basic
Testing 66/89 interval-set-one/slr-interval
Testing 66/90 interval-set-one/nesting_arrays
Testing 66/92 interval-set-one/assert-infinite-loop
Testing 66/93 interval-set-one/enum
Testing 66/94 interval-set-one/widen-dependent
Testing 66/95 interval-set-one/large_arrays-nocalloc
Testing 66/96 interval-set-one/more_passing
Testing 66/97 interval-set-one/casts
Testing 66/98 interval-set-one/widen-dependent-local
Testing 66/99 interval-set-one/off
Testing 67/00 interval-sets-two/large_arrays
Testing 67/01 interval-sets-two/array-out-of-bounds
Testing 67/02 interval-sets-two/pointers_array
Testing 67/03 interval-sets-two/def_exc-interval-inconsistent
Testing 67/04 interval-sets-two/unsupported
Testing 67/05 interval-sets-two/tid-toy11
Testing 67/06 interval-sets-two/no-int-context
Testing 67/07 interval-sets-two/var_eq
Testing 67/08 interval-sets-two/nested-unroll
Testing 67/09 interval-sets-two/mm-reentrant
Testing 67/10 interval-sets-two/cast-return-void-ptr
Testing 67/13 interval-sets-two/loop
Testing 67/14 interval-sets-two/trylock_rc_slr
Testing 67/15 interval-sets-two/interval-bot
Testing 67/16 interval-sets-two/branched-thread-creation
Testing 67/17 interval-sets-two/intervals-branching-meet-keyed
Testing 67/18 interval-sets-two/adapted_from_01_09_array
Testing 67/19 interval-sets-two/arrays-within-structures
Testing 67/20 interval-sets-two/no-loc
Testing 67/21 interval-sets-two/thread_ret
Testing 67/23 interval-sets-two/testfive-intervals
Testing 67/24 interval-sets-two/arithmetic-bot
Testing 67/25 interval-sets-two/mine14
Testing 67/27 interval-sets-two/nested2
Testing 67/28 interval-sets-two/multidimensional_arrays
Testing 67/29 interval-sets-two/def-exc
Testing 67/30 interval-sets-two/no-int-context-option
Testing 67/31 interval-sets-two/ptrdiff
Testing 67/32 interval-sets-two/nested
Testing 67/33 interval-sets-two/calloc_array
Testing 67/34 interval-sets-two/publish-precision
Testing 67/35 interval-sets-two/strict-loop-enter
Testing 67/36 interval-sets-two/no-eval-on-write-multi
Testing 67/37 interval-sets-two/int-context-attribute
Testing 67/38 interval-sets-two/simple
Testing 67/39 interval-sets-two/div
Testing 67/40 interval-sets-two/off-attribute
Testing 67/41 interval-sets-two/interval-branching
Testing 67/43 interval-sets-two/first-reads
Testing 67/44 interval-sets-two/comparision-bot
Testing 67/45 interval-sets-two/intervals-branching-meet
Testing 67/46 interval-sets-two/nesting_arrays
Testing 67/47 interval-sets-two/non-zero-performance
Testing 67/48 interval-sets-two/calloc_struct_array
Testing 67/49 interval-sets-two/threshold
Testing 67/50 interval-sets-two/interval
Testing 67/52 interval-sets-two/no-eval-on-write
Testing 67/53 interval-sets-two/pointer-to-arrays-of-different-sizes
Testing 67/54 interval-sets-two/simple_array_in_loops
Testing 67/56 interval-sets-two/interval-set-dead-code
Testing 67/57 interval-sets-two/interval-set-wrap-around
Testing 67/58 interval-sets-two/interval-set-dead-code-with-fun-call
Testing 68/01 longjmp/setjmp-return
Testing 68/02 longjmp/setjmp-global
Testing 68/03 longjmp/setjmp-local
Testing 68/04 longjmp/counting-local
Testing 68/05 longjmp/heap-counting-return-one-method
Testing 68/06 longjmp/sigsetjmp-return
Testing 68/07 longjmp/returns
Testing 68/11 longjmp/counting-return
Testing 68/12 longjmp/counting-global
Testing 68/13 longjmp/counting-local
Testing 68/14 longjmp/counting-return-one-method
Testing 68/15 longjmp/counting-global-one-method
Testing 68/16 longjmp/counting-local-one-method
Testing 68/17 longjmp/loop
Testing 68/18 longjmp/simple-else
Testing 68/19 longjmp/simpler
Testing 68/20 longjmp/simpler-multifun
Testing 68/21 longjmp/multifun
Testing 68/22 longjmp/multifun-arg
Testing 68/23 longjmp/arguments
Testing 68/24 longjmp/too-late
Testing 68/25 longjmp/rec
Testing 68/27 longjmp/other
Testing 68/28 longjmp/svcomp
Testing 68/29 longjmp/rec2
Testing 68/30 longjmp/nonuniquetid
Testing 68/31 longjmp/mixedjmpbufs
Testing 68/32 longjmp/libpng
Testing 68/33 longjmp/munge
Testing 68/34 longjmp/wrapper
Testing 68/35 longjmp/null
Testing 68/36 longjmp/poison
Testing 68/37 longjmp/more
Testing 68/38 longjmp/more-trimmed
Testing 68/39 longjmp/poison-return
Testing 68/40 longjmp/complicated-poison
Testing 68/41 longjmp/poison-rec
Testing 68/42 longjmp/poison-reduced
Testing 68/43 longjmp/poison-addr
Testing 68/44 longjmp/simple-else-path
Testing 68/45 longjmp/variably-modified
Testing 68/46 longjmp/copied
Testing 68/47 longjmp/more-reduced
Testing 68/48 longjmp/bot-buff
Testing 68/49 longjmp/arguments-inline
Testing 68/50 longjmp/arguments-non-top
Testing 68/51 longjmp/worries
Testing 69/01 addresses/meet
Testing 69/03 addresses/issue-564
Testing 71/01 doublelocking/simple
Testing 71/02 doublelocking/unknown
Testing 71/03 doublelocking/thread-exit-with-mutex
Testing 71/04 doublelocking/unlock
Testing 71/05 doublelocking/rec
Testing 71/06 doublelocking/rec-dyn
Testing 71/07 doublelocking/rec-dyn-osx
Testing 71/08 doublelocking/other-type
Testing 71/09 doublelocking/other-dyn
Testing 71/10 doublelocking/thread-exit-recursive
Testing 71/11 doublelocking/rec-dyn-branch
Testing 71/12 doublelocking/rec-dyn-struct
Testing 71/13 doublelocking/rec-struct
Testing 71/14 doublelocking/rec-dyn-no-race
Testing 71/15 doublelocking/rec-dyn-nested
Testing 71/16 doublelocking/rec-dyn-no-path-sense
Testing 72/01 thread_create_wrapper/wrapper
Testing 72/02 thread_create_wrapper/unique-counter
Testing 72/03 thread_create_wrapper/wrapper-unique-counter
Testing 72/04 thread_create_wrapper/unique-counter-id-count-0
Testing 72/05 thread_create_wrapper/wrapper-unique-counter-id-count-0
Testing 73/01 strings/string_literals
Testing 73/02 strings/string_literals_with_null
Testing 73/03 strings/string_basics
Testing 73/04 strings/smtprc_strlen_fp
Testing 74/01 use_after_free/simple-uaf
Testing 74/02 use_after_free/conditional-uaf
Testing 74/03 use_after_free/nested-ptr-uaf
Testing 74/04 use_after_free/function-call-uaf
Testing 74/05 use_after_free/uaf-free-in-wrapper-fun
Testing 74/06 use_after_free/uaf-struct
Testing 74/07 use_after_free/itc-double-free
Testing 74/08 use_after_free/itc-no-double-free
Testing 74/09 use_after_free/juliet-uaf
Testing 74/10 use_after_free/juliet-double-free
Testing 74/11 use_after_free/wrapper-funs-uaf
Testing 74/12 use_after_free/multi-threaded-uaf
Testing 75/01 invalid_dealloc/invalid-dealloc-simple
Testing 75/02 invalid_dealloc/invalid-dealloc-struct
Testing 75/03 invalid_dealloc/invalid-dealloc-array
Testing 75/04 invalid_dealloc/invalid-realloc
Testing 75/05 invalid_dealloc/free-at-offset
Testing 75/06 invalid_dealloc/realloc-at-offset
Testing 75/07 invalid_dealloc/free-at-struct-offset
Testing 75/08 invalid_dealloc/realloc-at-struct-offset
Testing 76/01 memleak/simple-no-mem-leak
Testing 76/02 memleak/simple-mem-leak
Testing 76/03 memleak/simple-exit-mem-leak
Testing 76/04 memleak/simple-abort-mem-leak
Testing 76/05 memleak/simple-assert-no-mem-leak
Testing 76/06 memleak/simple-assert-mem-leak
Testing 76/07 memleak/simple-quick-exit-mem-leak
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!
- Excellent: ignored check on ../57-floats/15-more-library.c:42 is now passing!
- Excellent: ignored check on ../57-floats/15-more-library.c:56 is now passing!
- Excellent: ignored check on ../57-floats/17-other.c:18 is now passing!
- Excellent: ignored check on ../66-interval-set-one/51-widen-sides.c:6 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/5.4/.opam-switch/build/goblint.2.2.1)
-> compiled goblint.2.2.1
-> removed goblint.2.2.1
-> installed goblint.2.2.1
Done.
<><> goblint.2.2.1 installed successfully <><><><><><><><><><><><><><><><><><><>
=> Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/).
# To update the current shell environment, run: eval $(opam env)
2025-12-10 16:11.52 ---> saved as "96916cfda92ac998cef658c61b33e830173fb67b12b121b3b0eccd0d67029c5e"
Job succeeded
2025-12-10 16:11.58: Job succeeded