- github
- ocaml
- opam-repository
- 0e6673
- compilers,5.4,menhirSdk.20260203,revdeps,mopsa.1.2
(not at the head of any monitored branch or PR)
2026-02-03 17:01.24: New job: test mopsa.1.2 with menhirSdk.20260203, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29331/head (0e6673ac97ae0f63da331269732670199dbab85e)
on debian-13-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29331/head" && git reset --hard 0e6673ac
git fetch origin master
git merge --no-edit 01e12bc089eafb9e81d496cb6a8286b7a4d19aa2
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn menhirSdk.20260203 20260203
RUN opam reinstall menhirSdk.20260203; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'menhirSdk.20260203' && 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.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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mopsa.1.2' && 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.2) || true
RUN opam reinstall --with-test --verbose mopsa.1.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mopsa.1.2' && 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 .
2026-02-03 17:01.24: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30-menhirSdk.20260203-mopsa.1.2-0e6673ac97ae0f63da331269732670199dbab85e"
2026-02-03 17:01.24: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn menhirSdk.20260203 20260203"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall menhirSdk.20260203;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'menhirSdk.20260203' && 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.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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test mopsa.1.2) || true"))
(run (shell "opam reinstall --with-test --verbose mopsa.1.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-02-03 17:01.24: Waiting for resource in pool OCluster
2026-02-04 07:47.46: Waiting for worker…
2026-02-04 07:51.55: Got resource from pool OCluster
Building on toxis.caelum.ci.dev
All commits already cached
Updating files: 63% (12341/19338)
Updating files: 64% (12377/19338)
Updating files: 65% (12570/19338)
Updating files: 66% (12764/19338)
Updating files: 67% (12957/19338)
Updating files: 68% (13150/19338)
Updating files: 69% (13344/19338)
Updating files: 70% (13537/19338)
Updating files: 71% (13730/19338)
Updating files: 72% (13924/19338)
Updating files: 73% (14117/19338)
Updating files: 74% (14311/19338)
Updating files: 75% (14504/19338)
Updating files: 76% (14697/19338)
Updating files: 77% (14891/19338)
Updating files: 78% (15084/19338)
Updating files: 79% (15278/19338)
Updating files: 80% (15471/19338)
Updating files: 81% (15664/19338)
Updating files: 82% (15858/19338)
Updating files: 83% (16051/19338)
Updating files: 84% (16244/19338)
Updating files: 85% (16438/19338)
Updating files: 86% (16631/19338)
Updating files: 87% (16825/19338)
Updating files: 88% (17018/19338)
Updating files: 89% (17211/19338)
Updating files: 90% (17405/19338)
Updating files: 91% (17598/19338)
Updating files: 92% (17791/19338)
Updating files: 93% (17985/19338)
Updating files: 94% (18178/19338)
Updating files: 95% (18372/19338)
Updating files: 96% (18565/19338)
Updating files: 97% (18758/19338)
Updating files: 98% (18952/19338)
Updating files: 99% (19145/19338)
Updating files: 100% (19338/19338)
Updating files: 100% (19338/19338), done.
HEAD is now at 01e12bc089 Merge pull request #29329 from vincent-botbol/catala-lsp.1.1.1
Updating 01e12bc089..0e6673ac97
Fast-forward
packages/menhir/menhir.20260203/opam | 32 ++++++++++++++++++++++++++++++
packages/menhirCST/menhirCST.20260203/opam | 30 ++++++++++++++++++++++++++++
packages/menhirGLR/menhirGLR.20260203/opam | 30 ++++++++++++++++++++++++++++
packages/menhirLib/menhirLib.20260203/opam | 31 +++++++++++++++++++++++++++++
packages/menhirSdk/menhirSdk.20260203/opam | 31 +++++++++++++++++++++++++++++
5 files changed, 154 insertions(+)
create mode 100644 packages/menhir/menhir.20260203/opam
create mode 100644 packages/menhirCST/menhirCST.20260203/opam
create mode 100644 packages/menhirGLR/menhirGLR.20260203/opam
create mode 100644 packages/menhirLib/menhirLib.20260203/opam
create mode 100644 packages/menhirSdk/menhirSdk.20260203/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30' locally
docker.io/ocaml/opam@sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30: Pulling from ocaml/opam
2ca1bfae7ba8: Already exists
e4d8ee4b2a38: Already exists
1d3116276f8e: Already exists
75b74a4d1ac0: Already exists
b6ccadbb02b4: Already exists
8cbf8e460264: Already exists
3315611f76bf: Already exists
504308973b3d: Already exists
d88808e698ae: Already exists
64194555da04: Already exists
bcae218e4dec: Already exists
0678004b187f: Already exists
608c27b1299a: Already exists
2d112e543012: Already exists
7515eb74eee1: Already exists
c57ccaf32dad: Already exists
1ad18dadc94d: Already exists
e597bdf2ce86: Already exists
895287036913: Already exists
669157da4bb1: Already exists
05dacbfea855: Already exists
c07f56eefed9: Already exists
4f4fb700ef54: Already exists
8d67afca45c4: Already exists
eaf56bb8bbcb: Already exists
3eb319385d03: Already exists
7e47d6bb7bc1: Already exists
dc066cdb4877: Already exists
3bd4cfbaf252: Already exists
e1cd4fc2a870: Already exists
c620a639b37a: Already exists
2765b1030b2e: Already exists
4e076d3d484c: Already exists
8fe2e737bcaf: Already exists
29a5f2a84735: Already exists
829846ac5653: Already exists
6cf201ca8833: Already exists
7f975caeb23f: Already exists
de5cd6b102fb: Already exists
8ce740230729: Already exists
29df89ae24a1: Already exists
5f9ff71ade5a: Pulling fs layer
59de40c91df3: Pulling fs layer
7f91a7dda691: Pulling fs layer
b8e10fccad65: Pulling fs layer
ee553cace8aa: Pulling fs layer
aa2d5ced7bb3: Pulling fs layer
5e65ef4e9b3c: Pulling fs layer
b8e10fccad65: Waiting
ee553cace8aa: Waiting
aa2d5ced7bb3: Waiting
59de40c91df3: Verifying Checksum
59de40c91df3: Download complete
5f9ff71ade5a: Verifying Checksum
5f9ff71ade5a: Download complete
7f91a7dda691: Verifying Checksum
7f91a7dda691: Download complete
5f9ff71ade5a: Pull complete
59de40c91df3: Pull complete
ee553cace8aa: Download complete
7f91a7dda691: Pull complete
aa2d5ced7bb3: Verifying Checksum
aa2d5ced7bb3: Download complete
5e65ef4e9b3c: Verifying Checksum
5e65ef4e9b3c: Download complete
b8e10fccad65: Verifying Checksum
b8e10fccad65: Download complete
b8e10fccad65: Pull complete
ee553cace8aa: Pull complete
aa2d5ced7bb3: Pull complete
5e65ef4e9b3c: Pull complete
Digest: sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30
Status: Downloaded newer image for ocaml/opam@sha256:7d9e98c625428dd7d1e2d0b79c4d9482fc6055a5b9600ca51f0c1d06a0604c30
2026-02-04 07:52.21 ---> using "d2c0f8ca6b78229a8736a1c58474579f9e8dd739d9f76726c83ac55b93330b8d" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-02-04 07:52.21 ---> using "69810ef06594f572558730216193bfcbf6d78c5dd6cd0123071b1bf3727eef69" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-02-04 07:52.21 ---> using "34638688fbfc2a101caaf841695d6077234ab6e7dc6819616e0b36882b03e972" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2026-02-04 07:52.21 ---> using "b8c647d533a6cd445fb2824b35edcf53d5803abb85b8cd96436b13acc7e1f83c" 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/"))
2026-02-04 07:52.21 ---> using "e439e20016b1e5f6d830d3315d5f4c75b40b8430d7ab6b8dd9d289523fbd8158" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-02-04 07:52.23 ---> using "2902ede0320e7695c0eab5dfc90fa1eb05beb4ab1e3aead1e6de4e3f6a97e157" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-04 07:52.23 ---> using "edfa3174992b06d7c4dc3dc9d6c48e50f82d267655b177b398950b9fef583581" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [98.8 kB]
- Fetched 190 kB in 0s (1334 kB/s)
- Reading package lists...
-
2026-02-04 07:52.23 ---> using "62b46dd8a7b67d1f7ec9a31dc676ee134f8be67f32752ece5e3e9ed73c7b9c57" from cache
/home/opam: (run (shell "opam pin add -k version -yn menhirSdk.20260203 20260203"))
menhirSdk is now pinned to version 20260203
2026-02-04 07:52.23 ---> using "4444a93a6a439c47c0c725e96196d6b01aa4967980907bfc917d0bc046ba1cfd" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall menhirSdk.20260203;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'menhirSdk.20260203' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
menhirSdk.20260203 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 2 packages
- install dune 3.21.0 [required by menhirSdk]
- install menhirSdk 20260203 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> retrieved menhirSdk.20260203 (cached)
-> installed dune.3.21.0
-> installed menhirSdk.20260203
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-04 07:52.23 ---> using "b6f92168f45721eb3722a508b78545df9b48d07971922edb4924ff95d4fca682" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mopsa.1.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
mopsa.1.2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 23 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 20260203 [required by mopsa]
- install menhirCST 20260203 [required by menhir]
- install menhirGLR 20260203 [required by menhir]
- install menhirLib 20260203 [required by menhir]
- install mlgmpidl 1.3.0 [required by mopsa]
- install mopsa 1.2
- install ocamlbuild 0.16.1 [required by apron]
- install ocamlfind 1.9.8 [required by mopsa]
- install qcheck-core 0.91 [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-cpp-dev libclang-dev libgmp-dev libmpfr-dev llvm-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-cpp-dev" "libclang-dev" "libgmp-dev" "libmpfr-dev" "llvm-dev" "pkg-config"
- 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 ... 20654 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.8-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.8-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-7_amd64.deb ...
- Unpacking binfmt-support (2.2.2-7) ...
- Selecting previously unselected package libpython3.13-minimal:amd64.
- Preparing to unpack .../libpython3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking python3.13-minimal (3.13.5-2) ...
- Setting up libpython3.13-minimal:amd64 (3.13.5-2) ...
- Setting up python3.13-minimal (3.13.5-2) ...
- 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 ... 21001 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ...
- Unpacking python3-minimal (3.13.5-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-2_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.5-2_amd64.deb ...
- Unpacking python3.13 (3.13.5-2) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3-minimal (3.13.5-1) ...
- 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 ... 21487 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.13.5-1_amd64.deb ...
- Unpacking python3 (3.13.5-1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../01-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../02-libz3-4_4.13.3-1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.13.3-1) ...
- Selecting previously unselected package libllvm19:amd64.
- Preparing to unpack .../03-libllvm19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libllvm19:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang-cpp19.
- Preparing to unpack .../04-libclang-cpp19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-cpp19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../05-libgc1_1%3a8.2.8-1_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.8-1) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../06-libobjc4_14.2.0-19_amd64.deb ...
- Unpacking libobjc4:amd64 (14.2.0-19) ...
- Selecting previously unselected package libobjc-14-dev:amd64.
- Preparing to unpack .../07-libobjc-14-dev_14.2.0-19_amd64.deb ...
- Unpacking libobjc-14-dev:amd64 (14.2.0-19) ...
- Selecting previously unselected package libclang-common-19-dev:amd64.
- Preparing to unpack .../08-libclang-common-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19-linker-tools.
- Preparing to unpack .../09-llvm-19-linker-tools_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-linker-tools (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang1-19.
- Preparing to unpack .../10-libclang1-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang1-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package clang-19.
- Preparing to unpack .../11-clang-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking clang-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package clang.
- Preparing to unpack .../12-clang_1%3a19.0-63_amd64.deb ...
- Unpacking clang (1:19.0-63) ...
- Selecting previously unselected package clang-tools-19.
- Preparing to unpack .../13-clang-tools-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking clang-tools-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../14-libc6-i386_2.41-12+deb13u1_amd64.deb ...
- Unpacking libc6-i386 (2.41-12+deb13u1) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../15-lib32gcc-s1_14.2.0-19_amd64.deb ...
- Unpacking lib32gcc-s1 (14.2.0-19) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../16-lib32stdc++6_14.2.0-19_amd64.deb ...
- Unpacking lib32stdc++6 (14.2.0-19) ...
- Selecting previously unselected package libclang-19-dev.
- Preparing to unpack .../17-libclang-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-19-dev (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang-cpp19-dev.
- Preparing to unpack .../18-libclang-cpp19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-cpp19-dev (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang-cpp-dev.
- Preparing to unpack .../19-libclang-cpp-dev_1%3a19.0-63_amd64.deb ...
- Unpacking libclang-cpp-dev (1:19.0-63) ...
- Selecting previously unselected package libclang-dev.
- Preparing to unpack .../20-libclang-dev_1%3a19.0-63_amd64.deb ...
- Unpacking libclang-dev (1:19.0-63) ...
- Selecting previously unselected package libclang-rt-19-dev:amd64.
- Preparing to unpack .../21-libclang-rt-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../22-libffi-dev_3.4.8-2_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.8-2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../23-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../24-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../25-libmpfr-dev_4.2.2-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.2-1) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../26-libncurses6_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses6:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../27-libncurses-dev_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../28-libpfm4_4.13.0+git99-gc5587f9-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../29-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../30-libxml2-dev_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../31-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../32-libz3-dev_4.13.3-1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.13.3-1) ...
- Selecting previously unselected package llvm-19-runtime.
- Preparing to unpack .../33-llvm-19-runtime_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-runtime (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-runtime:amd64.
- Preparing to unpack .../34-llvm-runtime_1%3a19.0-63_amd64.deb ...
- Unpacking llvm-runtime:amd64 (1:19.0-63) ...
- Selecting previously unselected package llvm-19.
- Preparing to unpack .../35-llvm-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm.
- Preparing to unpack .../36-llvm_1%3a19.0-63_amd64.deb ...
- Unpacking llvm (1:19.0-63) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../37-python3-pygments_2.18.0+dfsg-2_all.deb ...
- Unpacking python3-pygments (2.18.0+dfsg-2) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../38-python3-yaml_6.0.2-1+b2_amd64.deb ...
- Unpacking python3-yaml (6.0.2-1+b2) ...
- Selecting previously unselected package llvm-19-tools.
- Preparing to unpack .../39-llvm-19-tools_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-tools (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19-dev.
- Preparing to unpack .../40-llvm-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-dev (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-dev.
- Preparing to unpack .../41-llvm-dev_1%3a19.0-63_amd64.deb ...
- Unpacking llvm-dev (1:19.0-63) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../42-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../43-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../44-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up media-types (13.0.0) ...
- Setting up libpipeline1:amd64 (1.5.8-1) ...
- Setting up libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up libffi-dev:amd64 (3.4.8-2) ...
- Setting up libz3-4:amd64 (4.13.3-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Setting up libncurses6:amd64 (6.5+20250216-2) ...
- Setting up binfmt-support (2.2.2-7) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgc1:amd64 (1:8.2.8-1) ...
- Setting up libc6-i386 (2.41-12+deb13u1) ...
- Setting up readline-common (8.2-6) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Setting up libllvm19:amd64 (1:19.1.7-3+b1) ...
- Setting up libz3-dev:amd64 (4.13.3-1) ...
- Setting up libncurses-dev:amd64 (6.5+20250216-2) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libclang1-19 (1:19.1.7-3+b1) ...
- Setting up libobjc4:amd64 (14.2.0-19) ...
- Setting up libobjc-14-dev:amd64 (14.2.0-19) ...
- Setting up libmpfr-dev:amd64 (4.2.2-1) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Setting up lib32gcc-s1 (14.2.0-19) ...
- Setting up lib32stdc++6 (14.2.0-19) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ...
- Setting up llvm-19-linker-tools (1:19.1.7-3+b1) ...
- Setting up libclang-19-dev (1:19.1.7-3+b1) ...
- Setting up llvm-19-runtime (1:19.1.7-3+b1) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up libclang-cpp19 (1:19.1.7-3+b1) ...
- Setting up libclang-dev (1:19.0-63) ...
- Setting up python3.13 (3.13.5-2) ...
- Setting up python3 (3.13.5-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Setting up clang-19 (1:19.1.7-3+b1) ...
- Setting up clang-tools-19 (1:19.1.7-3+b1) ...
- Setting up libclang-cpp19-dev (1:19.1.7-3+b1) ...
- Setting up python3-pygments (2.18.0+dfsg-2) ...
- Setting up libclang-cpp-dev (1:19.0-63) ...
- Setting up clang (1:19.0-63) ...
- Setting up llvm-runtime:amd64 (1:19.0-63) ...
- Setting up llvm-19 (1:19.1.7-3+b1) ...
- Setting up python3-yaml (6.0.2-1+b2) ...
- Setting up llvm (1:19.0-63) ...
- Setting up llvm-19-tools (1:19.1.7-3+b1) ...
- Setting up llvm-19-dev (1:19.1.7-3+b1) ...
- Setting up llvm-dev (1:19.0-63) ...
- Processing triggers for base-files (13.8+deb13u3) ...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
<><> 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)
-> installed conf-pkg-config.4
-> installed conf-findutils.1
-> installed conf-gmp.5
-> installed conf-perl.2
-> retrieved menhir.20260203, menhirCST.20260203, menhirGLR.20260203, menhirLib.20260203 (cached)
-> installed bigarray-compat.1.1.0
-> installed ez-conf-lib.2
-> retrieved mlgmpidl.1.3.0 (cached)
-> retrieved mopsa.1.2 (cached)
-> installed menhirCST.20260203
-> retrieved ocamlbuild.0.16.1 (cached)
-> installed cppo.1.8.0
-> installed conf-gmp-paths.1
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved qcheck-core.0.91 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed menhirGLR.20260203
-> installed menhirLib.20260203
-> installed arg-complete.0.2.1
-> installed conf-mpfr-paths.1
-> retrieved zarith.1.14 (cached)
-> installed camlidl.1.13
-> installed yojson.3.0.0
-> installed qcheck-core.0.91
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed mlgmpidl.1.3.0
-> installed menhir.20260203
-> installed apron.v0.9.15
-> installed mopsa.1.2
Done.
<><> mopsa.1.2 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)
2026-02-04 07:56.03 ---> saved as "2c1e8edd8f6cbee5e021603c8f377e6506dd530793818f01926781a3bf6aa724"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test mopsa.1.2) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile mopsa 1.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved mopsa.1.2 (https://opam.ocaml.org/cache)
-> removed mopsa.1.2
-> installed mopsa.1.2
Done.
<><> mopsa.1.2 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)
2026-02-04 07:57.42 ---> saved as "39750a0887701c6c5bc017aed3b9f293495cb0ead19b9708ddc059e3e8026134"
/home/opam: (run (shell "opam reinstall --with-test --verbose mopsa.1.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mopsa.1.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile mopsa 1.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [mopsa.1.2: extract]
-> retrieved mopsa.1.2 (cached)
Processing 2/4: [mopsa: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/5.4/.opam-switch/build/mopsa.1.2)
- checking for Mopsa's version... 1.2
- 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.4.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... llvm-config
- checking for LLVM version... 19.1.7
- checking for clang... clang
- configure: creating ./config.status
- config.status: creating analyzer/dune
- config.status: creating parsers/c/lib/parser/dune
- config.status: creating utils/core/version.ml
Processing 2/4: [mopsa: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.4/.opam-switch/build/mopsa.1.2)
- opam exec -- dune build --profile release -p mopsa
- (cd _build/.sandbox/88dc0b0e9b3031a7cb595e5aa065ade1/default && /home/opam/.opam/5.4/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 && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -I utils/tests/.intItvTest.eobjs/byte -I utils/tests/.intItvTest.eobjs/native -I /home/opam/.opam/5.4/lib/arg-complete -I /home/opam/.opam/5.4/lib/ocaml/str -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/qcheck-core -I /home/opam/.opam/5.4/lib/qcheck-core/runner -I /home/opam/.opam/5.4/lib/zarith -I utils/.mopsa_utils.objs/byte -I utils/.mopsa_utils.objs/native -cmi-file utils/tests/.intItvTest.eobjs/byte/dune__exe__IntCongTest.cmi -no-alias-deps -open Dune__exe -o utils/tests/.intItvTest.eobjs/native/dune__exe__IntCongTest.cmx -c -impl utils/tests/intCongTest.ml)
- File "utils/tests/intCongTest.ml", line 39, characters 10-14:
- 39 | triple (pint ~origin:0) (pint ~origin:0) (pint ~origin:0) >>= fun (x,y,z) ->
- ^^^^
- Alert deprecated: QCheck2.Gen.pint
- Use [int_pos] instead
-
- File "utils/tests/intCongTest.ml", line 39, characters 27-31:
- 39 | triple (pint ~origin:0) (pint ~origin:0) (pint ~origin:0) >>= fun (x,y,z) ->
- ^^^^
- Alert deprecated: QCheck2.Gen.pint
- Use [int_pos] instead
-
- File "utils/tests/intCongTest.ml", line 39, characters 44-48:
- 39 | triple (pint ~origin:0) (pint ~origin:0) (pint ~origin:0) >>= fun (x,y,z) ->
- ^^^^
- Alert deprecated: QCheck2.Gen.pint
- Use [int_pos] instead
-
- File "utils/tests/intCongTest.ml", line 89, characters 6-12:
- 89 | oneofl candidates
- ^^^^^^
- Alert deprecated: QCheck2.Gen.oneofl
- Use [oneof_list] instead
-
- File "utils/tests/intCongTest.ml", line 102, characters 9-15:
- 102 | | 0 -> oneofl congs
- ^^^^^^
- Alert deprecated: QCheck2.Gen.oneofl
- Use [oneof_list] instead
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -I utils/tests/.intItvTest.eobjs/byte -I utils/tests/.intItvTest.eobjs/native -I /home/opam/.opam/5.4/lib/arg-complete -I /home/opam/.opam/5.4/lib/ocaml/str -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/qcheck-core -I /home/opam/.opam/5.4/lib/qcheck-core/runner -I /home/opam/.opam/5.4/lib/zarith -I utils/.mopsa_utils.objs/byte -I utils/.mopsa_utils.objs/native -cmi-file utils/tests/.intItvTest.eobjs/byte/dune__exe__IntItvTest.cmi -no-alias-deps -open Dune__exe -o utils/tests/.intItvTest.eobjs/native/dune__exe__IntItvTest.cmx -c -impl utils/tests/intItvTest.ml)
- File "utils/tests/intItvTest.ml", line 72, characters 55-59:
- 72 | | B.Finite l, B.PINF -> map (Z.add l) (map Z.of_int (pint ~origin:0))
- ^^^^
- Alert deprecated: QCheck2.Gen.pint
- Use [int_pos] instead
-
- File "utils/tests/intItvTest.ml", line 73, characters 55-59:
- 73 | | B.MINF, B.Finite h -> map (Z.sub h) (map Z.of_int (pint ~origin:0))
- ^^^^
- Alert deprecated: QCheck2.Gen.pint
- Use [int_pos] instead
-
- File "utils/tests/intItvTest.ml", line 74, characters 104-108:
- 74 | | B.Finite l, B.Finite h -> map (Z.add l) (map (fun z -> Z.rem z (Z.succ (Z.sub h l))) (map Z.of_int (pint ~origin:0)))
- ^^^^
- Alert deprecated: QCheck2.Gen.pint
- Use [int_pos] instead
-
- File "utils/tests/intItvTest.ml", line 81, characters 13-19:
- 81 | | false -> oneofl interesting_intervals
- ^^^^^^
- Alert deprecated: QCheck2.Gen.oneofl
- Use [oneof_list] instead
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -I utils/tests/.intItvTest.eobjs/byte -I utils/tests/.intItvTest.eobjs/native -I /home/opam/.opam/5.4/lib/arg-complete -I /home/opam/.opam/5.4/lib/ocaml/str -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/qcheck-core -I /home/opam/.opam/5.4/lib/qcheck-core/runner -I /home/opam/.opam/5.4/lib/zarith -I utils/.mopsa_utils.objs/byte -I utils/.mopsa_utils.objs/native -cmi-file utils/tests/.intItvTest.eobjs/byte/dune__exe__FloatItvTest.cmi -no-alias-deps -open Dune__exe -o utils/tests/.intItvTest.eobjs/native/dune__exe__FloatItvTest.cmx -c -impl utils/tests/floatItvTest.ml)
- File "utils/tests/floatItvTest.ml", line 60, characters 35-41:
- 60 | (if b && interesting <> [] then oneofl interesting else
- ^^^^^^
- Alert deprecated: QCheck2.Gen.oneofl
- Use [oneof_list] instead
-
- File "utils/tests/floatItvTest.ml", line 63, characters 50-56:
- 63 | | false, true -> map (F.add prec round i.lo) pfloat
- ^^^^^^
- Alert deprecated: QCheck2.Gen.pfloat
- Use [float_pos] instead
-
- File "utils/tests/floatItvTest.ml", line 66, characters 50-56:
- 66 | | true, false -> map (F.sub prec round i.up) pfloat
- ^^^^^^
- Alert deprecated: QCheck2.Gen.pfloat
- Use [float_pos] instead
-
- File "utils/tests/floatItvTest.ml", line 82, characters 33-39:
- 82 | if b && interesting <> [] then oneofl interesting
- ^^^^^^
- Alert deprecated: QCheck2.Gen.oneofl
- Use [oneof_list] instead
-
- File "utils/tests/floatItvTest.ml", line 96, characters 8-14:
- 96 | oneofl special_values
- ^^^^^^
- Alert deprecated: QCheck2.Gen.oneofl
- Use [oneof_list] instead
-
- File "utils/tests/floatItvTest.ml", line 97, characters 11-17:
- 97 | | _ -> oneofl special_values
- ^^^^^^
- Alert deprecated: QCheck2.Gen.oneofl
- Use [oneof_list] instead
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w -40 -open Mopsa_utils.Core -open Mopsa_utils.Containers -g -bin-annot -bin-annot-occurrences -I analyzer/.mopsa_analyzer.objs/byte -I /home/opam/.opam/5.4/lib/apron -I /home/opam/.opam/5.4/lib/arg-complete -I /home/opam/.opam/5.4/lib/bigarray-compat -I /home/opam/.opam/5.4/lib/gmp -I /home/opam/.opam/5.4/lib/ocaml/str -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/yojson -I /home/opam/.opam/5.4/lib/zarith -I parsers/c/lib/db/.mopsa_build_db.objs/byte -I parsers/c/lib/parser/.mopsa_c_parser.objs/byte -I parsers/c_stubs/.mopsa_c_stubs_parser.objs/byte -I parsers/c_stubs/parsing/.parsing.objs/byte -I parsers/c_stubs/passes/.passes.objs/byte -I parsers/python/.mopsa_py_parser.objs/byte -I parsers/universal/.mopsa_universal_parser.objs/byte -I utils/.mopsa_utils.objs/byte -no-alias-deps -open Mopsa_analyzer -open Mopsa_analyzer__Languages -open Mopsa_analyzer__Languages__Universal -open Mopsa_analyzer__Languages__Universal__Numeric -open Mopsa_analyzer__Languages__Universal__Numeric__Relational -o analyzer/.mopsa_analyzer.objs/byte/mopsa_analyzer__Languages__Universal__Numeric__Relational__Heterogeneous_domain.cmo -c -impl analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml)
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 77, characters 4-21:
- 77 | check (a, bnd, l);
- ^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 342, characters 8-27:
- 342 | check (a, bnd, low);
- ^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 343, characters 8-28:
- 343 | check (a, bnd, low');
- ^^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 433, characters 4-23:
- 433 | check (a, bnd, low);
- ^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 464, characters 6-26:
- 464 | check (a, bnd, low');
- ^^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 473, characters 10-31:
- 473 | check (a', bnd, low');
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 339, characters 12-18:
- 339 | let e_vars = Visitor.expr_vars e in
- ^^^^^^
- Warning 26 [unused-var]: unused variable e_vars.
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -open Mopsa_utils.Core -open Mopsa_utils.Containers -g -I analyzer/.mopsa_analyzer.objs/byte -I analyzer/.mopsa_analyzer.objs/native -I /home/opam/.opam/5.4/lib/apron -I /home/opam/.opam/5.4/lib/arg-complete -I /home/opam/.opam/5.4/lib/bigarray-compat -I /home/opam/.opam/5.4/lib/gmp -I /home/opam/.opam/5.4/lib/ocaml/str -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/yojson -I /home/opam/.opam/5.4/lib/zarith -I parsers/c/lib/db/.mopsa_build_db.objs/byte -I parsers/c/lib/db/.mopsa_build_db.objs/native -I parsers/c/lib/parser/.mopsa_c_parser.objs/byte -I parsers/c/lib/parser/.mopsa_c_parser.objs/native -I parsers/c_stubs/.mopsa_c_stubs_parser.objs/byte -I parsers/c_stubs/.mopsa_c_stubs_parser.objs/native -I parsers/c_stubs/parsing/.parsing.objs/byte -I parsers/c_stubs/parsing/.parsing.objs/native -I parsers/c_stubs/passes/.passes.objs/byte -I parsers/c_stubs/passes/.passes.objs/native -I parsers/python/.mopsa_py_parser.objs/byte -I parsers/python/.mopsa_py_parser.objs/native -I parsers/universal/.mopsa_universal_parser.objs/byte -I parsers/universal/.mopsa_universal_parser.objs/native -I utils/.mopsa_utils.objs/byte -I utils/.mopsa_utils.objs/native -cmi-file analyzer/.mopsa_analyzer.objs/byte/mopsa_analyzer__Languages__Universal__Numeric__Relational__Heterogeneous_domain.cmi -no-alias-deps -open Mopsa_analyzer -open Mopsa_analyzer__Languages -open Mopsa_analyzer__Languages__Universal -open Mopsa_analyzer__Languages__Universal__Numeric -open Mopsa_analyzer__Languages__Universal__Numeric__Relational -o analyzer/.mopsa_analyzer.objs/native/mopsa_analyzer__Languages__Universal__Numeric__Relational__Heterogeneous_domain.cmx -c -impl analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml)
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 77, characters 4-21:
- 77 | check (a, bnd, l);
- ^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 342, characters 8-27:
- 342 | check (a, bnd, low);
- ^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 343, characters 8-28:
- 343 | check (a, bnd, low');
- ^^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 433, characters 4-23:
- 433 | check (a, bnd, low);
- ^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 464, characters 6-26:
- 464 | check (a, bnd, low');
- ^^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 473, characters 10-31:
- 473 | check (a', bnd, low');
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
-
- File "analyzer/languages/universal/numeric/relational/heterogeneous_domain.ml", line 339, characters 12-18:
- 339 | let e_vars = Visitor.expr_vars e in
- ^^^^^^
- Warning 26 [unused-var]: unused variable e_vars.
Processing 2/4: [mopsa: make tests]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "tests" (CWD=/home/opam/.opam/5.4/.opam-switch/build/mopsa.1.2)
-
- Running test mopsa-universal 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-universal analyzer/tests/universal/loop_tests.u
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.002s
- 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.002s
- 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.007s
- 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.003s
- 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.003s
- 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.002s
- 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 aborted
- panic in analyzer/tests/universal/function_tests.u:2.9-14: Not_found
- Trace:
- from analyzer/tests/universal/function_tests.u:12.9-16: succ
- from analyzer/tests/universal/function_tests.u:10.0-13.1: test_call
- make: [Makefile:92: cfg-tests] Error 2 (ignored)
-
- Running test mopsa-c analyzer/tests/c/union_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.080s
- Checks summary: 16 total, ✔ 16 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
- Incorrect number of arguments: 1 total, ✔ 1 safe
-
-
- Running test mopsa-c analyzer/tests/c/switch_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.131s
- Checks summary: 57 total, ✔ 57 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
- Incorrect number of arguments: 11 total, ✔ 11 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/memory_resource_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 1.291s
- Checks summary: 173 total, ✔ 173 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: 63 total, ✔ 63 safe
- Incorrect number of arguments: 32 total, ✔ 32 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/macro_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.076s
- Checks summary: 13 total, ✔ 13 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
- Incorrect number of arguments: 6 total, ✔ 6 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/local_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.084s
- Checks summary: 8 total, ✔ 8 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Integer overflow: 3 total, ✔ 3 safe
- Incorrect number of arguments: 4 total, ✔ 4 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/implies_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.096s
- Checks summary: 11 total, ✔ 11 safe (selectivity: 100.00%)
- Assertion failure: 5 total, ✔ 5 safe
- Incorrect number of arguments: 6 total, ✔ 6 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/global_predicate_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.075s
- Checks summary: 4 total, ✔ 4 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Stub condition: 1 total, ✔ 1 safe
- Incorrect number of arguments: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/directive_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.086s
- Checks summary: 11 total, ✔ 11 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- Invalid memory access: 5 total, ✔ 5 safe
- Incorrect number of arguments: 3 total, ✔ 3 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/case_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.089s
- Checks summary: 15 total, ✔ 15 safe (selectivity: 100.00%)
- Assertion failure: 6 total, ✔ 6 safe
- Integer overflow: 4 total, ✔ 4 safe
- Incorrect number of arguments: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/builtins_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 1.064s
- Checks summary: 125 total, ✔ 125 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
- Incorrect number of arguments: 30 total, ✔ 30 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/assigns_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.132s
- Checks summary: 76 total, ✔ 76 safe (selectivity: 100.00%)
- Assertion failure: 19 total, ✔ 19 safe
- Invalid memory access: 32 total, ✔ 32 safe
- Integer overflow: 5 total, ✔ 5 safe
- Incorrect number of arguments: 20 total, ✔ 20 safe
-
-
- Running test mopsa-c analyzer/tests/c/stubs/alias_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.076s
- Checks summary: 7 total, ✔ 7 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
- Integer overflow: 1 total, ✔ 1 safe
- Incorrect number of arguments: 4 total, ✔ 4 safe
-
-
- Running test mopsa-c analyzer/tests/c/struct_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 1.221s
- Checks summary: 231 total, ✔ 231 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: 83 total, ✔ 83 safe
- Incorrect number of arguments: 32 total, ✔ 32 safe
-
-
- Running test mopsa-c analyzer/tests/c/string_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.088s
- Checks summary: 14 total, ✔ 14 safe (selectivity: 100.00%)
- Assertion failure: 4 total, ✔ 4 safe
- Invalid memory access: 4 total, ✔ 4 safe
- Integer overflow: 2 total, ✔ 2 safe
- Incorrect number of arguments: 4 total, ✔ 4 safe
-
-
- Running test mopsa-c analyzer/tests/c/string_length_tests.c
- Analysis terminated successfully
- Analysis time: 1.547s
-
- ⚠ Check #61:
- ./_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 #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:74.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:72.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:70.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:63.16-27: strlen
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_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:61.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:59.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:57.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:51.16-25: strlen
- from analyzer/tests/c/string_length_tests.c:50.5-22: test_array_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:47.16-27: strlen
- from analyzer/tests/c/string_length_tests.c:44.5-25: test_cst_copy_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:22.16-25: strlen
- from analyzer/tests/c/string_length_tests.c:21.5-20: test_cst_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 ./_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 #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:71.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:60.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_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:58.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: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 #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:71.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:60.2-16: strcat
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_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:58.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: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 #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:56.2-16: strcpy
- from analyzer/tests/c/string_length_tests.c:54.5-20: test_buf_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:46.2-16: strcpy
- from analyzer/tests/c/string_length_tests.c:44.5-25: test_cst_copy_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:27.2-16: strcpy
- from analyzer/tests/c/string_length_tests.c:25.5-18: test_cst_copy
-
-
- ⚠ Check #297:
- ./_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 #298:
- ./_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 #299:
- ./_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 #300:
- ./_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 #325:
- ./_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 #326:
- ./_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 #327:
- ./_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 #328:
- ./_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 #356:
- ./_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 #357:
- ./_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 #450:
- 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 #456:
- 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 #463:
- 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 #467:
- 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 #472:
- 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 #476:
- 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 #480:
- 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 #485:
- 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 #492:
- 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 #496:
- 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 #500:
- 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 #505:
- 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: 506 total, ✔ 461 safe, ⚠ 45 warnings (selectivity: 91.11%)
- 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: 216 total, ✔ 216 safe
- Incorrect number of arguments: 62 total, ✔ 62 safe
-
-
- Running test mopsa-c analyzer/tests/c/ptr_sentinel_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.255s
- Checks summary: 8 total, ✔ 8 safe (selectivity: 100.00%)
- Invalid memory access: 4 total, ✔ 4 safe
- Integer overflow: 2 total, ✔ 2 safe
- Incorrect number of arguments: 2 total, ✔ 2 safe
-
-
- Running test mopsa-c analyzer/tests/c/pointer_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.134s
- Checks summary: 130 total, ✔ 130 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
- Incorrect number of arguments: 39 total, ✔ 39 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/vasprintf_tests.c
- Analysis terminated successfully
- Analysis time: 0.888s
-
- ⚠ Check #59:
- ./_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 #60:
- ./_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 #69:
- ./_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 #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 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 #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 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 #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/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 #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/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 #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: 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 #95:
- ./_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 #103:
- ./_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 #155:
- 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 #160:
- 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: 160 total, ✔ 148 safe, ✗ 1 error, ⚠ 11 warnings (selectivity: 92.50%)
- 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
- Incorrect number of arguments: 20 total, ✔ 20 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/variadic_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.319s
- Checks summary: 89 total, ✔ 89 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
- Incorrect number of arguments: 23 total, ✔ 23 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/memcpy_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 1.231s
- Checks summary: 175 total, ✔ 175 safe (selectivity: 100.00%)
- Stub condition: 15 total, ✔ 15 safe
- Invalid memory access: 64 total, ✔ 64 safe
- Integer overflow: 68 total, ✔ 68 safe
- Incorrect number of arguments: 28 total, ✔ 28 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/malloc_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 1.244s
- Checks summary: 192 total, ✔ 192 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: 61 total, ✔ 61 safe
- Incorrect number of arguments: 36 total, ✔ 36 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/free_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 1.188s
- Checks summary: 148 total, ✔ 148 safe (selectivity: 100.00%)
- Stub condition: 11 total, ✔ 11 safe
- Invalid memory access: 55 total, ✔ 55 safe
- Integer overflow: 56 total, ✔ 56 safe
- Incorrect number of arguments: 26 total, ✔ 26 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/file_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.985s
- Checks summary: 137 total, ✔ 137 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
- Incorrect number of arguments: 22 total, ✔ 22 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/errno_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.128s
- Checks summary: 11 total, ✔ 11 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Invalid memory access: 4 total, ✔ 4 safe
- Integer overflow: 2 total, ✔ 2 safe
- Incorrect number of arguments: 4 total, ✔ 4 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/builtin_overflow_tests.c
- Analysis terminated successfully (with assumptions)
- ✔ No alarm
- Analysis time: 0.086s
- Checks summary: 26 total, ✔ 26 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: 19 total, ✔ 19 safe
- Incorrect number of arguments: 2 total, ✔ 2 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.074s
- Checks summary: 6 total, ✔ 6 safe (selectivity: 100.00%)
- Assertion failure: 5 total, ✔ 5 safe
- Incorrect number of arguments: 1 total, ✔ 1 safe
-
-
- Running test mopsa-c analyzer/tests/c/libc/alloca_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.087s
- Checks summary: 8 total, ✔ 8 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Invalid memory access: 2 total, ✔ 2 safe
- Integer overflow: 2 total, ✔ 2 safe
- Incorrect number of arguments: 3 total, ✔ 3 safe
-
-
- Running test mopsa-c analyzer/tests/c/int_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.113s
- Checks summary: 66 total, ✔ 66 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
- Incorrect number of arguments: 22 total, ✔ 22 safe
-
-
- Running test mopsa-c analyzer/tests/c/goto_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.080s
- Checks summary: 5 total, ✔ 5 safe (selectivity: 100.00%)
- Assertion failure: 2 total, ✔ 2 safe
- Incorrect number of arguments: 3 total, ✔ 3 safe
-
-
- Running test mopsa-c analyzer/tests/c/function_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.102s
- Checks summary: 43 total, ✔ 43 safe (selectivity: 100.00%)
- Assertion failure: 9 total, ✔ 9 safe
- Invalid memory access: 14 total, ✔ 14 safe
- Integer overflow: 3 total, ✔ 3 safe
- Incorrect number of arguments: 17 total, ✔ 17 safe
-
-
- Running test mopsa-c analyzer/tests/c/for_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.078s
- Checks summary: 3 total, ✔ 3 safe (selectivity: 100.00%)
- Assertion failure: 1 total, ✔ 1 safe
- Integer overflow: 1 total, ✔ 1 safe
- Incorrect number of arguments: 1 total, ✔ 1 safe
-
-
- Running test mopsa-c analyzer/tests/c/float_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.106s
- Checks summary: 21 total, ✔ 21 safe (selectivity: 100.00%)
- Assertion failure: 7 total, ✔ 7 safe
- Incorrect number of arguments: 14 total, ✔ 14 safe
-
-
- Running test mopsa-c analyzer/tests/c/enum_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.079s
- Checks summary: 7 total, ✔ 7 safe (selectivity: 100.00%)
- Assertion failure: 3 total, ✔ 3 safe
- Integer overflow: 1 total, ✔ 1 safe
- Incorrect number of arguments: 3 total, ✔ 3 safe
-
-
- Running test mopsa-c analyzer/tests/c/cond_expr_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.088s
- Checks summary: 17 total, ✔ 17 safe (selectivity: 100.00%)
- Assertion failure: 8 total, ✔ 8 safe
- Integer overflow: 4 total, ✔ 4 safe
- Incorrect number of arguments: 5 total, ✔ 5 safe
-
-
- Running test mopsa-c analyzer/tests/c/bitshift_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.078s
- Checks summary: 37 total, ✔ 37 safe (selectivity: 100.00%)
- Assertion failure: 7 total, ✔ 7 safe
- Integer overflow: 11 total, ✔ 11 safe
- Invalid shift: 7 total, ✔ 7 safe
- Incorrect number of arguments: 12 total, ✔ 12 safe
-
-
- Running test mopsa-c analyzer/tests/c/array_tests.c
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.114s
- Checks summary: 63 total, ✔ 63 safe (selectivity: 100.00%)
- Assertion failure: 10 total, ✔ 10 safe
- Invalid memory access: 34 total, ✔ 34 safe
- Integer overflow: 2 total, ✔ 2 safe
- Incorrect number of arguments: 17 total, ✔ 17 safe
-
-
- Running test mopsa-python analyzer/tests/python/with_tests.py
- Analysis terminated successfully
- ✔ No alarm
- Analysis time: 0.096s
- 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.105s
- 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.087s
- 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
- Analysis time: 0.086s
-
- ⚠ Check #152:
- analyzer/tests/python/types/exception_tests.py: In function 'test_catch_random':
- analyzer/tests/python/types/exception_tests.py:63.8-15: warning: TypeError exception
-
- 63: raise x
- ^^^^^^^
- Uncaught Python exception: TypeError: ∅
- Callstack:
- from {analyzer/tests/python/types/exception_tests.py}: test_catch_random
-
- Checks summary: 196 total, ✔ 195 safe, ⚠ 1 warning (selectivity: 99.49%)
- Assertion failure: 12 total, ✔ 12 safe
- Python exception: 2 total, ✔ 2 safe
- AttributeError exception: 26 total, ✔ 26 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 51 total, ✔ 51 safe
- TypeError exception: 51 total, ✔ 50 safe, ⚠ 1 warning
- UnboundLocalError exception: 51 total, ✔ 51 safe
- ValueError exception: 1 total, ✔ 1 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.066s
- 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.104s
- 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.104s
- 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.072s
- 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.145s
-
- ⚠ 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.076s
- 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.072s
- 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: Mopsa_analyzer__Languages__Python__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.114s
- 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.111s
- 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.073s
- 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
- Analysis time: 0.098s
-
- ⚠ Check #115:
- analyzer/tests/python/exception_tests.py: In function 'test_catch_random':
- analyzer/tests/python/exception_tests.py:61.8-15: warning: TypeError exception
-
- 61: raise x
- ^^^^^^^
- Uncaught Python exception: TypeError: ∅
- Callstack:
- from {analyzer/tests/python/exception_tests.py}: test_catch_random
-
- Checks summary: 159 total, ✔ 158 safe, ⚠ 1 warning (selectivity: 99.38%)
- Assertion failure: 11 total, ✔ 11 safe
- Python exception: 2 total, ✔ 2 safe
- AttributeError exception: 28 total, ✔ 28 safe
- ModuleNotFoundError exception: 1 total, ✔ 1 safe
- NameError exception: 33 total, ✔ 33 safe
- TypeError exception: 49 total, ✔ 48 safe, ⚠ 1 warning
- UnboundLocalError exception: 33 total, ✔ 33 safe
- ValueError exception: 1 total, ✔ 1 safe
- ZeroDivisionError exception: 1 total, ✔ 1 safe
-
-
- Running test mopsa-python analyzer/tests/python/enums_tests.py
- Analysis terminated successfully
- Analysis time: 0.309s
-
- ⚠ 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.073s
- 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.109s
- 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.073s
- 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.070s
- 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.2
-> removed mopsa.1.2
Processing 4/4: [mopsa: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.4/.opam-switch/build/mopsa.1.2)
- opam exec -- dune install --profile release
-> installed mopsa.1.2
Done.
<><> mopsa.1.2 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)
2026-02-04 07:59.52 ---> saved as "b8ede810bd689e767af0f1a05309bd3757fd9b1c544af80ec593b4dea7d5ac06"
Job succeeded
2026-02-04 08:00.22: Job succeeded