- github
- ocaml
- opam-repository
- c56e58
- compilers,5.3,dune.3.20.2,revdeps,mopsa.1.1
(not at the head of any monitored branch or PR)
2025-09-03 22:17.14: New job: test mopsa.1.1 with dune.3.20.2, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/28437/head (c56e58d25e43ce7dd35f9942ad32b42e22d608c9)
on debian-12-ocaml-5.3/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/28437/head" && git reset --hard c56e58d2
git fetch origin master
git merge --no-edit 48e6fa91c818759730429373230507f2458bffc3
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.3@sha256:25f877e5546d5ff25fd8ccbbf207757f8ac9df8288026cde78b9314a86be7cee
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.3.20.2 3.20.2
RUN opam reinstall dune.3.20.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.20.2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall mopsa.1.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mopsa.1.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 mopsa.1.1) || true
RUN opam reinstall --with-test --verbose mopsa.1.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mopsa.1.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-09-03 22:17.14: Using cache hint "ocaml/opam:debian-12-ocaml-5.3@sha256:25f877e5546d5ff25fd8ccbbf207757f8ac9df8288026cde78b9314a86be7cee-dune.3.20.2-mopsa.1.1-c56e58d25e43ce7dd35f9942ad32b42e22d608c9"
2025-09-03 22:17.14: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.3@sha256:25f877e5546d5ff25fd8ccbbf207757f8ac9df8288026cde78b9314a86be7cee)
(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.3.20.2 3.20.2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.20.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.20.2' && 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 mopsa.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test mopsa.1.1) || true"))
(run (shell "opam reinstall --with-test --verbose mopsa.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-09-03 22:17.14: Waiting for resource in pool OCluster
2025-09-04 03:00.00: Waiting for worker…
2025-09-04 03:01.44: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 48e6fa91c8 Merge pull request #28440 from hannesm/align-git-kv-git-net-dev-repo
Merge made by the 'ort' strategy.
packages/chrome-trace/chrome-trace.3.20.2/opam | 41 ++++++++++++
.../dune-action-plugin.3.20.2/opam | 54 ++++++++++++++++
.../dune-build-info/dune-build-info.3.20.2/opam | 47 ++++++++++++++
.../dune-configurator.3.20.2/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.20.2/opam | 44 +++++++++++++
.../dune-private-libs.3.20.2/opam | 52 +++++++++++++++
packages/dune-rpc-lwt/dune-rpc-lwt.3.20.2/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.20.2/opam | 46 ++++++++++++++
packages/dune-site/dune-site.3.20.2/opam | 39 ++++++++++++
packages/dune/dune.3.20.2/opam | 74 ++++++++++++++++++++++
packages/dyn/dyn.3.20.2/opam | 42 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.20.2/opam | 45 +++++++++++++
packages/ordering/ordering.3.20.2/opam | 40 ++++++++++++
packages/stdune/stdune.3.20.2/opam | 46 ++++++++++++++
packages/xdg/xdg.3.20.2/opam | 41 ++++++++++++
15 files changed, 705 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.20.2/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.20.2/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.20.2/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.20.2/opam
create mode 100644 packages/dune-glob/dune-glob.3.20.2/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.20.2/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.20.2/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.20.2/opam
create mode 100644 packages/dune-site/dune-site.3.20.2/opam
create mode 100644 packages/dune/dune.3.20.2/opam
create mode 100644 packages/dyn/dyn.3.20.2/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.20.2/opam
create mode 100644 packages/ordering/ordering.3.20.2/opam
create mode 100644 packages/stdune/stdune.3.20.2/opam
create mode 100644 packages/xdg/xdg.3.20.2/opam
(from ocaml/opam:debian-12-ocaml-5.3@sha256:25f877e5546d5ff25fd8ccbbf207757f8ac9df8288026cde78b9314a86be7cee)
2025-09-04 03:02.57 ---> using "80e66b485ebe9e19dac811c7f21d2bfdc4495d9c0beb5b5d1cfb4863955ba66c" 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-09-04 03:02.57 ---> using "087e4c5f8349b3bc458ca7b8ed9a5e6e0f902b9aa52a691da4719e695678783f" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, 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-09-04 03:02.57 ---> using "a8d742e569bc8ed401d0fccc71d0c14a68ebb427e1c38fa82b8e92abb57fd4a7" 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 5.3
# invariant ["ocaml-base-compiler" {= "5.3.0"}]
# compiler-packages ocaml-base-compiler.5.3.0, ocaml-compiler.5.3.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.3/lib/ocaml/stublibs:/home/opam/.opam/5.3/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.3.0
2025-09-04 03:02.57 ---> using "c6dd35b8362af1d161c0e1190054c379d40daa89a20e7c8e5f529a971a1406c0" 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-09-04 03:02.57 ---> using "dfb349ed6d22909fbb450f9e823ac71a863d2bbcacedfe5dd4eb18be26e0b913" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-09-04 03:02.58 ---> using "137d07217cabc0698d6064f44606946af3ca18282e44335ef9f14adb0701683a" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-09-04 03:02.58 ---> using "63f7281371827198dee96e08669558500f58a74ca8d5fe0d041c6121e708eab1" 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]
- Fetched 103 kB in 0s (374 kB/s)
- Reading package lists...
2025-09-04 03:02.58 ---> using "8548e688fa1d435fdd99b490584e0bb49bb5011b61582090460e810c1515c6da" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.20.2 3.20.2"))
dune is now pinned to version 3.20.2
2025-09-04 03:02.58 ---> using "0dc3d35ab59be1ab77f5a09e4dc796dc3e24bb90afe308bcca4ef3cfd3163eb2" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.20.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.20.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.20.2 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.20.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.20.2 (cached)
-> installed dune.3.20.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-09-04 03:02.58 ---> using "60b60ba404cf64c21dd20a9ac58568128c54db43a6b2c1622ee75e54c8ada4a8" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mopsa.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
mopsa.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 22 packages
- install apron v0.9.15 [required by mopsa]
- install arg-complete 0.2.1 [required by mopsa]
- install bigarray-compat 1.1.0 [required by mlgmpidl]
- install camlidl 1.13 [required by apron]
- install conf-findutils 1 [required by ez-conf-lib]
- install conf-gmp 5 [required by zarith]
- install conf-gmp-paths 1 [required by mlgmpidl]
- install conf-mpfr-paths 1 [required by mlgmpidl]
- install conf-perl 2 [required by apron]
- install conf-pkg-config 4 [required by zarith]
- install cppo 1.8.0 [required by arg-complete]
- install ez-conf-lib 2 [required by conf-gmp-paths, conf-mpfr-paths]
- install menhir 20240715 [required by mopsa]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by menhir]
- install menhirSdk 20240715 [required by menhir]
- install mlgmpidl 1.3.0 [required by mopsa]
- install mopsa 1.1
- install ocamlbuild 0.16.1 [required by apron]
- install ocamlfind 1.9.8 [required by mopsa]
- install yojson 3.0.0 [required by mopsa]
- install zarith 1.14 [required by mopsa]
The following system packages will first need to be installed:
clang libclang-14-dev libclang-cpp14-dev libgmp-dev libmpfr-dev llvm-14-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" "clang" "libclang-14-dev" "libclang-cpp14-dev" "libgmp-dev" "libmpfr-dev" "llvm-14-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpipeline1:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18778 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.7-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-2_amd64.deb ...
- Unpacking binfmt-support (2.2.2-2) ...
- Selecting previously unselected package libpython3.11-minimal:amd64.
- Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u6_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u6) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u6_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u6) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u6) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u6) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 19107 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u6_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u6) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u6_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u6) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package python3.
- (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 ... 19517 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../01-libicu72_72.1-3+deb12u1_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3+deb12u1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../02-libxml2_2.9.14+dfsg-1.3~deb12u4_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u4) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../03-libz3-4_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package libllvm14:amd64.
- Preparing to unpack .../04-libllvm14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libllvm14:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14.
- Preparing to unpack .../05-libclang-cpp14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14 (1:14.0.6-12) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../06-libgc1_1%3a8.2.2-3_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.2-3) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../07-libobjc4_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking libobjc4:amd64 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package libobjc-12-dev:amd64.
- Preparing to unpack .../08-libobjc-12-dev_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking libobjc-12-dev:amd64 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package libclang-common-14-dev.
- Preparing to unpack .../09-libclang-common-14-dev_1%3a14.0.6-12_all.deb ...
- Unpacking libclang-common-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-linker-tools.
- Preparing to unpack .../10-llvm-14-linker-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-linker-tools (1:14.0.6-12) ...
- Selecting previously unselected package libclang1-14.
- Preparing to unpack .../11-libclang1-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang1-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang-14.
- Preparing to unpack .../12-clang-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking clang-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang.
- Preparing to unpack .../13-clang_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking clang (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../14-icu-devtools_72.1-3+deb12u1_amd64.deb ...
- Unpacking icu-devtools (72.1-3+deb12u1) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../15-libc6-i386_2.36-9+deb12u10_amd64.deb ...
- Unpacking libc6-i386 (2.36-9+deb12u10) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../16-lib32gcc-s1_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking lib32gcc-s1 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../17-lib32stdc++6_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking lib32stdc++6 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package libclang-14-dev.
- Preparing to unpack .../18-libclang-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14-dev.
- Preparing to unpack .../19-libclang-cpp14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14-dev (1:14.0.6-12) ...
- Selecting previously unselected package libclang-rt-14-dev:amd64.
- Preparing to unpack .../20-libclang-rt-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libnspr4:amd64.
- Preparing to unpack .../21-libnspr4_2%3a4.35-1_amd64.deb ...
- Unpacking libnspr4:amd64 (2:4.35-1) ...
- Selecting previously unselected package libnss3:amd64.
- Preparing to unpack .../22-libnss3_2%3a3.87.1-1+deb12u1_amd64.deb ...
- Unpacking libnss3:amd64 (2:3.87.1-1+deb12u1) ...
- Selecting previously unselected package nss-plugin-pem:amd64.
- Preparing to unpack .../23-nss-plugin-pem_1.0.8+1-1_amd64.deb ...
- Unpacking nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Selecting previously unselected package libcurl3-nss:amd64.
- Preparing to unpack .../24-libcurl3-nss_7.88.1-10+deb12u12_amd64.deb ...
- Unpacking libcurl3-nss:amd64 (7.88.1-10+deb12u12) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../25-libffi-dev_3.4.4-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.4-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../26-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 .../27-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 libicu-dev:amd64.
- Preparing to unpack .../28-libicu-dev_72.1-3+deb12u1_amd64.deb ...
- Unpacking libicu-dev:amd64 (72.1-3+deb12u1) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../29-libmpfr-dev_4.2.0-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.0-1) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../30-libncurses6_6.4-4_amd64.deb ...
- Unpacking libncurses6:amd64 (6.4-4) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../31-libncurses-dev_6.4-4_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../32-libpfm4_4.13.0-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../33-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package libtinfo-dev:amd64.
- Preparing to unpack .../34-libtinfo-dev_6.4-4_amd64.deb ...
- Unpacking libtinfo-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../35-libxml2-dev_2.9.14+dfsg-1.3~deb12u4_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u4) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../36-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../37-libz3-dev_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package llvm-14-runtime.
- Preparing to unpack .../38-llvm-14-runtime_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-runtime (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14.
- Preparing to unpack .../39-llvm-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14 (1:14.0.6-12) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../40-python3-pkg-resources_66.1.1-1+deb12u1_all.deb ...
- Unpacking python3-pkg-resources (66.1.1-1+deb12u1) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../41-python3-pygments_2.14.0+dfsg-1_all.deb ...
- Unpacking python3-pygments (2.14.0+dfsg-1) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../42-python3-yaml_6.0-3+b2_amd64.deb ...
- Unpacking python3-yaml (6.0-3+b2) ...
- Selecting previously unselected package llvm-14-tools.
- Preparing to unpack .../43-llvm-14-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-tools (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-dev.
- Preparing to unpack .../44-llvm-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../45-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../46-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../47-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up media-types (10.0.0) ...
- Setting up libpipeline1:amd64 (1.5.7-1) ...
- Setting up libicu72:amd64 (72.1-3+deb12u1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u6) ...
- Setting up libffi-dev:amd64 (3.4.4-1) ...
- Setting up libz3-4:amd64 (4.8.12-3.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libpfm4:amd64 (4.13.0-1) ...
- Setting up libnspr4:amd64 (2:4.35-1) ...
- Setting up libncurses6:amd64 (6.4-4) ...
- Setting up binfmt-support (2.2.2-2) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up icu-devtools (72.1-3+deb12u1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgc1:amd64 (1:8.2.2-3) ...
- Setting up libc6-i386 (2.36-9+deb12u10) ...
- Setting up libicu-dev:amd64 (72.1-3+deb12u1) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u4) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up libz3-dev:amd64 (4.8.12-3.1) ...
- Setting up python3.11 (3.11.2-6+deb12u6) ...
- Setting up libncurses-dev:amd64 (6.4-4) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libobjc4:amd64 (12.2.0-14+deb12u1) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up libnss3:amd64 (2:3.87.1-1+deb12u1) ...
- Setting up libmpfr-dev:amd64 (4.2.0-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u4) ...
- Setting up lib32gcc-s1 (12.2.0-14+deb12u1) ...
- Setting up lib32stdc++6 (12.2.0-14+deb12u1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Setting up libllvm14:amd64 (1:14.0.6-12) ...
- Setting up libobjc-12-dev:amd64 (12.2.0-14+deb12u1) ...
- Setting up llvm-14-linker-tools (1:14.0.6-12) ...
- Setting up python3-pkg-resources (66.1.1-1+deb12u1) ...
- Setting up libtinfo-dev:amd64 (6.4-4) ...
- Setting up nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Setting up libclang1-14 (1:14.0.6-12) ...
- Setting up python3-yaml (6.0-3+b2) ...
- Setting up python3-pygments (2.14.0+dfsg-1) ...
- Setting up llvm-14-runtime (1:14.0.6-12) ...
- Setting up libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Setting up libclang-common-14-dev (1:14.0.6-12) ...
- Setting up libclang-cpp14 (1:14.0.6-12) ...
- Setting up libcurl3-nss:amd64 (7.88.1-10+deb12u12) ...
- Setting up libclang-14-dev (1:14.0.6-12) ...
- Setting up libclang-cpp14-dev (1:14.0.6-12) ...
- Setting up llvm-14 (1:14.0.6-12) ...
- Setting up llvm-14-tools (1:14.0.6-12) ...
- Setting up clang-14 (1:14.0.6-12) ...
- Setting up clang (1:14.0-55.7~deb12u1) ...
- Setting up llvm-14-dev (1:14.0.6-12) ...
- Processing triggers for libc-bin (2.36-9+deb12u10) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved apron.v0.9.15 (cached)
-> retrieved arg-complete.0.2.1 (cached)
-> retrieved bigarray-compat.1.1.0 (cached)
-> retrieved camlidl.1.13 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-paths.1 (cached)
-> retrieved conf-mpfr-paths.1 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved ez-conf-lib.2 (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
-> installed bigarray-compat.1.1.0
-> installed conf-findutils.1
-> installed conf-gmp.5
-> installed conf-perl.2
-> installed conf-pkg-config.4
-> retrieved mlgmpidl.1.3.0 (cached)
-> installed ez-conf-lib.2
-> retrieved mopsa.1.1 (cached)
-> installed menhirCST.20240715
-> installed conf-gmp-paths.1
-> retrieved ocamlbuild.0.16.1 (cached)
-> installed cppo.1.8.0
-> installed menhirSdk.20240715
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed menhirLib.20240715
-> installed conf-mpfr-paths.1
-> installed arg-complete.0.2.1
-> retrieved zarith.1.14 (cached)
-> installed yojson.3.0.0
-> installed camlidl.1.13
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed mlgmpidl.1.3.0
-> installed menhir.20240715
-> installed apron.v0.9.15
-> installed mopsa.1.1
Done.
<><> mopsa.1.1 installed successfully <><><><><><><><><><><><><><><><><><><><><>
=> Mopsa installed.
If you want to enable **bash completion features**, please:
1. Install bash-completion, if you do not have it already
2. echo "source $OPAM_SWITCH_PREFIX/share/bash_completion/completions/mopsa-completion" >> ~/.bash_completion
<><> conf-mpfr-paths.1 installed successfully <><><><><><><><><><><><><><><><><>
=> header file found in /usr/include
=> library file found in /usr/lib/x86_64-linux-gnu
<><> conf-gmp-paths.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> header file found in /usr/include/x86_64-linux-gnu
=> library file found in /usr/lib/x86_64-linux-gnu
# To update the current shell environment, run: eval $(opam env)
2025-09-04 03:04.20 ---> saved as "c27b2f135dbe8e7001515f0361fc9507fd53eff889b0fa5518cf37632bc2ba38"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test mopsa.1.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile mopsa 1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved mopsa.1.1 (https://opam.ocaml.org/cache)
-> removed mopsa.1.1
-> installed mopsa.1.1
Done.
<><> mopsa.1.1 installed successfully <><><><><><><><><><><><><><><><><><><><><>
=> Mopsa installed.
If you want to enable **bash completion features**, please:
1. Install bash-completion, if you do not have it already
2. echo "source $OPAM_SWITCH_PREFIX/share/bash_completion/completions/mopsa-completion" >> ~/.bash_completion
# To update the current shell environment, run: eval $(opam env)
2025-09-04 03:05.05 ---> saved as "fd0b41d540d50393c7171f5eb70da116eb1e0e66ce0d7a5169d01dce25d460cc"
/home/opam: (run (shell "opam reinstall --with-test --verbose mopsa.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile mopsa 1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [mopsa.1.1: extract]
-> retrieved mopsa.1.1 (cached)
Processing 2/4: [mopsa: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/5.3/.opam-switch/build/mopsa.1.1)
- checking for Mopsa's version... 1.1
- checking for Mopsa's development version... release
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether the compiler supports GNU C... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking for g++... g++
- checking whether the compiler supports GNU C++... yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features... none needed
- checking for a sed that does not truncate output... /usr/bin/sed
- checking for ocamlc... ocamlc
- checking for ocamlc version... 5.3.0
- checking for ocamlfind... ocamlfind
- checking for ocamlopt... ocamlopt
- checking for ocamldep... ocamldep
- checking for ocamlmklib... ocamlmklib
- checking for ocamllex... ocamllex
- checking for menhir... menhir
- checking for ocaml yojson library... yes
- checking for ocaml zarith library... yes
- checking for ocaml apron library... yes
- checking for llvm-config... no
- checking for llvm-config-X... llvm-config-14
- checking for LLVM version... 14.0.6
- checking for clang-14... clang-14
- configure: creating ./config.status
- config.status: creating parsers/c/lib/parser/dune
- config.status: creating utils/core/version.ml
- config.status: creating META
Processing 2/4: [mopsa: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.3/.opam-switch/build/mopsa.1.1)
- opam exec -- dune build --profile release -p mopsa
- (cd _build/.sandbox/2f4e99c5129c59158b6874b2d4aa0120/default && /home/opam/.opam/5.3/bin/menhir parsers/universal/U_parser.mly --base parsers/universal/U_parser --infer-read-reply parsers/universal/U_parser__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 14 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default/utils/itvUtils && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -g -I /home/opam/.opam/5.3/lib/ocaml -I /home/opam/.opam/5.3/lib/arg-complete -I /home/opam/.opam/5.3/lib/ocaml/str -I /home/opam/.opam/5.3/lib/ocaml/unix -I /home/opam/.opam/5.3/lib/zarith -I ../core -o floats_round.o -c floats_round.c)
- floats_round.c:158:20: warning: 'sgl_minf' defined but not used [-Wunused-const-variable=]
- 158 | static const float sgl_minf = -1.f/0.f;
- | ^~~~~~~~
- floats_round.c:157:20: warning: 'sgl_inf' defined but not used [-Wunused-const-variable=]
- 157 | static const float sgl_inf = 1.f/0.f;
- | ^~~~~~~
Processing 2/4: [mopsa: make tests]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "tests" (CWD=/home/opam/.opam/5.3/.opam-switch/build/mopsa.1.1)
-
- Running test mopsa-universal analyzer/tests/universal/string_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.001s
- Checks summary: 2 total, ✔ 2 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
-
-
- Running test mopsa-universal analyzer/tests/universal/loop_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.001s
- Checks summary: 1 total, ✔ 1 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
-
-
- Running test mopsa-universal analyzer/tests/universal/int_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.001s
- Checks summary: 3 total, ✔ 3 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
-
-
- Running test mopsa-universal analyzer/tests/universal/function_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.002s
- Checks summary: 4 total, ✔ 4 safe (selectivity: 100.00%)
- Assertion failure: 4 total, ✔ 4 safe
-
-
- Running test mopsa-cfg analyzer/tests/universal/string_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.002s
- Checks summary: 2 total, ✔ 2 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
-
-
- Running test mopsa-cfg analyzer/tests/universal/loop_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.001s
- Checks summary: 1 total, ✔ 1 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
-
-
- Running test mopsa-cfg analyzer/tests/universal/int_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.001s
- Checks summary: 3 total, ✔ 3 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
-
-
- Running test mopsa-cfg analyzer/tests/universal/function_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.004s
- Checks summary: 4 total, ✔ 4 safe (selectivity: 100.00%)
- Assertion failure: 4 total, ✔ 4 safe
-
-
- Running test mopsa-c analyzer/tests/c/union_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.030s
- Checks summary: 15 total, ✔ 15 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Invalid memory access: 7 total, ✔ 7 safe
- Division by zero: 2 total, ✔ 2 safe
- Integer overflow: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/switch_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.042s
- Checks summary: 46 total, ✔ 46 safe (selectivity: 100.00%)
- Assertion failure: 11 total, ✔ 11 safe
- Invalid memory access: 2 total, ✔ 2 safe
- Division by zero: 2 total, ✔ 2 safe
- Integer overflow: 31 total, ✔ 31 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/memory_resource_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.360s
- Checks summary: 138 total, ✔ 138 safe (selectivity: 100.00%)
- Assertion failure: 7 total, ✔ 7 safe
- Stub condition: 9 total, ✔ 9 safe
- Invalid memory access: 62 total, ✔ 62 safe
- Integer overflow: 60 total, ✔ 60 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/macro_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.030s
- Checks summary: 7 total, ✔ 7 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- Stub condition: 1 total, ✔ 1 safe
- Invalid memory access: 1 total, ✔ 1 safe
- Integer overflow: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/local_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.030s
- Checks summary: 4 total, ✔ 4 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Integer overflow: 3 total, ✔ 3 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/implies_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.032s
- Checks summary: 5 total, ✔ 5 safe (selectivity: 100.00%)
- Assertion failure: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/global_predicate_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.029s
- Checks summary: 2 total, ✔ 2 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Stub condition: 1 total, ✔ 1 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/directive_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.031s
- Checks summary: 8 total, ✔ 8 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- Invalid memory access: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/case_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.031s
- Checks summary: 10 total, ✔ 10 safe (selectivity: 100.00%)
- Assertion failure: 6 total, ✔ 6 safe
- Integer overflow: 4 total, ✔ 4 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/builtins_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.312s
- Checks summary: 95 total, ✔ 95 safe (selectivity: 100.00%)
- Assertion failure: 4 total, ✔ 4 safe
- Stub condition: 6 total, ✔ 6 safe
- Invalid memory access: 45 total, ✔ 45 safe
- Integer overflow: 40 total, ✔ 40 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/assigns_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.040s
- Checks summary: 56 total, ✔ 56 safe (selectivity: 100.00%)
- Assertion failure: 19 total, ✔ 19 safe
- Invalid memory access: 32 total, ✔ 32 safe
- Integer overflow: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/alias_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.029s
- Checks summary: 3 total, ✔ 3 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
- Integer overflow: 1 total, ✔ 1 safe
-
-
- Running test mopsa-c analyzer/tests/c/struct_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.350s
- Checks summary: 196 total, ✔ 196 safe (selectivity: 100.00%)
- Assertion failure: 12 total, ✔ 12 safe
- Stub condition: 11 total, ✔ 11 safe
- Invalid memory access: 93 total, ✔ 93 safe
- Integer overflow: 80 total, ✔ 80 safe
-
-
- Running test mopsa-c analyzer/tests/c/string_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.031s
- Checks summary: 10 total, ✔ 10 safe (selectivity: 100.00%)
- Assertion failure: 4 total, ✔ 4 safe
- Invalid memory access: 4 total, ✔ 4 safe
- Integer overflow: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/string_length_tests.c
- Analysis terminated successfully
- Analysis time: 0.436s
-
- ⚠ Check #62:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:76.18-29: strlen
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #63:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:74.18-29: strlen
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #64:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:72.18-29: strlen
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #65:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:70.18-29: strlen
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #66:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:63.16-27: strlen
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #67:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:61.16-27: strlen
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #68:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:59.16-27: strlen
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #69:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:57.16-27: strlen
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #70:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:51.16-25: strlen
- from analyzer/tests/c/string_length_tests.c:50.5-22: test_array_length
-
-
- ⚠ Check #71:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:47.16-27: strlen
- from analyzer/tests/c/string_length_tests.c:44.5-25: test_cst_copy_length
-
-
- ⚠ Check #72:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/string_length_tests.c:22.16-25: strlen
- from analyzer/tests/c/string_length_tests.c:21.5-20: test_cst_length
-
-
- ⚠ Check #73:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:242.3-43: strlen
- from analyzer/tests/c/string_length_tests.c:73.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #74:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:242.3-43: strlen
- from analyzer/tests/c/string_length_tests.c:71.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #75:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:242.3-43: strlen
- from analyzer/tests/c/string_length_tests.c:60.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #76:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:242.3-43: strlen
- from analyzer/tests/c/string_length_tests.c:58.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #77:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:241.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:73.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #78:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:241.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:71.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #79:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:241.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:60.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #80:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:241.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:58.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #81:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:217.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:69.4-18: strcpy
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #82:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:217.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:56.2-16: strcpy
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #83:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:217.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:46.2-16: strcpy
- from analyzer/tests/c/string_length_tests.c:44.5-25: test_cst_copy_length
-
-
- ⚠ Check #84:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/string.c:217.3-41: strlen
- from analyzer/tests/c/string_length_tests.c:27.2-16: strcpy
- from analyzer/tests/c/string_length_tests.c:25.5-18: test_cst_copy
-
-
- ⚠ Check #286:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:244.13-64: warning: Stub condition
-
- 244: * requires: valid_bytes_or_fail(__dest, dest_len + src_len + 1);
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Out-of-bound access
- Callstack:
- from analyzer/tests/c/string_length_tests.c:73.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #287:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:244.13-64: warning: Stub condition
-
- 244: * requires: valid_bytes_or_fail(__dest, dest_len + src_len + 1);
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Out-of-bound access
- Callstack:
- from analyzer/tests/c/string_length_tests.c:71.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #288:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:244.13-64: warning: Stub condition
-
- 244: * requires: valid_bytes_or_fail(__dest, dest_len + src_len + 1);
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Out-of-bound access
- Callstack:
- from analyzer/tests/c/string_length_tests.c:60.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #289:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:244.13-64: warning: Stub condition
-
- 244: * requires: valid_bytes_or_fail(__dest, dest_len + src_len + 1);
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Out-of-bound access
- Callstack:
- from analyzer/tests/c/string_length_tests.c:58.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #314:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:247.45-68: warning: Invalid memory access
-
- 247: * ensures: forall size_t i in [0, src_len]: (__dest[dest_len + i])' == __src[i];
- ^^^^^^^^^^^^^^^^^^^^^^^
- accessing 1 byte at offsets [0,203] of variable 'primed⦃@Memory:d7d355d⦄' of size 200 bytes
- Callstack:
- from analyzer/tests/c/string_length_tests.c:73.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #315:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:247.45-68: warning: Invalid memory access
-
- 247: * ensures: forall size_t i in [0, src_len]: (__dest[dest_len + i])' == __src[i];
- ^^^^^^^^^^^^^^^^^^^^^^^
- accessing 1 byte at offsets [0,203] of variable 'primed⦃@Memory:d7d355d⦄' of size 200 bytes
- Callstack:
- from analyzer/tests/c/string_length_tests.c:71.4-18: strcat
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #316:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:247.45-68: warning: Invalid memory access
-
- 247: * ensures: forall size_t i in [0, src_len]: (__dest[dest_len + i])' == __src[i];
- ^^^^^^^^^^^^^^^^^^^^^^^
- accessing 1 byte at offsets [0,103] of variable 'primed⦃buf:analyzer/tests/c/string_length_tests.c:55.2-15⦄' of size 100 bytes
- Callstack:
- from analyzer/tests/c/string_length_tests.c:60.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #317:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strcat':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:247.45-68: warning: Invalid memory access
-
- 247: * ensures: forall size_t i in [0, src_len]: (__dest[dest_len + i])' == __src[i];
- ^^^^^^^^^^^^^^^^^^^^^^^
- accessing 1 byte at offsets [0,103] of variable 'primed⦃buf:analyzer/tests/c/string_length_tests.c:55.2-15⦄' of size 100 bytes
- Callstack:
- from analyzer/tests/c/string_length_tests.c:58.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #344:
- ./_build/install/default/share/mopsa/stubs/c/libc/wchar.c: In function 'wcslen':
- ./_build/install/default/share/mopsa/stubs/c/libc/wchar.c:305.13-35: warning: Stub condition
-
- 305: * requires: valid_wide_string(__s);
- ^^^^^^^^^^^^^^^^^^^^^^
- invalid requirement '∃_i ∈ [0 .. (((bytes(__s) - offset(__s)) / 4) - 1)] : (__s[_i] == 0)'
- Callstack:
- from analyzer/tests/c/string_length_tests.c:31.16-26: wcslen
- from analyzer/tests/c/string_length_tests.c:30.5-25: test_wide_cst_length
-
-
- ⚠ Check #345:
- ./_build/install/default/share/mopsa/stubs/c/libc/wchar.c: In function 'wcslen':
- ./_build/install/default/share/mopsa/stubs/c/libc/wchar.c:305.13-35: warning: Stub condition
-
- 305: * requires: valid_wide_string(__s);
- ^^^^^^^^^^^^^^^^^^^^^^
- invalid requirement '∃_i ∈ [0 .. (((bytes(__s) - offset(__s)) / 4) - 1)] : (__s[_i] == 0)'
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/wchar.c:47.3-41: wcslen
- from analyzer/tests/c/string_length_tests.c:36.2-18: wcscpy
- from analyzer/tests/c/string_length_tests.c:34.5-23: test_wide_cst_copy
-
-
- ⚠ Check #413:
- analyzer/tests/c/string_length_tests.c: In function 'test_cst_length':
- analyzer/tests/c/string_length_tests.c:22.16-30: warning: Assertion failure
-
- 22: _mopsa_assert(strlen(s) == 4);
- ^^^^^^^^^^^^^^
- Assertion '(strlen(s) == 4)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:21.5-20: test_cst_length
-
-
- ⚠ Check #415:
- analyzer/tests/c/string_length_tests.c: In function 'test_wide_cst_length':
- analyzer/tests/c/string_length_tests.c:31.16-31: warning: Assertion failure
-
- 31: _mopsa_assert(wcslen(ws) == 5);
- ^^^^^^^^^^^^^^^
- Assertion '(wcslen(ws) == 5)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:30.5-25: test_wide_cst_length
-
-
- ⚠ Check #417:
- analyzer/tests/c/string_length_tests.c: In function 'test_cst_copy_length':
- analyzer/tests/c/string_length_tests.c:47.16-32: warning: Assertion failure
-
- 47: _mopsa_assert(strlen(buf) == 4);
- ^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 4)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:44.5-25: test_cst_copy_length
-
-
- ⚠ Check #419:
- analyzer/tests/c/string_length_tests.c: In function 'test_array_length':
- analyzer/tests/c/string_length_tests.c:51.16-30: warning: Assertion failure
-
- 51: _mopsa_assert(strlen(a) == 4);
- ^^^^^^^^^^^^^^
- Assertion '(strlen(a) == 4)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:50.5-22: test_array_length
-
-
- ⚠ Check #421:
- analyzer/tests/c/string_length_tests.c: In function 'test_buf_length':
- analyzer/tests/c/string_length_tests.c:57.16-32: warning: Assertion failure
-
- 57: _mopsa_assert(strlen(buf) == 4);
- ^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 4)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #423:
- analyzer/tests/c/string_length_tests.c: In function 'test_buf_length':
- analyzer/tests/c/string_length_tests.c:59.16-32: warning: Assertion failure
-
- 59: _mopsa_assert(strlen(buf) == 8);
- ^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 8)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #425:
- analyzer/tests/c/string_length_tests.c: In function 'test_buf_length':
- analyzer/tests/c/string_length_tests.c:61.16-33: warning: Assertion failure
-
- 61: _mopsa_assert(strlen(buf) == 12);
- ^^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 12)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #429:
- analyzer/tests/c/string_length_tests.c: In function 'test_buf_length':
- analyzer/tests/c/string_length_tests.c:63.16-32: warning: Assertion failure
-
- 63: _mopsa_assert(strlen(buf) == 2);
- ^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 2)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_length
-
-
- ⚠ Check #432:
- analyzer/tests/c/string_length_tests.c: In function 'test_alloc_length':
- analyzer/tests/c/string_length_tests.c:70.18-34: warning: Assertion failure
-
- 70: _mopsa_assert(strlen(buf) == 4);
- ^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 4)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #434:
- analyzer/tests/c/string_length_tests.c: In function 'test_alloc_length':
- analyzer/tests/c/string_length_tests.c:72.18-34: warning: Assertion failure
-
- 72: _mopsa_assert(strlen(buf) == 8);
- ^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 8)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #436:
- analyzer/tests/c/string_length_tests.c: In function 'test_alloc_length':
- analyzer/tests/c/string_length_tests.c:74.18-35: warning: Assertion failure
-
- 74: _mopsa_assert(strlen(buf) == 12);
- ^^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 12)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
-
- ⚠ Check #440:
- analyzer/tests/c/string_length_tests.c: In function 'test_alloc_length':
- analyzer/tests/c/string_length_tests.c:76.18-34: warning: Assertion failure
-
- 76: _mopsa_assert(strlen(buf) == 2);
- ^^^^^^^^^^^^^^^^
- Assertion '(strlen(buf) == 2)' violated
- Callstack:
- from analyzer/tests/c/string_length_tests.c:66.5-22: test_alloc_length
-
- Checks summary: 441 total, ✔ 396 safe, ⚠ 45 warnings (selectivity: 89.80%)
- Assertion failure: 12 total, ⚠ 12 warnings
- Stub condition: 52 total, ✔ 23 safe, ⚠ 29 warnings
- Invalid memory access: 160 total, ✔ 156 safe, ⚠ 4 warnings
- Division by zero: 4 total, ✔ 4 safe
- Integer overflow: 213 total, ✔ 213 safe
-
-
- Running test mopsa-c analyzer/tests/c/ptr_sentinel_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.085s
- Checks summary: 6 total, ✔ 6 safe (selectivity: 100.00%)
- Invalid memory access: 4 total, ✔ 4 safe
- Integer overflow: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/pointer_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.046s
- Checks summary: 91 total, ✔ 91 safe (selectivity: 100.00%)
- Assertion failure: 31 total, ✔ 31 safe
- Invalid memory access: 33 total, ✔ 33 safe
- Integer overflow: 18 total, ✔ 18 safe
- Invalid pointer comparison: 4 total, ✔ 4 safe
- Invalid pointer subtraction: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/vasprintf_tests.c
- Analysis terminated successfully
- Analysis time: 0.268s
-
- ⚠ Check #56:
- ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c: In function '_mopsa_constant_vasprintf':
- ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c:1018.13-38: warning: Stub condition
-
- 1018: * requires: valid_string_or_fail(fmt);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:12.11-32: _mopsa_constant_vasprintf
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #57:
- ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c: In function '_mopsa_constant_vasprintf':
- ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c:1018.13-38: warning: Stub condition
-
- 1018: * requires: valid_string_or_fail(fmt);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:11.11-32: _mopsa_constant_vasprintf
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #64:
- ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c: In function '_mopsa_constant_vasprintf':
- ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c:1023.39-45: warning: Invalid memory access
-
- 1023: * ensures: forall size_t i in [0, s]: str[i] == fmt[i];
- ^^^^^^
- accessing 1 byte at offsets [0,9] of dynamically allocated block of size [1,10] bytes
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:11.11-32: _mopsa_constant_vasprintf
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #74:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:14.22-32: strlen
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #75:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:13.22-32: strlen
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #76:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c:1019.3-33: strlen
- from analyzer/tests/c/libc/vasprintf_tests.c:12.11-32: _mopsa_constant_vasprintf
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #77:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Stub condition
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Non-terminating string
- Callstack:
- from ./_build/install/default/share/mopsa/stubs/c/libc/stdio.c:1019.3-33: strlen
- from analyzer/tests/c/libc/vasprintf_tests.c:11.11-32: _mopsa_constant_vasprintf
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #78:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:186.13-38: warning: Invalid memory access
-
- 186: * requires: valid_string_or_fail(__s);
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- accessing 1 byte at offsets [0,9] of dynamically allocated block of size [1,10] bytes
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:13.22-32: strlen
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #90:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:188.13-24: warning: Invalid memory access
-
- 188: * ensures: __s[return] == 0;
- ^^^^^^^^^^^
- accessing 1 byte at offsets [0,9] of dynamically allocated block of size [1,10] bytes
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:13.22-32: strlen
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #98:
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c: In function 'strlen':
- ./_build/install/default/share/mopsa/stubs/c/libc/string.c:189.45-51: warning: Invalid memory access
-
- 189: * ensures: forall size_t j in [0, return): __s[j] != 0;
- ^^^^^^
- accessing 1 byte at offsets [0,8] of dynamically allocated block of size [1,10] bytes
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:13.22-32: strlen
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ⚠ Check #137:
- analyzer/tests/c/libc/vasprintf_tests.c: In function 'test_constant_strings':
- analyzer/tests/c/libc/vasprintf_tests.c:13.16-32: warning: Assertion failure
-
- 13: _mopsa_assert(l1 == strlen(r1));
- ^^^^^^^^^^^^^^^^
- Assertion '(l1 == strlen(r1))' violated
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
-
- ✗ Check #140:
- analyzer/tests/c/libc/vasprintf_tests.c: In function 'test_constant_strings':
- analyzer/tests/c/libc/vasprintf_tests.c:15.2-22: error: Assertion failure
-
- 15: _mopsa_assert_safe();
- ^^^^^^^^^^^^^^^^^^^^
- Assertion 'builtin _mopsa_assert_safe()' violated
- Callstack:
- from analyzer/tests/c/libc/vasprintf_tests.c:5.5-26: test_constant_strings
-
- Checks summary: 140 total, ✔ 128 safe, ✗ 1 error, ⚠ 11 warnings (selectivity: 91.43%)
- Assertion failure: 3 total, ✔ 1 safe, ✗ 1 error, ⚠ 1 warning
- Stub condition: 12 total, ✔ 6 safe, ⚠ 6 warnings
- Invalid memory access: 65 total, ✔ 61 safe, ⚠ 4 warnings
- Integer overflow: 60 total, ✔ 60 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/variadic_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.098s
- Checks summary: 66 total, ✔ 66 safe (selectivity: 100.00%)
- Assertion failure: 10 total, ✔ 10 safe
- Invalid memory access: 38 total, ✔ 38 safe
- Integer overflow: 11 total, ✔ 11 safe
- Insufficient variadic arguments: 7 total, ✔ 7 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/memcpy_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.370s
- Checks summary: 144 total, ✔ 144 safe (selectivity: 100.00%)
- Stub condition: 15 total, ✔ 15 safe
- Invalid memory access: 64 total, ✔ 64 safe
- Integer overflow: 65 total, ✔ 65 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/malloc_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.364s
- Checks summary: 153 total, ✔ 153 safe (selectivity: 100.00%)
- Assertion failure: 13 total, ✔ 13 safe
- Stub condition: 9 total, ✔ 9 safe
- Invalid memory access: 73 total, ✔ 73 safe
- Integer overflow: 58 total, ✔ 58 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/free_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.346s
- Checks summary: 119 total, ✔ 119 safe (selectivity: 100.00%)
- Stub condition: 11 total, ✔ 11 safe
- Invalid memory access: 55 total, ✔ 55 safe
- Integer overflow: 53 total, ✔ 53 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/file_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.291s
- Checks summary: 115 total, ✔ 115 safe (selectivity: 100.00%)
- Assertion failure: 6 total, ✔ 6 safe
- Stub condition: 11 total, ✔ 11 safe
- Invalid memory access: 53 total, ✔ 53 safe
- Integer overflow: 45 total, ✔ 45 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/errno_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.045s
- Checks summary: 7 total, ✔ 7 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Invalid memory access: 4 total, ✔ 4 safe
- Integer overflow: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/builtin_overflow_tests.c
- Analysis terminated successfully (with assumptions)
- ✔ No alarm
- Analysis time: 0.032s
- Checks summary: 18 total, ✔ 18 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- Invalid memory access: 1 total, ✔ 1 safe
- Division by zero: 1 total, ✔ 1 safe
- Integer overflow: 13 total, ✔ 13 safe
-
- 1 assumption:
- analyzer/tests/c/libc/builtin_overflow_tests.c:8.19-28: ignoring side-effects of calling undefined function 'uc_rand'
-
-
- Running test mopsa-c analyzer/tests/c/libc/builtin_constant_p_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.029s
- Checks summary: 5 total, ✔ 5 safe (selectivity: 100.00%)
- Assertion failure: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/alloca_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.032s
- Checks summary: 5 total, ✔ 5 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Invalid memory access: 2 total, ✔ 2 safe
- Integer overflow: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/int_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.037s
- Checks summary: 44 total, ✔ 44 safe (selectivity: 100.00%)
- Assertion failure: 19 total, ✔ 19 safe
- Division by zero: 2 total, ✔ 2 safe
- Integer overflow: 21 total, ✔ 21 safe
- Invalid shift: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/goto_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.029s
- Checks summary: 2 total, ✔ 2 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/function_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.035s
- Checks summary: 26 total, ✔ 26 safe (selectivity: 100.00%)
- Assertion failure: 9 total, ✔ 9 safe
- Invalid memory access: 14 total, ✔ 14 safe
- Integer overflow: 3 total, ✔ 3 safe
-
-
- Running test mopsa-c analyzer/tests/c/for_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.029s
- Checks summary: 2 total, ✔ 2 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Integer overflow: 1 total, ✔ 1 safe
-
-
- Running test mopsa-c analyzer/tests/c/float_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.035s
- Checks summary: 7 total, ✔ 7 safe (selectivity: 100.00%)
- Assertion failure: 7 total, ✔ 7 safe
-
-
- Running test mopsa-c analyzer/tests/c/enum_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.029s
- Checks summary: 4 total, ✔ 4 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- Integer overflow: 1 total, ✔ 1 safe
-
-
- Running test mopsa-c analyzer/tests/c/cond_expr_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.033s
- Checks summary: 12 total, ✔ 12 safe (selectivity: 100.00%)
- Assertion failure: 8 total, ✔ 8 safe
- Integer overflow: 4 total, ✔ 4 safe
-
-
- Running test mopsa-c analyzer/tests/c/bitshift_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.030s
- Checks summary: 25 total, ✔ 25 safe (selectivity: 100.00%)
- Assertion failure: 7 total, ✔ 7 safe
- Integer overflow: 11 total, ✔ 11 safe
- Invalid shift: 7 total, ✔ 7 safe
-
-
- Running test mopsa-c analyzer/tests/c/array_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.039s
- Checks summary: 46 total, ✔ 46 safe (selectivity: 100.00%)
- Assertion failure: 10 total, ✔ 10 safe
- Invalid memory access: 34 total, ✔ 34 safe
- Integer overflow: 2 total, ✔ 2 safe
-
-
- Running test mopsa-python analyzer/tests/python/with_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.030s
- Checks summary: 159 total, ✔ 159 safe (selectivity: 100.00%)
- Assertion failure: 5 total, ✔ 5 safe
- AttributeError exception: 46 total, ✔ 46 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 25 total, ✔ 25 safe
- TypeError exception: 57 total, ✔ 57 safe
- UnboundLocalError exception: 25 total, ✔ 25 safe
-
-
- Running test mopsa-python analyzer/tests/python/types/misc_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.031s
- Checks summary: 315 total, ✔ 315 safe (selectivity: 100.00%)
- Assertion failure: 16 total, ✔ 16 safe
- AttributeError exception: 48 total, ✔ 48 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 90 total, ✔ 90 safe
- TypeError exception: 70 total, ✔ 70 safe
- UnboundLocalError exception: 90 total, ✔ 90 safe
-
-
- Running test mopsa-python analyzer/tests/python/types/int_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.027s
- Checks summary: 231 total, ✔ 231 safe (selectivity: 100.00%)
- Assertion failure: 12 total, ✔ 12 safe
- AttributeError exception: 25 total, ✔ 25 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 73 total, ✔ 73 safe
- TypeError exception: 45 total, ✔ 45 safe
- UnboundLocalError exception: 73 total, ✔ 73 safe
- ZeroDivisionError exception: 2 total, ✔ 2 safe
-
-
- Running test mopsa-python analyzer/tests/python/types/exception_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.026s
- Checks summary: 167 total, ✔ 167 safe (selectivity: 100.00%)
- Assertion failure: 11 total, ✔ 11 safe
- Python exception: 2 total, ✔ 2 safe
- AttributeError exception: 22 total, ✔ 22 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 43 total, ✔ 43 safe
- TypeError exception: 44 total, ✔ 44 safe
- UnboundLocalError exception: 43 total, ✔ 43 safe
- ZeroDivisionError exception: 1 total, ✔ 1 safe
-
-
- Running test mopsa-python analyzer/tests/python/str_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.023s
- Checks summary: 50 total, ✔ 50 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- AttributeError exception: 9 total, ✔ 9 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 10 total, ✔ 10 safe
- TypeError exception: 17 total, ✔ 17 safe
- UnboundLocalError exception: 10 total, ✔ 10 safe
-
-
- Running test mopsa-python analyzer/tests/python/operator_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.029s
- Checks summary: 195 total, ✔ 195 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
- AttributeError exception: 35 total, ✔ 35 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 61 total, ✔ 61 safe
- TypeError exception: 35 total, ✔ 35 safe
- UnboundLocalError exception: 61 total, ✔ 61 safe
-
-
- Running test mopsa-python analyzer/tests/python/misc_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.031s
- Checks summary: 316 total, ✔ 316 safe (selectivity: 100.00%)
- Assertion failure: 16 total, ✔ 16 safe
- AttributeError exception: 51 total, ✔ 51 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 88 total, ✔ 88 safe
- TypeError exception: 72 total, ✔ 72 safe
- UnboundLocalError exception: 88 total, ✔ 88 safe
-
-
- Running test mopsa-python analyzer/tests/python/loop_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.023s
- Checks summary: 23 total, ✔ 23 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- AttributeError exception: 4 total, ✔ 4 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 5 total, ✔ 5 safe
- TypeError exception: 7 total, ✔ 7 safe
- UnboundLocalError exception: 5 total, ✔ 5 safe
-
-
- Running test mopsa-python analyzer/tests/python/list_tests.py
- Analysis terminated successfully
- Analysis time: 0.041s
-
- ⚠ Check #2:
- {analyzer/tests/python/list_tests.py}: warning: TypeError exception
-
-
- Uncaught Python exception: TypeError: { "test_list_slice:162() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_len_of_initialization:161() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_initialization_with_same_values:160() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_in:159() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_extend:158() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_add:157() missing 0 required positional argument" }
-
-
- ⚠ Check #140:analyzer/tests/python/list_tests.py: In function 'test_in':
- analyzer/tests/python/list_tests.py:45.8-32: warning: Assertion failure
-
- 45: self.assertTrue(2 in l2)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Assertion '⟪@bool⟫((2 in l2))' violated
- Callstack:
- from analyzer/tests/python/list_tests.py:61.4-19: test_in
-
-
- ⚠ Check #171:
- analyzer/tests/python/list_tests.py: In function 'test_extend':
- analyzer/tests/python/list_tests.py:50.8-31: warning: Assertion failure
-
- 50: self.assertTrue(4 in l)
- ^^^^^^^^^^^^^^^^^^^^^^^
- Assertion '⟪@bool⟫((4 in l))' violated
- Callstack:
- from analyzer/tests/python/list_tests.py:61.4-19: test_extend
-
-
- ✗ Check #187:
- analyzer/tests/python/list_tests.py: In function 'test_extend':
- analyzer/tests/python/list_tests.py:51.8-35: error: Assertion failure
-
- 51: self.assertEqual(len(l), 9)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Assertion '(len(l) == 9)' violated
- Callstack:
- from analyzer/tests/python/list_tests.py:61.4-19: test_extend
-
- Checks summary: 272 total, ✔ 268 safe, ✗ 1 error, ⚠ 3 warnings (selectivity: 98.53%)
- Assertion failure: 8 total, ✔ 5 safe, ✗ 1 error, ⚠ 2 warnings
- AttributeError exception: 57 total, ✔ 57 safe
- IndexError exception: 2 total, ✔ 2 safe
- ModuleNotFoundError exception: 2 total, ✔ 2 safe
- NameError exception: 60 total, ✔ 60 safe
- TypeError exception: 81 total, ✔ 80 safe, ⚠ 1 warning
- UnboundLocalError exception: 60 total, ✔ 60 safe
- ValueError exception: 1 total, ✔ 1 safe
- ZeroDivisionError exception: 1 total, ✔ 1 safe
-
-
- Running test mopsa-python analyzer/tests/python/iter_assign_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.024s
- Checks summary: 54 total, ✔ 54 safe (selectivity: 100.00%)
- Assertion failure: 4 total, ✔ 4 safe
- StopIteration exception: 2 total, ✔ 2 safe
- AttributeError exception: 10 total, ✔ 10 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 11 total, ✔ 11 safe
- TypeError exception: 15 total, ✔ 15 safe
- UnboundLocalError exception: 11 total, ✔ 11 safe
-
-
- Running test mopsa-python analyzer/tests/python/int_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.025s
- Checks summary: 83 total, ✔ 83 safe (selectivity: 100.00%)
- Assertion failure: 5 total, ✔ 5 safe
- AttributeError exception: 18 total, ✔ 18 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 17 total, ✔ 17 safe
- TypeError exception: 25 total, ✔ 25 safe
- UnboundLocalError exception: 17 total, ✔ 17 safe
-
-
- Running test mopsa-python analyzer/tests/python/import_tests.py
- Analysis aborted
- panic in analyzer/tests/python/import_tests.py:19.8-43: Desugar.Import.Domain.Module_not_found("import_test")
- Trace:
- from analyzer/tests/python/import_tests.py:36.4-19: test2
-
- Running test mopsa-python analyzer/tests/python/generator_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.034s
- Checks summary: 240 total, ✔ 240 safe (selectivity: 100.00%)
- Assertion failure: 9 total, ✔ 9 safe
- StopIteration exception: 1 total, ✔ 1 safe
- AttributeError exception: 39 total, ✔ 39 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 62 total, ✔ 62 safe
- TypeError exception: 66 total, ✔ 66 safe
- UnboundLocalError exception: 62 total, ✔ 62 safe
-
-
- Running test mopsa-python analyzer/tests/python/function_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.032s
- Checks summary: 266 total, ✔ 266 safe (selectivity: 100.00%)
- Assertion failure: 7 total, ✔ 7 safe
- AttributeError exception: 50 total, ✔ 50 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 65 total, ✔ 65 safe
- TypeError exception: 78 total, ✔ 78 safe
- UnboundLocalError exception: 65 total, ✔ 65 safe
-
-
- Running test mopsa-python analyzer/tests/python/float_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.022s
- Checks summary: 34 total, ✔ 34 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
- AttributeError exception: 6 total, ✔ 6 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 7 total, ✔ 7 safe
- TypeError exception: 11 total, ✔ 11 safe
- UnboundLocalError exception: 7 total, ✔ 7 safe
-
-
- Running test mopsa-python analyzer/tests/python/exception_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.026s
- Checks summary: 130 total, ✔ 130 safe (selectivity: 100.00%)
- Assertion failure: 10 total, ✔ 10 safe
- Python exception: 2 total, ✔ 2 safe
- AttributeError exception: 24 total, ✔ 24 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 25 total, ✔ 25 safe
- TypeError exception: 42 total, ✔ 42 safe
- UnboundLocalError exception: 25 total, ✔ 25 safe
- ZeroDivisionError exception: 1 total, ✔ 1 safe
-
-
- Running test mopsa-python analyzer/tests/python/enums_tests.py
- Analysis terminated successfully
- Analysis time: 0.079s
-
- ⚠ Check #2:
- {analyzer/tests/python/enums_tests.py}: warning: TypeError exception
-
-
- Uncaught Python exception: TypeError: { "test_reversed_range:160() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_reversed_list:159() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_reversed_custom:158() missing 0 required positional argument" }
- Uncaught Python exception: TypeError: { "test_range_getitem:150() missing 0 required positional argument" }
-
- Checks summary: 718 total, ✔ 717 safe, ⚠ 1 warning (selectivity: 99.87%)
- Assertion failure: 17 total, ✔ 17 safe
- StopIteration exception: 8 total, ✔ 8 safe
- AttributeError exception: 151 total, ✔ 151 safe
- IndexError exception: 8 total, ✔ 8 safe
- ModuleNotFoundError exception: 2 total, ✔ 2 safe
- NameError exception: 160 total, ✔ 160 safe
- TypeError exception: 199 total, ✔ 198 safe, ⚠ 1 warning
- UnboundLocalError exception: 160 total, ✔ 160 safe
- ValueError exception: 3 total, ✔ 3 safe
- ZeroDivisionError exception: 10 total, ✔ 10 safe
-
-
- Running test mopsa-python analyzer/tests/python/dict_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.023s
- Checks summary: 57 total, ✔ 57 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
- AttributeError exception: 13 total, ✔ 13 safe
- KeyError exception: 2 total, ✔ 2 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 10 total, ✔ 10 safe
- TypeError exception: 19 total, ✔ 19 safe
- UnboundLocalError exception: 10 total, ✔ 10 safe
-
-
- Running test mopsa-python analyzer/tests/python/class_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.030s
- Checks summary: 211 total, ✔ 211 safe (selectivity: 100.00%)
- Assertion failure: 9 total, ✔ 9 safe
- AttributeError exception: 51 total, ✔ 51 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 43 total, ✔ 43 safe
- TypeError exception: 64 total, ✔ 64 safe
- UnboundLocalError exception: 43 total, ✔ 43 safe
-
-
- Running test mopsa-python analyzer/tests/python/builtins_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.023s
- Checks summary: 52 total, ✔ 52 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- AttributeError exception: 9 total, ✔ 9 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 13 total, ✔ 13 safe
- TypeError exception: 13 total, ✔ 13 safe
- UnboundLocalError exception: 13 total, ✔ 13 safe
-
-
- Running test mopsa-python analyzer/tests/python/bool_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.023s
- Checks summary: 80 total, ✔ 80 safe (selectivity: 100.00%)
- Assertion failure: 7 total, ✔ 7 safe
- AttributeError exception: 16 total, ✔ 16 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 14 total, ✔ 14 safe
- TypeError exception: 28 total, ✔ 28 safe
- UnboundLocalError exception: 14 total, ✔ 14 safe
-
-> compiled mopsa.1.1
-> removed mopsa.1.1
Processing 4/4: [mopsa: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.3/.opam-switch/build/mopsa.1.1)
- opam exec -- dune install --profile release
-> installed mopsa.1.1
Done.
<><> mopsa.1.1 installed successfully <><><><><><><><><><><><><><><><><><><><><>
=> Mopsa installed.
If you want to enable **bash completion features**, please:
1. Install bash-completion, if you do not have it already
2. echo "source $OPAM_SWITCH_PREFIX/share/bash_completion/completions/mopsa-completion" >> ~/.bash_completion
# To update the current shell environment, run: eval $(opam env)
2025-09-04 03:05.49 ---> saved as "426a2429625a96c304c6d5cd9a176e7a70f6e481643c3944f10478bcbe2eec24"
Job succeeded
2025-09-04 03:05.57: Job succeeded