Build:
- 0
2024-01-29 15:19.05: New job: Voodoo prep frama-c-base.15.0; 447fdb3d85164737b484ecd84368e707 2024-01-29 15:19.05: Waiting for resource in pool OCluster 2024-01-29 19:18.16: Waiting for worker… 2024-01-29 19:18.35: Got resource from pool OCluster 2024-01-29 19:18.35: Using cache hint "docs-universe-prep-4.05.0" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install ocamlfind.1.9.6")) (env DUNE_CACHE disabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy frama-c-base.15.0 zarith.1.13 ocamlgraph.1.8.8 ocamlfind.1.9.6 conf-which.1 conf-gmp.4 conf-autoconf.0.1 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u frama-c-base:447fdb3d85164737b484ecd84368e707,ocamlgraph:698da0a792b90b8fa334dea56986307b")) (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.554332') && (for DATA in prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8,ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b,ocamlgraph.1.8.8 prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0,frama-c-base.15.0-447fdb3d85164737b484ecd84368e707,frama-c-base.15.0; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8,ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b,ocamlgraph.1.8.8 prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0,frama-c-base.15.0-447fdb3d85164737b484ecd84368e707,frama-c-base.15.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8,ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b,ocamlgraph.1.8.8 prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0,frama-c-base.15.0-447fdb3d85164737b484ecd84368e707,frama-c-base.15.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) ) END-OF-SPEC ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git 0855f65024f070b192f85e54dbfde14e2f834105 --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-4.05.0 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-01-29 19:18.35: RETRYING: 2024-01-29/151905-voodoo-prep-bf5072 Number of retries: 0 (retriable error condition) Building on doris.caelum.ci.dev All commits already cached HEAD is now at 0855f65024 fix old release tarballs for ocamlgraph (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) Unable to find image 'ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85' locally docker.io/ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85: Pulling from ocaml/opam dbd5af0f204b: Pulling fs layer dbd5af0f204b: Verifying Checksum dbd5af0f204b: Download complete dbd5af0f204b: Pull complete Digest: sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 Status: Downloaded newer image for ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 2024-01-29 19:14.08 ---> using "b1e21d37cd49b6148620a316f1dc69cb8535bfcbe1ed382a11dd76411eef0ac6" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 19:14.08 ---> using "d6776737340caeb1cd54e01a0e8d80dcb50ea93a08aea20da4dc65c61981f591" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (798 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (4039 kB/s) Selecting previously unselected package libpkgconf3:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18743 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u3) ... 2024-01-29 19:14.08 ---> using "49b3b286b358d7259d401e37eb99aa4c941901605954f155ad62f727d8f7c7f8" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.14.3 [required by bos] - install cmdliner 1.0.4 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install topkg 1.0.7 [required by bos] - install ocamlfind-secondary 1.9.6 [required by dune] - install astring 0.8.5 [required by bos] - install dune 3.13.0 [required by voodoo-prep] - install fpath 0.7.3 [required by voodoo-prep] - install stdlib-shims 0.3.0 [required by fmt] - install seq 0.3.1 [required by fmt] - install result 1.5 [required by rresult] - install opam-file-format 2.1.6 [required by opam-format] - install cppo 1.6.9 [required by opam-core] - install ocamlgraph 2.0.0 [required by opam-core] - install re 1.11.0 [required by opam-format] - install fmt 0.8.9 [required by bos] - install rresult 0.6.0 [required by bos] - install opam-core 2.1.5 [required by opam-format] - install logs 0.7.0 [required by bos] - install opam-format 2.1.5 [required by voodoo-prep] - install bos 0.2.0 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 22 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.0] found in cache [cmdliner.1.0.4] found in cache [cppo.1.6.9] found in cache [dune.3.13.0] found in cache [fmt.0.8.9] found in cache [fpath.0.7.3] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.14.3] found in cache [ocamlfind.1.9.6] found in cache [ocamlfind-secondary.1.9.6] found in cache [ocamlgraph.2.0.0] found in cache [opam-core.2.1.5] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.1.5] found in cache [re.1.11.0] found in cache [result.1.5] found in cache [rresult.0.6.0] found in cache [seq.0.3.1] found in cache [stdlib-shims.0.3.0] found in cache [topkg.1.0.7] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed cmdliner.1.0.4 -> installed ocamlfind.1.9.6 -> installed ocamlfind-secondary.1.9.6 -> installed ocamlbuild.0.14.3 -> installed topkg.1.0.7 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed dune.3.13.0 -> installed result.1.5 -> installed seq.0.3.1 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed cppo.1.6.9 -> installed rresult.0.6.0 -> installed re.1.11.0 -> installed fmt.0.8.9 -> installed ocamlgraph.2.0.0 -> installed logs.0.7.0 -> installed bos.0.2.0 -> installed opam-core.2.1.5 -> installed opam-format.2.1.5 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 19:14.08 ---> using "eeb612487fd8dcd7dea2991932fe507ef16bd9a1345d4af6c7c19ccb634d66b8" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-01-29 19:14.08 ---> using "f7c406d2a001e6c69d22a3aa0ce7f493680f6bf53adf0e96d0c267f2e91e4dde" from cache 2024-01-29 19:14.08 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) Unable to find image 'ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85' locally docker.io/ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85: Pulling from ocaml/opam dbd5af0f204b: Pulling fs layer dbd5af0f204b: Verifying Checksum dbd5af0f204b: Download complete dbd5af0f204b: Pull complete Digest: sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 Status: Downloaded newer image for ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 2024-01-29 19:14.08 ---> using "b1e21d37cd49b6148620a316f1dc69cb8535bfcbe1ed382a11dd76411eef0ac6" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 19:14.08 ---> using "d6776737340caeb1cd54e01a0e8d80dcb50ea93a08aea20da4dc65c61981f591" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-01-29 19:14.08 ---> using "6cc95500c50146d1591a1a51536c7023374f57661eaa67feeeaa365bc204f4ce" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-01-29 19:14.09 ---> using "da4120a2d28a3c44fa99ae029f5614a3999baed3f805fc2870c42826f8f90496" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-01-29 19:14.09 ---> using "47cfc63d4a7b9ebf7421a4dbdf58948a20d4c66c9dd49e379a28972933b3ee33" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then 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.1, 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] synchronised from file:///home/opam/opam-repository 2024-01-29 19:14.09 ---> using "1ae74f2f7c8cbf09a337300870c960f46b737d7a5b390849f80d856c556c2052" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.05. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.05 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-01-29 19:14.09 ---> using "be648e6d08ba352e69f19139076c6d3b4bbe8b7f2ed298e6966244cea262a309" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-01-29 19:14.09 ---> using "375cf3c914b4fee17620af180465fdd8ee6455802780bc660ed4ce9e56b970fd" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install ocamlfind.1.9.6")) The following actions will be performed: - install ocamlfind 1.9.6 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> installed ocamlfind.1.9.6 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 19:14.24 ---> saved as "0d18a5d3e1a4c4cb70b0ff5223e7103b6d6b366820dd01fcd9eaf24145a7c1ee" /home/opam: (env DUNE_CACHE disabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy frama-c-base.15.0 zarith.1.13 ocamlgraph.1.8.8 ocamlfind.1.9.6 conf-which.1 conf-gmp.4 conf-autoconf.0.1 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (929 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.1-1 (cached) -> removed opam-depext.1.2.1-1 -> installed opam-depext.1.2.1-1 Done. <><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy frama-c-base.15.0 zarith.1.13 ocamlgraph.1.8.8 ocamlfind.1.9.6 conf-which.1 conf-gmp.4 conf-autoconf.0.1" You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: autoconf debianutils libgmp-dev [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install ocamlgraph 1.8.8 - install conf-which 1 - install conf-gmp 4 - install conf-autoconf 0.1 - install zarith 1.13 - install frama-c-base 15.0 Why3 can be used by the WP plug-in for running additional automatic solvers Coq can be used with the WP plug-in for proving interactively proof obligations ===== 6 to install ===== The following system packages will first need to be installed: autoconf libgmp-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "libgmp-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package m4. - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18743 files and directories currently installed.) - Preparing to unpack .../0-m4_1.4.19-3_amd64.deb ... - Unpacking m4 (1.4.19-3) ... - Selecting previously unselected package autoconf. - Preparing to unpack .../1-autoconf_2.71-3_all.deb ... - Unpacking autoconf (2.71-3) ... - Selecting previously unselected package autotools-dev. - Preparing to unpack .../2-autotools-dev_20220109.1_all.deb ... - Unpacking autotools-dev (20220109.1) ... - Selecting previously unselected package automake. - Preparing to unpack .../3-automake_1%3a1.16.5-1.3_all.deb ... - Unpacking automake (1:1.16.5-1.3) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../4-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../5-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up m4 (1.4.19-3) ... - Setting up autotools-dev (20220109.1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up autoconf (2.71-3) ... - Setting up automake (1:1.16.5-1.3) ... - update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Processing triggers for libc-bin (2.36-9+deb12u3) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 4/18: Processing 5/18: Processing 6/18: Processing 7/18: [conf-gmp: sh] Processing 8/18: [conf-gmp: sh] [conf-which: which which] -> retrieved frama-c-base.15.0 (cached) -> retrieved ocamlgraph.1.8.8 (cached) Processing 9/18: [conf-gmp: sh] [conf-which: which which] [ocamlgraph: touch] -> retrieved zarith.1.13 (cached) - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.4 Processing 9/18: [conf-which: which which] [ocamlgraph: touch] -> installed conf-gmp.4 Processing 10/18: [conf-which: which which] [ocamlgraph: touch] Processing 11/18: [conf-which: which which] [ocamlgraph: touch] [zarith: ./configure] - /usr/bin/which -> compiled conf-which.1 Processing 11/18: [ocamlgraph: touch] [zarith: ./configure] -> installed conf-which.1 Processing 12/18: [ocamlgraph: touch] [zarith: ./configure] Processing 13/18: [conf-autoconf: which autoconf] [ocamlgraph: touch] [zarith: ./configure] Processing 13/18: [conf-autoconf: which autoconf] [ocamlgraph: ./configure] [zarith: ./configure] - /usr/bin/autoconf -> compiled conf-autoconf.0.1 Processing 13/18: [ocamlgraph: ./configure] [zarith: ./configure] -> installed conf-autoconf.0.1 Processing 14/18: [ocamlgraph: ./configure] [zarith: ./configure] - binary ocaml: found in /home/opam/.opam/4.05/bin - binary ocamlc: found in /home/opam/.opam/4.05/bin - binary ocamldep: found in /home/opam/.opam/4.05/bin - binary ocamlmklib: found in /home/opam/.opam/4.05/bin - binary ocamldoc: found in /home/opam/.opam/4.05/bin - binary ocamlopt: found in /home/opam/.opam/4.05/bin - checking compilation with ocamlc -O3 -Wall -Wextra : working - include caml/mlvalues.h: found - library dynlink.cmxa: found - binary ocamlfind: found in /home/opam/.opam/4.05/bin - OCaml's word size is 64 - include gmp.h: found - library gmp: found - OCaml supports -bin-annot to produce documentation - Using OCaml legacy C API custom operations - - detected configuration: - - native-code: yes - dynamic linking: yes - defines: -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DHAS_GMP - includes: -I/home/opam/.opam/4.05/lib/ocaml - libraries: -lgmp - linker options: - C options: -O3 -Wall -Wextra - installation path: /home/opam/.opam/4.05/lib - installation method findlib - - configuration successful! - now type "make" to build - then type "make install" or "sudo make install" to install Processing 14/18: [ocamlgraph: ./configure] [zarith: make] - checking for ocamlc... ocamlc - ocaml version is 4.05.0 - ocaml library path is /home/opam/.opam/4.05/lib/ocaml - checking for ocamlopt... ocamlopt - checking ocamlopt version... ok - checking for ocamlc.opt... ocamlc.opt - checking ocamlc.opt version... ok - checking for ocamlopt.opt... ocamlopt.opt - checking ocamlc.opt version... ok - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for ocamlyacc... ocamlyacc - checking for ocamldoc... ocamldoc - checking for ocamldoc.opt... ocamldoc.opt - checking for ocamlweb... true - checking for ocamlfind... ocamlfind - OCamlfind detected and enabled - ocamlfind: Package `lablgtk2' not found - checking for /home/opam/.opam/4.05/lib/ocaml/lablgtk2/lablgtk.cmxa... no - checking Win32 platform... no - configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled - configure: creating ./config.status - config.status: creating Makefile Processing 14/18: [ocamlgraph: make] [zarith: make] - (echo "let"; grep "version" META | head -1) > zarith_version.ml - ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend - ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml - ocamlc -g -I +compiler-libs -bin-annot -c z.mli - ocamlc -g -I +compiler-libs -bin-annot -c z.ml - ocamlc -g -I +compiler-libs -bin-annot -c q.mli - ocamlc -g -I +compiler-libs -bin-annot -c q.ml - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp - ocamlc -ccopt "-I/home/opam/.opam/4.05/lib/ocaml -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c - ocamlmklib -g -failsafe -o zarith caml_z.o -lgmp - ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml - ocamlc -g -o zarith_top.cma -a zarith_top.cmo - ocamlopt -g -I +compiler-libs -c zarith_version.ml - ocamlopt -g -I +compiler-libs -c z.ml - ocamlopt -g -I +compiler-libs -c q.ml - ocamlopt -g -I +compiler-libs -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp - ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall -> compiled zarith.1.13 Processing 14/18: [ocamlgraph: make] Processing 15/18: [ocamlgraph: make] [zarith: make install] - ocamlfind install -destdir "/home/opam/.opam/4.05/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.cmti - Installed /home/opam/.opam/4.05/lib/zarith/q.cmti - Installed /home/opam/.opam/4.05/lib/zarith/z.cmti - Installed /home/opam/.opam/4.05/lib/zarith/zarith.a - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.mli - Installed /home/opam/.opam/4.05/lib/zarith/q.mli - Installed /home/opam/.opam/4.05/lib/zarith/zarith.h - Installed /home/opam/.opam/4.05/lib/zarith/zarith.cmxs - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.cmx - Installed /home/opam/.opam/4.05/lib/zarith/q.cmx - Installed /home/opam/.opam/4.05/lib/zarith/z.cmx - Installed /home/opam/.opam/4.05/lib/zarith/zarith_version.cmx - Installed /home/opam/.opam/4.05/lib/zarith/zarith.cmxa - Installed /home/opam/.opam/4.05/lib/zarith/z.mli - Installed /home/opam/.opam/4.05/lib/zarith/zarith_top.cma - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.cmi - Installed /home/opam/.opam/4.05/lib/zarith/q.cmi - Installed /home/opam/.opam/4.05/lib/zarith/z.cmi - Installed /home/opam/.opam/4.05/lib/zarith/libzarith.a - Installed /home/opam/.opam/4.05/lib/zarith/zarith.cma - Installed /home/opam/.opam/4.05/lib/stublibs/dllzarith.so - Installed /home/opam/.opam/4.05/lib/stublibs/dllzarith.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.05/lib/stublibs is not mentioned in ld.conf - Installed /home/opam/.opam/4.05/lib/zarith/META -> installed zarith.1.13 Processing 15/18: [ocamlgraph: make] + /usr/bin/make (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlgraph.1.8.8) - sed -e s/VERSION/1.8.8/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ -e s/CMXS/graph.cmxs/ \ - META.in > META - rm -f src/version.ml - echo "let version = \""1.8.8"\"" > src/version.ml - echo 'let date = "'"Mon Jan 29 19:15:22 GMT 2024"'"' >> src/version.ml - rm -f .depend - ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\ - lib/*.ml lib/*.mli \ - src/*.ml src/*.mli \ - editor/*.mli editor/*.ml \ - view_graph/*.mli view_graph/*.ml \ - dgraph/*.mli dgraph/*.ml > .depend - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/sig.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/sig_pack.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_ast.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/unionfind.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/unionfind.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/heap.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/heap.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/bitv.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/bitv.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/persistentQueue.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/persistentQueue.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/version.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/util.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/util.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/blocks.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/persistent.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/persistent.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/imperative.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/imperative.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/delaunay.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/delaunay.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/builder.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/builder.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/classic.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/classic.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/rand.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/rand.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/oper.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/oper.ml - File "src/oper.ml", line 52, characters 2-30: - Warning 60: unused module H. - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/components.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/components.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/path.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/path.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/nonnegative.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/nonnegative.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/traverse.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/traverse.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/coloring.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/coloring.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/topological.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/topological.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/kruskal.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/kruskal.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/flow.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/flow.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/prim.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/prim.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dominator.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dominator.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphviz.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphviz.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gml.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gml.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_parser.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_parser.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_lexer.ml - File "src/dot_lexer.mll", line 38, characters 21-37: - Warning 3: deprecated: String.lowercase - Use String.lowercase_ascii instead. - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/pack.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/pack.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gmap.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gmap.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/minsep.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/minsep.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/cliquetree.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/cliquetree.ml - File "src/cliquetree.ml", line 21, characters 2-31: - Warning 60: unused module OVSet. - File "src/cliquetree.ml", line 149, characters 2-32: - Warning 60: unused module EdgeSet. - File "src/cliquetree.ml", line 150, characters 2-34: - Warning 60: unused module H. - File "src/cliquetree.ml", line 153, characters 2-32: - Warning 60: unused module Choose. - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mcs_m.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mcs_m.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/md.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/md.ml - File "src/md.ml", line 20, characters 2-34: - Warning 60: unused module VertexSet. - File "src/md.ml", line 22, characters 2-32: - Warning 60: unused module Choose. - File "src/md.ml", line 88, characters 2-34: - Warning 60: unused module VertexSet. - File "src/md.ml", line 90, characters 2-32: - Warning 60: unused module Choose. - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/strat.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/strat.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/fixpoint.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/fixpoint.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/leaderlist.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/leaderlist.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/contraction.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/contraction.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphml.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphml.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/merge.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/merge.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mincut.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mincut.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/clique.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/clique.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/weakTopological.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/weakTopological.ml - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/chaoticIteration.mli - ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/chaoticIteration.ml - ocamlc.opt -I src -I lib -pack -g -o graph.cmo src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmo lib/heap.cmo lib/bitv.cmo lib/persistentQueue.cmo src/version.cmo src/util.cmo src/blocks.cmo src/persistent.cmo src/imperative.cmo src/delaunay.cmo src/builder.cmo src/classic.cmo src/rand.cmo src/oper.cmo src/components.cmo src/path.cmo src/nonnegative.cmo src/traverse.cmo src/coloring.cmo src/topological.cmo src/kruskal.cmo src/flow.cmo src/prim.cmo src/dominator.cmo src/graphviz.cmo src/gml.cmo src/dot_parser.cmo src/dot_lexer.cmo src/dot.cmo src/pack.cmo src/gmap.cmo src/minsep.cmo src/cliquetree.cmo src/mcs_m.cmo src/md.cmo src/strat.cmo src/fixpoint.cmo src/leaderlist.cmo src/contraction.cmo src/graphml.cmo src/merge.cmo src/mincut.cmo src/clique.cmo src/weakTopological.cmo src/chaoticIteration.cmo - ocamlc.opt -I src -I lib -a -g -o graph.cma graph.cmo - ocamlopt.opt -c -I src -I lib -for-pack Graph lib/unionfind.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph lib/heap.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph lib/bitv.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph lib/persistentQueue.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/version.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/util.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/blocks.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/persistent.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/imperative.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/delaunay.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/builder.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/classic.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/rand.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/oper.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/components.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/path.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/nonnegative.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/traverse.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/coloring.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/topological.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/kruskal.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/flow.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/prim.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dominator.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphviz.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/gml.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_parser.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_lexer.ml - File "src/dot_lexer.mll", line 38, characters 21-37: - Warning 3: deprecated: String.lowercase - Use String.lowercase_ascii instead. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/pack.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/gmap.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/minsep.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/cliquetree.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/mcs_m.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/md.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/strat.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/fixpoint.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/leaderlist.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/contraction.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphml.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/merge.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/mincut.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/clique.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/weakTopological.ml - ocamlopt.opt -c -I src -I lib -for-pack Graph src/chaoticIteration.ml - ocamlopt.opt -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx lib/persistentQueue.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/components.cmx src/path.cmx src/nonnegative.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/kruskal.cmx src/flow.cmx src/prim.cmx src/dominator.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx src/fixpoint.cmx src/leaderlist.cmx src/contraction.cmx src/graphml.cmx src/merge.cmx src/mincut.cmx src/clique.cmx src/weakTopological.cmx src/chaoticIteration.cmx - ocamlopt.opt -I src -I lib -a -o graph.cmxa graph.cmx - ocamlopt.opt -I src -I lib -shared -o graph.cmxs graph.cmx -> compiled ocamlgraph.1.8.8 Processing 16/18: [ocamlgraph: make install-findlib] + /usr/bin/make "install-findlib" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlgraph.1.8.8) - ocamlfind install ocamlgraph META \ - src/*.mli view_graph/*.mli dgraph/*.mli \ - graph.a graph.cmo graph.cmi graph.cma \ - graph.o graph.a graph.cmx graph.cmxa graph.cmxs - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.cmxs - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.cmxa - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.cmx - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.a - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.o - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.cma - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.cmi - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.cmo - ocamlfind: [WARNING] Overwriting file /home/opam/.opam/4.05/lib/ocamlgraph/graph.a - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graph.a - Installed /home/opam/.opam/4.05/lib/ocamlgraph/xDotDraw.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/xDot.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphViewItem.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphView.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphTreeModel.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphTreeLayout.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphSubTree.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphRandModel.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphModel.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dGraphContainer.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/viewGraph_utils.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/viewGraph_select.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/viewGraph_core.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/weakTopological.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/util.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/traverse.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/topological.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/strat.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/sig_pack.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/sig.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/rand.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/prim.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/persistent.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/path.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/pack.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/oper.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/nonnegative.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/minsep.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/mincut.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/merge.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/md.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/mcs_m.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/leaderlist.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/kruskal.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/imperative.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graphviz.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/graphml.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/gml.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/gmap.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/flow.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/fixpoint.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dot_parser.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dot_ast.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dot.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/dominator.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/delaunay.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/contraction.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/components.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/coloring.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/cliquetree.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/clique.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/classic.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/chaoticIteration.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/builder.mli - Installed /home/opam/.opam/4.05/lib/ocamlgraph/META -> installed ocamlgraph.1.8.8 Processing 17/18: [frama-c-base: sh] + /usr/bin/sh "-eux" "./run_autoconf_if_needed.sh" (CWD=/home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0) - + [ ! -f configure ] Processing 17/18: [frama-c-base: ./configure] + /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/./configure "--prefix" "/home/opam/.opam/4.05" "--disable-gui" (CWD=/home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0) - configure: ****************** - configure: * CONFIGURE MAKE * - configure: ****************** - checking for make... make - checking version of make... 4.3 - configure: ***************************** - configure: * CONFIGURE OCAML COMPILERS * - configure: ***************************** - checking for ocamlc... ocamlc - checking version of OCaml... 4.05.0 - checking OCaml library path... /home/opam/.opam/4.05/lib/ocaml - checking for ocamlopt... ocamlopt - checking ocamlopt version and standard library... ok - checking for ocamlfind... ocamlfind - configure: Distribution mode: all warnings are deactivated - configure: ******************************************* - configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * - configure: ******************************************* - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for ocamlyacc... ocamlyacc - checking for ocamlcp... ocamlcp - checking for ocamlgraph... found 1.8.8: should work - checking for zarith... found - configure: ****************************************** - configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES * - configure: ****************************************** - checking for ocamldoc... ocamldoc - checking for ocamlmktop... ocamlmktop - checking for otags... no - checking for Apron... not found. The corresponding domains won't be available in Eva - checking for Landmarks... not found. - configure: ********************** - configure: * CONFIGURE PLATFORM * - configure: ********************** - checking platform... Unix - checking OCaml native threads... ok. - 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 we are using the GNU C compiler... yes - checking whether gcc accepts -g... yes - checking for gcc option to accept ISO C89... none needed - checking how to run the C preprocessor... gcc -E - checking for grep that handles long lines and -e... /usr/bin/grep - checking for egrep... /usr/bin/grep -E - checking for ANSI C header files... yes - checking for sys/types.h... yes - checking for sys/stat.h... yes - checking for stdlib.h... yes - checking for string.h... yes - checking for memory.h... yes - checking for strings.h... yes - checking for inttypes.h... yes - checking for stdint.h... yes - checking for unistd.h... yes - checking for stdlib.h... (cached) yes - checking assert.h usability... yes - checking assert.h presence... yes - checking for assert.h... yes - checking float.h usability... - yes - checking float.h presence... yes - checking for float.h... yes - checking math.h usability... yes - checking math.h presence... yes - checking for math.h... yes - checking signal.h usability... yes - checking signal.h presence... yes - checking for signal.h... yes - checking for unistd.h... (cached) yes - checking how to run the C preprocessor... gcc -E - /* Check whether comments are kept in output */ - Default preprocessor is 'gcc -E -C -I.'. - Default preprocessor supported architecture-related options: \"-m32\"; \"-m64\"; \"-m16\"; - configure: *************************** - configure: * WISHED FRAMA-C PLUG-INS * - configure: *************************** - checking for src/plugins/callgraph... yes - callgraph... yes - checking for src/plugins/constant_propagation... yes - semantic_constant_folding... yes - checking for src/plugins/from... yes - from_analysis... yes - checking for src/plugins/gui... yes - gui... no - checking for src/plugins/impact... yes - impact... yes - checking for src/plugins/inout... yes - inout... yes - checking for src/plugins/metrics... yes - metrics... yes - checking for src/plugins/occurrence... yes - occurrence... yes - checking for src/plugins/pdg... yes - pdg... yes - checking for src/plugins/postdominators... yes - postdominators... yes - checking for src/plugins/rte... yes - rtegen... yes - checking for src/plugins/scope... yes - scope... yes - checking for src/plugins/slicing... yes - slicing... yes - checking for src/plugins/sparecode... yes - sparecode... yes - checking for src/plugins/users... yes - users... yes - checking for src/plugins/value... yes - value_analysis... yes - checking for src/plugins/aorai/Makefile.in... yes - aorai... yes - checking for ltl2ba... no - checking for src/plugins/e-acsl/Makefile.in... yes - e_acsl... yes - checking for uname... uname - checking stdio.h usability... yes - checking stdio.h presence... yes - checking for stdio.h... yes - checking for doxygen... no - checking for dot... no - configure: creating ./config.status - config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg - config.status: executing default commands - configure: Configure libjemalloc - autoconf - ./configure --enable-autogen --with-jemalloc-prefix=__e_acsl_native_ --with-private-namespace=__e_acsl_hidden_ - checking for xsltproc... false - 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 whether compiler supports -std=gnu99... yes - checking whether compiler supports -Wall... yes - checking whether compiler supports -Werror=declaration-after-statement... yes - checking whether compiler supports -Wshorten-64-to-32... - no - checking whether compiler supports -Wsign-compare... yes - checking whether compiler supports -pipe... yes - checking whether compiler supports -g3... yes - checking how to run the C preprocessor... gcc -E - checking for stdio.h... yes - checking for stdlib.h... yes - checking for string.h... yes - checking for inttypes.h... yes - checking for stdint.h... yes - checking for strings.h... yes - checking for sys/stat.h... yes - checking for sys/types.h... yes - checking for unistd.h... yes - checking whether byte ordering is bigendian... no - checking size of void *... 8 - checking size of int... 4 - checking size of long... 8 - checking size of long long... 8 - checking size of intmax_t... 8 - checking build system type... x86_64-unknown-linux-gnu - checking host system type... x86_64-unknown-linux-gnu - checking whether pause instruction is compilable... yes - checking for ar... ar - checking for malloc.h... yes - checking whether malloc_usable_size definition can use const argument... no - checking whether __attribute__ syntax is compilable... yes - checking whether compiler supports -fvisibility=hidden... yes - checking whether compiler supports -Werror... yes - checking whether tls_model attribute is compilable... yes - checking whether compiler supports -Werror... yes - checking whether alloc_size attribute is compilable... yes - checking whether compiler supports -Werror... yes - checking whether format(gnu_printf, ...) attribute is compilable... - yes - checking whether compiler supports -Werror... yes - checking whether format(printf, ...) attribute is compilable... yes - checking for a BSD-compatible install... /usr/bin/install -c - checking for ranlib... ranlib - checking for ld... /usr/bin/ld - checking for autoconf... /usr/bin/autoconf - checking for memalign... yes - checking for valloc... yes - checking whether compiler supports -O3... yes - checking whether compiler supports -funroll-loops... yes - checking configured backtracing method... N/A - checking for sbrk... yes - checking whether utrace(2) is compilable... no - checking whether valgrind is compilable... no - checking whether a program using __builtin_ffsl is compilable... yes - checking LG_PAGE... 12 - Missing VERSION file, and unable to generate it; creating bogus VERSION - checking for pthread.h... yes - checking for pthread_create in -lpthread... yes - checking for library containing clock_gettime... none required - checking for secure_getenv... yes - checking for issetugid... no - checking for _malloc_thread_cleanup... no - checking for _pthread_mutex_init_calloc_cb... no - checking for TLS... yes - checking whether C11 atomics is compilable... no - checking whether atomic(9) is compilable... no - checking whether Darwin OSAtomic*() is compilable... no - checking whether madvise(2) is compilable... yes - checking whether to force 32-bit __sync_{add,sub}_and_fetch()... no - checking whether to force 64-bit __sync_{add,sub}_and_fetch()... no - checking for __builtin_clz... yes - checking whether Darwin OSSpin*() is compilable... no - checking whether glibc malloc hook is compilable... - no - checking whether glibc memalign hook is compilable... no - checking whether pthreads adaptive mutexes is compilable... yes - checking for _Bool... yes - checking for stdbool.h that conforms to C99... no - configure: creating ./config.status - config.status: creating Makefile - config.status: creating jemalloc.pc - config.status: creating doc/html.xsl - config.status: creating doc/manpages.xsl - config.status: creating doc/jemalloc.xml - config.status: creating include/jemalloc/jemalloc_macros.h - config.status: creating include/jemalloc/jemalloc_protos.h - config.status: creating include/jemalloc/jemalloc_typedefs.h - config.status: creating include/jemalloc/internal/jemalloc_internal.h - config.status: creating test/test.sh - config.status: creating test/include/test/jemalloc_test.h - config.status: creating config.stamp - config.status: creating bin/jemalloc-config - config.status: creating bin/jemalloc.sh - config.status: creating bin/jeprof - config.status: creating include/jemalloc/jemalloc_defs.h - config.status: creating include/jemalloc/internal/jemalloc_internal_defs.h - config.status: creating test/include/test/jemalloc_test_defs.h - config.status: executing include/jemalloc/internal/private_namespace.h commands - config.status: executing include/jemalloc/internal/private_unnamespace.h commands - config.status: executing include/jemalloc/internal/public_symbols.txt commands - config.status: executing include/jemalloc/internal/public_namespace.h commands - config.status: executing include/jemalloc/internal/public_unnamespace.h commands - config.status: executing include/jemalloc/internal/size_classes.h commands - config.status: executing include/jemalloc/jemalloc_protos_jet.h commands - config.status: executing include/jemalloc/jemalloc_rename.h commands - config.status: executing include/jemalloc/jemalloc_mangle.h commands - config.status: executing include/jemalloc/jemalloc_mangle_jet.h commands - config.status: executing include/jemalloc/jemalloc.h commands - checking for src/plugins/loop_analysis/Makefile.in... yes - loop_analysis... yes - checking for src/plugins/nonterm/Makefile.in... yes - nonterm... yes - checking for src/plugins/obfuscator/Makefile.in... yes - obfuscator... yes - checking for src/plugins/print_api... yes - print_api... yes - checking for src/plugins/report/Makefile.in... yes - report... yes - checking for src/plugins/security_slicing/Makefile.in... yes - security_slicing... yes - checking for src/plugins/variadic/Makefile.in... yes - variadic... yes - checking for src/plugins/wp/Makefile.in... yes - wp... yes - configure: ******************************************************* - configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * - configure: ******************************************************* - ocamlfind: Package `lablgtk2' not found - Ocamlfind -> using +lablgtk2.(,/home/opam/.opam/4.05/lib/ocaml/lablgtk2) - checking for /home/opam/.opam/4.05/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa... no - checking for /home/opam/.opam/4.05/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... no - checking for /home/opam/.opam/4.05/lib/ocaml/lablgtk2/lablgtk.cmxa... no - checking for dot... no - native dynlink works fine. Great. - configure: ************************************* - configure: * CHECKING FOR PLUG-IN DEPENDENCIES * - configure: ************************************* - configure: WARNING: ltl2ba not found. - configure: WARNING: aorai partially enabled because ltl2ba missing. - checking for coqc... no - configure: rerun configure to make wp using coq 8.5 - configure: WARNING: lablgtksourceview2.cmxa not found - configure: WARNING: lablgnomecanvas.cmxa not found - configure: WARNING: /home/opam/.opam/4.05/lib/ocaml/lablgtk2/lablgtk.cmxa not found. - configure: WARNING: dot not found: you should install GraphViz - configure: WARNING: callgraph partially enabled because dot missing. - configure: WARNING: callgraph partially enabled because gui not enabled. - configure: WARNING: security_slicing disabled because gui not enabled. - configure: WARNING: impact only partially enabled because gui not enabled. - configure: WARNING: metrics only partially enabled because gui not enabled. - configure: WARNING: occurrence only partially enabled because gui not enabled. - configure: WARNING: scope only partially enabled because gui not enabled. - configure: WARNING: slicing only partially enabled because gui not enabled. - configure: WARNING: value_analysis only partially enabled because gui not enabled. - configure: WARNING: wp only partially enabled because gui not enabled. - configure: ********************* - configure: * CREATING MAKEFILE * - configure: ********************* - configure: creating ./config.status - config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg - config.status: creating src/plugins/e-acsl/Makefile - config.status: creating src/plugins/loop_analysis/Makefile - config.status: creating src/plugins/nonterm/Makefile - config.status: creating src/plugins/obfuscator/Makefile - config.status: creating src/plugins/report/Makefile - config.status: creating src/plugins/variadic/Makefile - config.status: creating src/plugins/aorai/Makefile - config.status: creating src/plugins/security_slicing/Makefile - config.status: creating src/plugins/wp/Makefile - config.status: creating share/Makefile.config - config.status: executing default commands - configure: ******************************* - configure: * SUMMARY: PLUG-INS AVAILABLE * - configure: ******************************* - configure: callgraph: partial, dynamic, gui not enabled - configure: semantic_constant_folding: yes, dynamic - configure: from_analysis: yes, dynamic - configure: gui: no - configure: impact: partial, dynamic, gui not enabled - configure: inout: yes, dynamic - configure: metrics: partial, dynamic, gui not enabled - configure: occurrence: partial, dynamic, gui not enabled - configure: pdg: yes, dynamic - configure: postdominators: yes, dynamic - configure: rtegen: yes, dynamic - configure: scope: partial, dynamic, gui not enabled - configure: slicing: partial, dynamic, gui not enabled - configure: sparecode: yes, dynamic - configure: users: yes, dynamic - configure: value_analysis: partial, dynamic, gui not enabled - configure: aorai: partial, dynamic, ltl2ba missing - configure: e_acsl: yes, dynamic - configure: loop_analysis: yes, dynamic - configure: nonterm: yes, dynamic - configure: obfuscator: yes, dynamic - configure: print_api: yes, dynamic - configure: report: yes, dynamic - configure: security_slicing: no, gui not enabled - configure: variadic: yes, dynamic - configure: wp: partial, dynamic, gui not enabled Processing 17/18: [frama-c-base: make] + /usr/bin/make "-j255" (CWD=/home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0) - Ocamllex src/libraries/utils/json.ml - Ocamllex src/kernel_internals/parsing/clexer.ml - Ocamlyacc src/kernel_internals/parsing/cparser.ml - Ocamllex src/kernel_internals/parsing/logic_lexer.ml - Ocamlyacc src/kernel_internals/parsing/logic_parser.ml - Ocamllex src/kernel_internals/parsing/logic_preprocess.ml - 36 states, 360 transitions, table size 1656 bytes - Generating src/plugins/value/domains/apron/apron_domain.ml - Generating share/frama-c.rc - 148 states, 1842 transitions, table size 8256 bytes - 1933 additional bytes used for bindings - Generating share/Makefile.dynamic_config - Generating share/Makefile.kernel - 136 states, 558 transitions, table size 3048 bytes - 2127 additional bytes used for bindings - Generating src/plugins/wp/.Makefile.plugin.generated - Generating src/plugins/variadic/.Makefile.plugin.generated - Generating src/kernel_internals/runtime/config.ml - Generating src/plugins/security_slicing/.Makefile.plugin.generated - Generating src/plugins/report/.Makefile.plugin.generated - 381 states, 4411 transitions, table size 19930 bytes - 3329 additional bytes used for bindings - Generating src/plugins/print_api/.Makefile.plugin.generated - Generating src/plugins/obfuscator/.Makefile.plugin.generated - Generating src/plugins/nonterm/.Makefile.plugin.generated - Generating src/plugins/loop_analysis/.Makefile.plugin.generated - Generating src/plugins/e-acsl/.Makefile.plugin.generated - Generating src/plugins/aorai/.Makefile.plugin.generated - Generating src/plugins/slicing/.Makefile.plugin.generated - Generating src/plugins/sparecode/.Makefile.plugin.generated - Generating src/plugins/scope/.Makefile.plugin.generated - Generating src/plugins/pdg/.Makefile.plugin.generated - Generating src/plugins/impact/.Makefile.plugin.generated - Generating src/plugins/inout/.Makefile.plugin.generated - Generating src/plugins/postdominators/.Makefile.plugin.generated - Generating src/plugins/constant_propagation/.Makefile.plugin.generated - Generating src/plugins/users/.Makefile.plugin.generated - Generating src/plugins/from/.Makefile.plugin.generated - Generating src/plugins/rte/.Makefile.plugin.generated - Generating src/plugins/occurrence/.Makefile.plugin.generated - Generating src/plugins/value/.Makefile.plugin.generated - Generating src/plugins/callgraph/.Makefile.plugin.generated - Generating src/plugins/metrics/.Makefile.plugin.generated - Generating src/kernel_internals/runtime/frama_c_config.ml - Generating .depend - Ocamllex src/plugins/wp/script.ml - Ocamllex src/plugins/wp/rformat.ml - Ocamllex src/plugins/wp/driver.ml - Ocamllex src/plugins/wp/why3_xml.ml - Ocamllex src/plugins/wp/qed/src/numbers.ml - 57 states, 826 transitions, table size 3646 bytes - 31 states, 1109 transitions, table size 4622 bytes - 4393 additional bytes used for bindings - 105 states, 2064 transitions, table size 8886 bytes - 2265 additional bytes used for bindings - 114 states, 1396 transitions, table size 6268 bytes - 3538 additional bytes used for bindings - 53 states, 1709 transitions, table size 7154 bytes - 4689 additional bytes used for bindings - Generating src/plugins/wp/Wp.mli - Ocamlyacc src/plugins/print_api/grammar.ml - Ocamllex src/plugins/print_api/lexer.ml - Generating src/plugins/e-acsl/local_config.ml - Ocamllex src/plugins/aorai/promelalexer_withexps.ml - 8 states, 264 transitions, table size 1104 bytes - Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml - Ocamllex src/plugins/aorai/promelalexer.ml - Ocamlyacc src/plugins/aorai/promelaparser.ml - 4 shift/reduce conflicts. - Ocamllex src/plugins/aorai/ltllexer.ml - Ocamlyacc src/plugins/aorai/ltlparser.ml - 100 states, 4420 transitions, table size 18280 bytes - 7 shift/reduce conflicts. - Ocamllex src/plugins/aorai/yalexer.ml - Ocamlyacc src/plugins/aorai/yaparser.ml - 85 states, 4392 transitions, table size 18078 bytes - 82 states, 3369 transitions, table size 13968 bytes - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Metrics.mli - 73 states, 2302 transitions, table size 9646 bytes - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Callgraph.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Value.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Occurrence.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/RteGen.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/From.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Users.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Constant_Propagation.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Postdominators.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Inout.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Impact.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Pdg.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Scope.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Sparecode.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Slicing.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Aorai.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/E_ACSL.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/LoopAnalysis.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Nonterm.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Obfuscator.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Print_api.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Report.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Variadic.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Wp.mli - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.mli - Ocamldep src/plugins/variadic/.depend - Ocamldep src/plugins/report/.depend - Ocamldep src/plugins/print_api/.depend - Ocamldep src/plugins/obfuscator/.depend - Ocamldep src/plugins/nonterm/.depend - Ocamldep src/plugins/loop_analysis/.depend - Ocamldep src/plugins/e-acsl/.depend - Ocamldep src/plugins/aorai/.depend - Ocamldep src/plugins/slicing/.depend - Ocamldep src/plugins/sparecode/.depend - Ocamldep src/plugins/scope/.depend - Ocamldep src/plugins/pdg/.depend - Ocamldep src/plugins/impact/.depend - Ocamldep src/plugins/inout/.depend - Ocamldep src/plugins/postdominators/.depend - Ocamldep src/plugins/constant_propagation/.depend - Ocamldep src/plugins/users/.depend - Ocamldep src/plugins/from/.depend - Ocamldep src/plugins/rte/.depend - Ocamldep src/plugins/occurrence/.depend - Ocamldep src/plugins/value/.depend - Ocamldep src/plugins/callgraph/.depend - Ocamldep src/plugins/metrics/.depend - Ocamldep src/plugins/wp/.depend - Generating META.frama-c-aorai - Ocamlc src/plugins/aorai/bool3.cmi - Ocamlc src/libraries/datatype/unmarshal.cmi - Ocamlc src/libraries/stdlib/FCSet.cmi - Ocamlc src/libraries/utils/pretty_utils.cmi - Ocamlc src/libraries/stdlib/FCMap.cmi - Ocamlc src/libraries/stdlib/FCHashtbl.cmi - Ocamlc src/libraries/stdlib/extlib.cmi - Ocamlc src/plugins/aorai/ltlast.cmi - Ocamlc src/libraries/utils/wto.cmi - Ocamlc src/plugins/aorai/aorai_dataflow.cmi - Ocamlc src/libraries/utils/filepath.cmi - Ocamlc src/libraries/utils/escape.cmi - Ocamlc src/libraries/utils/hook.cmi - Ocamlc src/plugins/value_types/cilE.cmi - Ocamlopt src/plugins/aorai/bool3.cmx - Ocamlc src/libraries/stdlib/transitioning.cmi - Ocamlc src/libraries/stdlib/FCBuffer.cmi - Ocamlc src/kernel_internals/runtime/config.cmi - Ocamlc src/libraries/utils/qstack.cmi - Ocamlc src/libraries/utils/binary_cache.cmi - Ocamlc src/libraries/utils/utf8_logic.cmi - Ocamlc src/kernel_internals/typing/alpha.cmi - Ocamlc src/kernel_internals/parsing/errorloc.cmi - Ocamlc src/libraries/utils/bitvector.cmi - Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi - Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi - Ocamlc src/libraries/utils/unicode.cmi - Generating ptests/ptests_config.ml - Generating tests/ptests_config - Generating src/plugins/e-acsl/tests/ptests_config - Generating src/plugins/report/tests/ptests_config - Generating src/plugins/wp/tests/ptests_config - Ocamlc src/plugins/aorai/bool3.cmo - Ocamlc src/libraries/datatype/structural_descr.cmi - Ocamlc src/kernel_services/plugin_entry_points/log.cmi - Ocamlc src/libraries/stdlib/integer.cmi - Ocamlc src/plugins/aorai/ltl_output.cmi - Ocamlopt src/libraries/datatype/unmarshal.cmx - Ocamlopt src/libraries/stdlib/transitioning.cmx - Ocamlopt src/libraries/stdlib/FCSet.cmx - Ocamlopt src/libraries/stdlib/FCBuffer.cmx - Ocamlopt src/libraries/utils/hook.cmx - Ocamlopt src/libraries/stdlib/FCMap.cmx - Ocamlopt src/libraries/utils/qstack.cmx - Ocamlopt src/libraries/utils/utf8_logic.cmx - Ocamlopt src/libraries/utils/escape.cmx - Ocamlopt src/libraries/utils/wto.cmx - Ocamlopt src/libraries/utils/bitvector.cmx - Linking bin/ptests.opt - Ocamlc src/plugins/aorai/ltl_output.cmo - Ocamlopt src/plugins/aorai/ltl_output.cmx - Ocamlc src/libraries/datatype/type.cmi - Ocamlc src/kernel_services/ast_data/cil_types.cmi - Ocamlopt src/libraries/stdlib/integer.cmx - Ocamlopt src/libraries/stdlib/extlib.cmx - Ocamlc src/libraries/project/project_skeleton.cmi - Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi - Ocamlc src/libraries/datatype/descr.cmi - Ocamlc src/kernel_services/plugin_entry_points/journal.cmi - Ocamlc src/kernel_services/parsetree/logic_ptree.cmi - Ocamlc src/kernel_services/ast_printing/printer_api.cmi - Ocamlc src/kernel_internals/typing/cfg.cmi - Ocamlc src/libraries/utils/floating_point.cmi - Ocamlc src/kernel_internals/runtime/machdeps.cmi - Ocamlc src/kernel_services/ast_queries/ast_info.cmi - Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi - Ocamlc src/kernel_services/analysis/ordered_stmt.cmi - Ocamlc src/kernel_services/analysis/undefined_sequence.cmi - Ocamlc src/kernel_internals/typing/rmtmps.cmi - Ocamlc src/kernel_internals/typing/oneret.cmi - Ocamlc src/kernel_internals/typing/mergecil.cmi - Ocamlc src/kernel_internals/typing/logic_builtin.cmi - Ocamlc src/libraries/datatype/datatype.cmi - Ocamlopt src/libraries/stdlib/FCHashtbl.cmx - Ocamlopt src/kernel_internals/runtime/machdeps.cmx - Ocamlc src/kernel_services/parsetree/cabs.cmo - Ocamlc src/plugins/aorai/promelaast.cmi - Ocamlc src/kernel_internals/parsing/logic_parser.cmi - Ocamlc src/kernel_services/ast_printing/logic_print.cmi - Ocamlopt src/libraries/datatype/structural_descr.cmx - Ocamlopt src/libraries/utils/pretty_utils.cmx - Ocamlopt src/libraries/utils/filepath.cmx - Ocamlopt src/plugins/value_types/cilE.cmx - Ocamlc src/kernel_internals/parsing/logic_lexer.cmi - Ocamlc src/plugins/aorai/promelaoutput.cmi - Ocamlc src/plugins/aorai/logic_simplification.cmi - Ocamlc src/plugins/aorai/ltlparser.cmi - Ocamlc src/plugins/aorai/yaparser.cmi - Ocamlc src/plugins/aorai/promelaparser.cmi - Ocamlc src/plugins/aorai/promelaparser_withexps.cmi - Ocamlc src/kernel_services/ast_printing/cprint.cmi - Ocamlc src/kernel_internals/typing/frontc.cmi - Ocamlc src/kernel_internals/parsing/cparser.cmi - Ocamlopt src/kernel_services/parsetree/cabs.cmx - Ocamlc src/plugins/aorai/yalexer.cmo - Ocamlc src/plugins/aorai/ltlparser.cmo - Ocamlc src/plugins/aorai/ltllexer.cmo - Ocamlopt src/plugins/aorai/ltlparser.cmx - Ocamlc src/kernel_services/ast_printing/printer.cmi - Ocamlc src/kernel_services/ast_printing/printer_builder.cmi - Ocamlc src/kernel_services/ast_printing/cil_printer.cmi - Ocamlc src/kernel_internals/parsing/clexer.cmi - Ocamlopt src/kernel_services/plugin_entry_points/log.cmx - Ocamlopt src/kernel_internals/runtime/config.cmx - Ocamlopt src/libraries/datatype/type.cmx - Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx - Ocamlopt src/plugins/aorai/ltllexer.cmx - Ocamlc src/libraries/project/state.cmi - Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi - Ocamlc src/kernel_services/ast_queries/logic_typing.cmi - Ocamlc src/kernel_services/analysis/wto_statement.cmi - Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi - Ocamlc src/kernel_services/abstract_interp/int_Base.cmi - Ocamlc src/libraries/utils/rangemap.cmi - Ocamlc src/kernel_services/analysis/dataflow2.cmi - Ocamlc src/libraries/project/state_selection.cmi - Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi - Ocamlc src/libraries/utils/hptmap_sig.cmi - Ocamlc src/kernel_services/ast_data/ast.cmi - Ocamlc src/kernel_services/ast_data/property.cmi - Ocamlc src/libraries/project/state_dependency_graph.cmi - Ocamlc src/libraries/project/state_topological.cmi - Ocamlc src/kernel_services/parsetree/cabshelper.cmi - Ocamlc src/kernel_services/ast_data/globals.cmi - Ocamlc src/kernel_services/abstract_interp/origin.cmi - Ocamlc src/kernel_services/abstract_interp/bottom.cmi - Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi - Ocamlopt src/libraries/datatype/descr.cmx - Ocamlc src/libraries/project/project.cmi - Ocamlc src/libraries/utils/hptmap.cmi - Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi - Ocamlc src/libraries/project/state_builder.cmi - Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx - Ocamlc src/libraries/utils/hptset.cmi - Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi - Ocamlc src/kernel_services/ast_queries/logic_env.cmi - Ocamlc src/kernel_services/ast_queries/cil_const.cmi - Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi - Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi - Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi - Ocamlc src/kernel_services/ast_data/annotations.cmi - Ocamlc src/kernel_services/ast_data/property_status.cmi - Ocamlc src/kernel_services/abstract_interp/fval.cmi - Ocamlc src/kernel_services/analysis/bit_utils.cmi - Ocamlc src/kernel_services/ast_data/alarms.cmi - Ocamlc src/kernel_services/abstract_interp/ival.cmi - Ocamlopt src/libraries/project/project_skeleton.cmx - Ocamlopt src/libraries/utils/binary_cache.cmx - Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi - Ocamlopt src/libraries/datatype/datatype.cmx - Ocamlc src/kernel_services/abstract_interp/base.cmi - Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi - Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi - Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi - Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi - Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi - Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi - Ocamlc src/kernel_services/ast_data/kernel_function.cmi - Ocamlc src/kernel_services/ast_queries/cil.cmi - Ocamlc src/kernel_services/ast_queries/logic_const.cmi - Ocamlc src/kernel_internals/typing/cabs2cil.cmi - Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi - Ocamlc src/kernel_services/abstract_interp/locations.cmi - Ocamlc src/plugins/aorai/data_for_aorai.cmi - Ocamlc src/plugins/value_types/precise_locs.cmi - Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi - Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi - Ocamlc src/plugins/pdg_types/pdgIndex.cmi - Ocamlc src/plugins/value_types/inout_type.cmi - Ocamlc src/kernel_services/ast_queries/logic_utils.cmi - Ocamlc src/kernel_services/visitors/visitor.cmi - Ocamlc src/kernel_services/visitors/cabsvisit.cmi - Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi - Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi - Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi - Ocamlc src/plugins/value_types/cvalue.cmi - Ocamlc src/kernel_services/abstract_interp/lmap.cmi - Ocamlc src/plugins/aorai/aorai_utils.cmi - Ocamlc src/plugins/value_types/function_Froms.cmi - Ocamlc src/plugins/pdg_types/pdgTypes.cmi - Ocamlc src/kernel_services/ast_queries/filecheck.cmi - Ocamlc src/kernel_services/ast_queries/file.cmi - Ocamlc src/plugins/value_types/value_types.cmi - Ocamlc src/plugins/pdg_types/pdgMarks.cmi - Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi - Ocamlc src/plugins/aorai/aorai_option.cmi - Ocamlc src/plugins/slicing_types/slicingInternals.cmo - Ocamlc src/plugins/aorai/path_analysis.cmo - Ocamlc src/plugins/aorai/promelaoutput.cmo - Ocamlc src/plugins/aorai/logic_simplification.cmo - Ocamlc src/plugins/aorai/utils_parser.cmo - Ocamlc src/plugins/aorai/yaparser.cmo - Ocamlc src/plugins/aorai/promelaparser.cmo - Ocamlc src/plugins/aorai/promelalexer.cmo - Ocamlc src/plugins/aorai/promelaparser_withexps.cmo - Ocamlc src/plugins/aorai/promelalexer_withexps.cmo - Ocamlc src/kernel_internals/parsing/lexerhack.cmo - Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo - Ocamlc src/plugins/aorai/aorai_option.cmo - Ocamlc src/plugins/slicing_types/slicingTypes.cmo - Ocamlc src/plugins/aorai/data_for_aorai.cmo - Ocamlc src/plugins/aorai/aorai_utils.cmo - Ocamlc src/plugins/aorai/aorai_dataflow.cmo - Ocamlc src/plugins/aorai/aorai_visitors.cmo - Ocamlc src/kernel_services/plugin_entry_points/db.cmi - Ocamlc src/plugins/aorai/aorai_register.cmo - Ocamlopt src/libraries/project/state.cmx - Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx - Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx - Ocamlopt src/libraries/utils/rangemap.cmx - Ocamlopt src/kernel_services/abstract_interp/bottom.cmx - Ocamlopt src/libraries/project/state_dependency_graph.cmx - Ocamlopt src/libraries/project/state_topological.cmx - Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Aorai.cmi - Ocamlopt src/libraries/project/state_selection.cmx - Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmo - Generating META.frama-c-e_acsl - Ocamlc src/plugins/e-acsl/local_config.cmi - Ocamlc src/plugins/e-acsl/options.cmi - Ocamlc src/plugins/e-acsl/rte.cmi - Ocamlc src/plugins/e-acsl/error.cmi - Ocamlc src/plugins/e-acsl/builtins.cmi - Ocamlc src/plugins/e-acsl/misc.cmi - Ocamlc src/plugins/e-acsl/gmpz.cmi - Ocamlc src/plugins/e-acsl/literal_strings.cmi - Ocamlc src/kernel_services/analysis/stmts_graph.cmi - Ocamlc src/kernel_services/analysis/dataflow.cmi - Ocamlc src/plugins/e-acsl/mmodel_analysis.cmi - Ocamlc src/plugins/e-acsl/prepare_ast.cmi - Ocamlc src/plugins/e-acsl/dup_functions.cmi - Ocamlc src/plugins/e-acsl/exit_points.cmi - Ocamlc src/plugins/e-acsl/label.cmi - Ocamlc src/plugins/e-acsl/interval.cmi - Ocamlc src/plugins/e-acsl/typing.cmi - Ocamlc src/plugins/e-acsl/visit.cmi - Ocamlc src/plugins/e-acsl/local_config.cmo - Ocamlopt src/libraries/project/project.cmx - Ocamlc src/plugins/e-acsl/literal_strings.cmo - Ocamlc src/plugins/e-acsl/label.cmo - Ocamlc src/plugins/e-acsl/options.cmo - Ocamlc src/plugins/e-acsl/rte.cmo - Ocamlc src/plugins/e-acsl/error.cmo - Ocamlc src/plugins/e-acsl/builtins.cmo - Ocamlc src/plugins/e-acsl/prepare_ast.cmo - Ocamlc src/plugins/e-acsl/interval.cmo - Ocamlc src/plugins/e-acsl/typing.cmo - Ocamlc src/plugins/e-acsl/misc.cmo - Ocamlc src/plugins/e-acsl/gmpz.cmo - Ocamlc src/plugins/e-acsl/dup_functions.cmo - Ocamlc src/plugins/e-acsl/env.cmi - Ocamlc src/plugins/e-acsl/mmodel_analysis.cmo - Ocamlc src/plugins/e-acsl/exit_points.cmo - Ocamlc src/plugins/e-acsl/env.cmo - Ocamlc src/plugins/e-acsl/quantif.cmi - Ocamlc src/plugins/e-acsl/translate.cmi - Ocamlc src/plugins/e-acsl/loops.cmi - Ocamlc src/plugins/e-acsl/loops.cmo - Ocamlc src/plugins/e-acsl/visit.cmo - Ocamlc src/plugins/e-acsl/main.cmo - Ocamlc src/plugins/e-acsl/quantif.cmo - Ocamlc src/plugins/e-acsl/translate.cmo - Ocamlopt src/libraries/project/state_builder.cmx - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/E_ACSL.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmo - Generating META.frama-c-loopanalysis - Ocamlc src/plugins/loop_analysis/options.cmi - Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo - Ocamlc src/kernel_services/analysis/dominators.cmi - Ocamlc src/kernel_services/analysis/dataflows.cmi - Ocamlc src/plugins/loop_analysis/loop_analysis.cmi - Ocamlc src/kernel_services/analysis/loop.cmi - Ocamlc src/plugins/loop_analysis/region_analysis.cmi - Ocamlc src/plugins/loop_analysis/region_analysis.cmo - Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi - Ocamlopt src/libraries/utils/hptmap.cmx - Ocamlc src/plugins/loop_analysis/options.cmo - Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo - Ocamlc src/plugins/loop_analysis/loop_analysis.cmo - Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo - Ocamlc src/plugins/loop_analysis/register.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/LoopAnalysis.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmo - Generating META.frama-c-nonterm - Ocamlc src/plugins/nonterm/nonterm_run.cmo - Ocamlopt src/libraries/utils/hptset.cmx - Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Nonterm.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmo - Generating META.frama-c-obfuscator - Ocamlc src/plugins/obfuscator/options.cmi - Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi - Ocamlc src/plugins/obfuscator/obfuscate.cmi - Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo - Ocamlc src/plugins/obfuscator/dictionary.cmi - Ocamlc src/plugins/obfuscator/dictionary.cmo - Ocamlc src/plugins/obfuscator/options.cmo - Ocamlc src/plugins/obfuscator/obfuscate.cmo - Ocamlc src/plugins/obfuscator/obfuscator_register.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Obfuscator.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmo - Generating META.frama-c-print_api - Ocamlc src/plugins/print_api/grammar.cmi - Ocamlc src/plugins/print_api/grammar.cmo - Ocamlc src/plugins/print_api/lexer.cmo - Ocamlc src/plugins/print_api/print_interface.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Print_api.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmo - Generating META.frama-c-report - Ocamlc src/plugins/report/report_parameters.cmi - Ocamlc src/plugins/report/scan.cmi - Ocamlc src/kernel_services/ast_printing/description.cmi - Ocamlc src/plugins/report/csv.cmi - Ocamlc src/plugins/report/register.cmi - Ocamlc src/plugins/report/dump.cmi - Ocamlc src/plugins/report/report_parameters.cmo - Ocamlc src/plugins/report/scan.cmo - Ocamlc src/plugins/report/dump.cmo - Ocamlc src/plugins/report/csv.cmo - Ocamlc src/plugins/report/register.cmo - Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx - Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx - Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Report.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmo - Generating META.frama-c-variadic - Ocamlc src/plugins/variadic/options.cmi - Ocamlc src/plugins/variadic/extends.cmi - Ocamlc src/plugins/variadic/va_build.cmo - Ocamlc src/plugins/variadic/environment.cmo - Ocamlc src/plugins/variadic/format_types.cmi - Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx - Ocamlc src/plugins/variadic/format_pprint.cmi - Ocamlc src/plugins/variadic/format_typer.cmi - Ocamlc src/plugins/variadic/format_parser.cmi - Ocamlc src/plugins/variadic/va_types.cmi - Ocamlc src/plugins/variadic/format_pprint.cmo - Ocamlc src/plugins/variadic/format_typer.cmo - Ocamlc src/plugins/variadic/options.cmo - Ocamlc src/plugins/variadic/extends.cmo - Ocamlc src/plugins/variadic/format_parser.cmo - Ocamlc src/plugins/variadic/generic.cmo - Ocamlc src/plugins/variadic/standard.cmo - Ocamlc src/plugins/variadic/classify.cmo - Ocamlc src/plugins/variadic/translate.cmo - Ocamlc src/plugins/variadic/register.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Variadic.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmo - Generating META.frama-c-wp - Ocamlc src/plugins/wp/rformat.cmi - Ocamlc src/plugins/wp/wprop.cmi - Ocamlc src/libraries/utils/command.cmi - Ocamlc src/plugins/wp/wp_parameters.cmi - Ocamlc src/plugins/wp/wp_error.cmi - Ocamlc src/plugins/wp/dyncall.cmi - Compiling Qed (byte) - Ocamlc src/plugins/wp/clabels.cmi - Ocamlc src/plugins/wp/Separation.cmi - Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi - Ocamlc src/plugins/wp/normAtLabels.cmi - Ocamlc src/libraries/utils/bag.cmi - Ocamlc src/plugins/wp/Context.cmi - Ocamlc src/plugins/wp/Warning.cmi - Ocamlc src/plugins/wp/VCS.cmi - Ocamlc src/plugins/wp/script.cmi - Ocamlc src/plugins/wp/wpReport.cmi - Ocamlc src/libraries/utils/vector.cmi - Ocamlc src/libraries/utils/json.cmi - Ocamlc src/plugins/wp/why3_xml.cmi - Ocamlc src/libraries/utils/task.cmi - Ocamlc src/plugins/wp/rformat.cmo - Ocamlc src/plugins/wp/wp_error.cmo - Ocamlc src/plugins/wp/LogicUsage.cmi - Ocamlc src/plugins/wp/cil2cfg.cmi - Ocamlc src/plugins/wp/wprop.cmo - Ocamlc src/plugins/wp/Separation.cmo - Ocamlc src/plugins/wp/Model.cmi - Ocamlc src/plugins/wp/script.cmo - Ocamlc src/plugins/wp/ProverTask.cmi - Ocamlc src/plugins/wp/why3_xml.cmo - Ocamlc src/plugins/wp/wpRTE.cmi - Ocamlc src/plugins/wp/wp_parameters.cmo - Ocamlc src/plugins/wp/dyncall.cmo - Ocamlc src/plugins/wp/cil2cfg.cmo - Ocamlc src/plugins/wp/normAtLabels.cmo - Ocamlc src/plugins/wp/Context.cmo - Ocamlc src/plugins/wp/Warning.cmo - Ocamlc src/plugins/wp/Model.cmo - Ocamlc src/plugins/wp/VCS.cmo - Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx - Ocamlc src/plugins/wp/LogicUsage.cmo - Ocamlc src/plugins/wp/wpPropId.cmi - Ocamlc src/plugins/wp/mcfg.cmo - Ocamlc src/plugins/wp/wpStrategy.cmi - Ocamlc src/plugins/wp/proof.cmi - Ocamlc src/plugins/wp/proof.cmo - Ocamlc src/plugins/wp/ProverTask.cmo - Ocamlc src/plugins/wp/wpStrategy.cmo - Ocamlc src/plugins/wp/wpAnnot.cmi - Ocamlc src/plugins/wp/calculus.cmi - Ocamlc src/plugins/wp/wpAnnot.cmo - Ocamlc src/plugins/wp/calculus.cmo - Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx - Ocamlc src/plugins/wp/ctypes.cmi - Ocamlc src/plugins/wp/RefUsage.cmi - Ocamlc src/plugins/wp/Splitter.cmi - Ocamlc src/plugins/wp/Splitter.cmo - Ocamlc src/plugins/wp/ctypes.cmo - Ocamlc src/plugins/wp/clabels.cmo - Ocamlc src/plugins/wp/RefUsage.cmo - Ocamlc src/plugins/wp/wpPropId.cmo - Ocamlc src/plugins/wp/Lang.cmi - Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx - Ocamlopt src/kernel_services/ast_queries/cil_const.cmx - Ocamlopt src/libraries/utils/floating_point.cmx - Ocamlopt src/kernel_internals/typing/alpha.cmx - Ocamlopt src/kernel_internals/parsing/errorloc.cmx - Ocamlopt src/kernel_internals/parsing/lexerhack.cmx - Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx - Ocamlopt src/libraries/utils/unicode.cmx - Ocamlc src/plugins/wp/Lang.cmo - Ocamlc src/plugins/wp/Repr.cmi - Ocamlc src/plugins/wp/Matrix.cmi - Ocamlc src/plugins/wp/Passive.cmi - Ocamlc src/plugins/wp/Letify.cmi - Ocamlc src/plugins/wp/Cleaning.cmi - Ocamlc src/plugins/wp/LogicBuiltins.cmi - Ocamlc src/plugins/wp/Definitions.cmi - Ocamlc src/plugins/wp/Vset.cmi - Ocamlc src/plugins/wp/Cfloat.cmi - Ocamlc src/plugins/wp/Vlist.cmi - Ocamlc src/plugins/wp/Plang.cmi - Ocamlc src/plugins/wp/Footprint.cmi - Ocamlc src/plugins/wp/WpTac.cmi - Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx - Ocamlc src/plugins/wp/Passive.cmo - Ocamlc src/plugins/wp/Matrix.cmo - Ocamlc src/plugins/wp/Cleaning.cmo - Ocamlc src/plugins/wp/Footprint.cmo - Ocamlc src/plugins/wp/Letify.cmo - Ocamlc src/plugins/wp/Repr.cmo - Ocamlc src/plugins/wp/Vset.cmo - Ocamlc src/plugins/wp/Region.cmi - Ocamlc src/plugins/wp/LogicBuiltins.cmo - Ocamlc src/plugins/wp/Cfloat.cmo - Ocamlc src/plugins/wp/driver.cmi - Ocamlc src/plugins/wp/Plang.cmo - Ocamlopt src/kernel_services/ast_queries/logic_env.cmx - Ocamlc src/plugins/wp/Definitions.cmo - Ocamlc src/plugins/wp/Cstring.cmi - Ocamlc src/plugins/wp/driver.cmo - Ocamlc src/plugins/wp/Region.cmo - Ocamlc src/plugins/wp/Memory.cmo - Ocamlc src/plugins/wp/Cstring.cmo - Ocamlc src/plugins/wp/Mstate.cmi - Ocamlc src/plugins/wp/Sigma.cmi - Ocamlc src/plugins/wp/LogicCompiler.cmi - Ocamlc src/plugins/wp/LogicSemantics.cmi - Ocamlc src/plugins/wp/LogicAssigns.cmi - Ocamlc src/plugins/wp/MemEmpty.cmi - Ocamlc src/plugins/wp/MemZeroAlias.cmi - Ocamlc src/plugins/wp/MemVar.cmi - Ocamlc src/plugins/wp/MemTyped.cmi - Ocamlopt src/plugins/aorai/aorai_option.cmx - Ocamlc src/plugins/wp/Cvalues.cmi - Ocamlc src/plugins/wp/CodeSemantics.cmi - Ocamlc src/plugins/wp/Sigma.cmo - Ocamlc src/plugins/wp/Conditions.cmi - Ocamlc src/plugins/wp/Mstate.cmo - Ocamlc src/plugins/wp/LogicAssigns.cmo - Ocamlc src/plugins/wp/MemEmpty.cmo - Ocamlc src/plugins/wp/MemZeroAlias.cmo - Ocamlc src/plugins/wp/MemVar.cmo - Ocamlc src/plugins/wp/MemTyped.cmo - Ocamlc src/plugins/wp/Cint.cmi - Ocamlc src/plugins/wp/Conditions.cmo - Ocamlc src/plugins/wp/Filtering.cmi - Ocamlc src/plugins/wp/Pcfg.cmi - Ocamlc src/plugins/wp/wpo.cmi - Ocamlc src/plugins/wp/Tactical.cmi - Ocamlc src/plugins/wp/WpTac.cmo - Ocamlc src/plugins/wp/VC.cmi - Ocamlopt src/kernel_services/ast_queries/logic_const.cmx - Ocamlc src/plugins/wp/Filtering.cmo - Ocamlc src/plugins/wp/Cint.cmo - Ocamlc src/plugins/wp/Vlist.cmo - Ocamlc src/plugins/wp/Cvalues.cmo - Ocamlc src/plugins/wp/CodeSemantics.cmo - Ocamlc src/plugins/wp/wpRTE.cmo - Ocamlc src/plugins/wp/Factory.cmi - Ocamlc src/plugins/wp/Pcfg.cmo - Ocamlc src/plugins/wp/Pcond.cmi - Ocamlopt src/plugins/aorai/path_analysis.cmx - Ocamlc src/plugins/wp/LogicCompiler.cmo - Ocamlc src/plugins/wp/LogicSemantics.cmo - Ocamlc src/plugins/wp/Tactical.cmo - Ocamlc src/plugins/wp/Strategy.cmi - Ocamlc src/plugins/wp/ProofScript.cmi - Ocamlc src/plugins/wp/Factory.cmo - Ocamlc src/plugins/wp/Strategy.cmo - Ocamlc src/plugins/wp/TacSplit.cmi - Ocamlc src/plugins/wp/TacChoice.cmi - Ocamlc src/plugins/wp/TacRange.cmi - Ocamlc src/plugins/wp/TacArray.cmi - Ocamlc src/plugins/wp/TacCompound.cmi - Ocamlc src/plugins/wp/TacUnfold.cmi - Ocamlc src/plugins/wp/TacHavoc.cmi - Ocamlc src/plugins/wp/TacInstance.cmi - Ocamlc src/plugins/wp/TacLemma.cmi - Ocamlc src/plugins/wp/TacFilter.cmi - Ocamlc src/plugins/wp/TacCut.cmi - Ocamlc src/plugins/wp/TacNormalForm.cmi - Ocamlc src/plugins/wp/TacRewrite.cmi - Ocamlc src/plugins/wp/Auto.cmi - Ocamlc src/plugins/wp/ProofScript.cmo - Ocamlc src/plugins/wp/Pcond.cmo - Ocamlc src/plugins/wp/TacSplit.cmo - Ocamlc src/plugins/wp/TacChoice.cmo - Ocamlc src/plugins/wp/TacRange.cmo - Ocamlc src/plugins/wp/TacArray.cmo - Ocamlc src/plugins/wp/TacUnfold.cmo - Ocamlc src/plugins/wp/TacHavoc.cmo - Ocamlc src/plugins/wp/TacCompound.cmo - Ocamlc src/plugins/wp/TacCut.cmo - Ocamlc src/plugins/wp/TacFilter.cmo - Ocamlc src/plugins/wp/TacNormalForm.cmo - Ocamlc src/plugins/wp/TacRewrite.cmo - Ocamlc src/plugins/wp/TacInstance.cmo - Ocamlc src/plugins/wp/TacLemma.cmo - Ocamlc src/plugins/wp/Auto.cmo - Ocamlc src/plugins/wp/wpo.cmo - Ocamlc src/plugins/wp/wpReport.cmo - Ocamlc src/plugins/wp/ProofSession.cmi - Ocamlc src/plugins/wp/ProofEngine.cmi - Ocamlc src/plugins/wp/ProverErgo.cmi - Ocamlc src/plugins/wp/ProverCoq.cmi - Ocamlc src/plugins/wp/ProverWhy3.cmi - Ocamlc src/plugins/wp/ProverWhy3ide.cmi - Ocamlc src/plugins/wp/prover.cmi - Ocamlc src/plugins/wp/ProverScript.cmi - Ocamlc src/plugins/wp/Generator.cmi - Ocamlc src/plugins/wp/ProofSession.cmo - Ocamlc src/plugins/wp/ProverErgo.cmo - Ocamlopt src/kernel_services/ast_queries/cil.cmx - Ocamlc src/plugins/wp/ProverCoq.cmo - Ocamlc src/plugins/wp/ProofEngine.cmo - Ocamlc src/plugins/wp/ProverSearch.cmi - Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx - Ocamlopt src/kernel_services/abstract_interp/fval.cmx - Ocamlc src/plugins/wp/ProverWhy3.cmo - Ocamlc src/plugins/wp/ProverWhy3ide.cmo - Ocamlc src/plugins/wp/prover.cmo - Ocamlc src/plugins/wp/ProverScript.cmo - Ocamlc src/plugins/wp/Generator.cmo - Ocamlc src/plugins/wp/cfgDump.cmi - Ocamlc src/plugins/wp/cfgWP.cmi - Ocamlc src/plugins/wp/ProverSearch.cmo - Ocamlc src/plugins/wp/cfgDump.cmo - Ocamlc src/plugins/wp/cfgWP.cmo - Ocamlc src/plugins/wp/register.cmo - Ocamlopt src/kernel_services/abstract_interp/ival.cmx - Ocamlc src/plugins/wp/VC.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Wp.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmo - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cma - Generation of the extra-config for why3 - Ocamlc src/kernel_internals/runtime/frama_c_init.cmi - Ocamlc src/libraries/stdlib/transitioning.cmo - Ocamlc src/libraries/stdlib/FCSet.cmo - Ocamlc src/libraries/stdlib/FCMap.cmo - Ocamlc src/libraries/stdlib/FCBuffer.cmo - Ocamlc src/libraries/stdlib/FCHashtbl.cmo - Ocamlc src/libraries/stdlib/extlib.cmo - Ocamlc src/libraries/datatype/unmarshal.cmo - Ocamlc src/libraries/datatype/unmarshal_z.cmi - Ocamlc src/libraries/datatype/structural_descr.cmo - Ocamlc src/libraries/datatype/type.cmo - Ocamlc src/libraries/datatype/descr.cmo - Ocamlc src/libraries/utils/pretty_utils.cmo - Ocamlc src/libraries/utils/hook.cmo - Ocamlc src/libraries/utils/bag.cmo - Ocamlc src/libraries/utils/wto.cmo - Ocamlc src/libraries/utils/vector.cmo - Ocamlc src/libraries/utils/indexer.cmi - Ocamlc src/libraries/utils/rgmap.cmi - Ocamlc src/libraries/utils/bitvector.cmo - Ocamlc src/libraries/utils/qstack.cmo - Ocamlc src/libraries/utils/leftistheap.cmi - Ocamlc src/libraries/stdlib/integer.cmo - Ocamlc src/libraries/utils/filepath.cmo - Ocamlc src/libraries/utils/json.cmo - Ocamlc src/kernel_internals/runtime/config.cmo - Ocamlc src/kernel_services/plugin_entry_points/log.cmo - Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmo - Ocamlc src/libraries/project/project_skeleton.cmo - Ocamlc src/libraries/datatype/datatype.cmo - Ocamlc src/kernel_services/plugin_entry_points/journal.cmo - Ocamlc src/libraries/project/state.cmo - Ocamlc src/libraries/project/state_dependency_graph.cmo - Ocamlc src/libraries/project/state_topological.cmo - Ocamlc src/libraries/project/state_selection.cmo - Ocamlc src/libraries/project/project.cmo - Ocamlc src/libraries/project/state_builder.cmo - Ocamlc src/libraries/utils/utf8_logic.cmo - Ocamlc src/libraries/utils/binary_cache.cmo - Ocamlc src/libraries/utils/hptmap.cmo - Ocamlc src/libraries/utils/hptset.cmo - Ocamlc src/libraries/utils/escape.cmo - Ocamlc src/kernel_services/ast_queries/cil_datatype.cmo - Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmo - Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmo - Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmo - Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmo - Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmo - Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmo - Ocamlc src/kernel_services/plugin_entry_points/plugin.cmo - Ocamlc src/kernel_services/plugin_entry_points/kernel.cmo - Ocamlc src/libraries/utils/unicode.cmo - Ocamlc src/kernel_services/plugin_entry_points/emitter.cmo - Ocamlc src/libraries/utils/floating_point.cmo - Ocamlc src/libraries/utils/rangemap.cmo - Ocamlc src/kernel_services/ast_printing/cil_types_debug.cmi - Ocamlc src/kernel_services/ast_printing/printer_builder.cmo - Ocamlc src/libraries/utils/cilconfig.cmi - Ocamlc src/kernel_internals/typing/alpha.cmo - Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmo - Ocamlc src/kernel_internals/runtime/machdeps.cmo - Ocamlc src/kernel_services/ast_queries/cil_const.cmo - Ocamlc src/kernel_services/ast_queries/logic_env.cmo - Ocamlc src/kernel_services/ast_queries/logic_const.cmo - Ocamlc src/kernel_services/ast_queries/cil.cmo - Ocamlc src/kernel_internals/parsing/errorloc.cmo - Ocamlc src/kernel_services/ast_printing/cil_printer.cmo - Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmo - Ocamlc src/kernel_services/parsetree/cabshelper.cmo - Ocamlc src/kernel_services/ast_printing/logic_print.cmo - Ocamlc src/kernel_services/ast_queries/logic_utils.cmo - Ocamlc src/kernel_internals/parsing/logic_parser.cmo - Ocamlc src/kernel_internals/parsing/logic_lexer.cmo - Ocamlc src/kernel_services/ast_queries/logic_typing.cmo - Ocamlc src/kernel_services/ast_queries/ast_info.cmo - Ocamlc src/kernel_services/ast_data/ast.cmo - Ocamlc src/kernel_services/ast_data/globals.cmo - Ocamlc src/kernel_services/ast_printing/cprint.cmo - Ocamlc src/kernel_services/visitors/cabsvisit.cmo - Ocamlc src/kernel_internals/typing/cabs2cil.cmo - Ocamlc src/kernel_internals/typing/cfg.cmo - Ocamlc src/kernel_services/ast_data/kernel_function.cmo - Ocamlc src/kernel_services/ast_data/property.cmo - Ocamlc src/kernel_services/ast_data/property_status.cmo - Ocamlc src/kernel_services/ast_data/annotations.cmo - Ocamlc src/kernel_services/ast_printing/printer.cmo - Ocamlc src/kernel_internals/typing/logic_builtin.cmo - Ocamlc src/kernel_services/ast_printing/cabs_debug.cmi - Ocamlc src/kernel_internals/parsing/clexer.cmo - Ocamlc src/kernel_internals/parsing/cparser.cmo - Ocamlc src/kernel_internals/parsing/logic_preprocess.cmo - Ocamlc src/kernel_internals/typing/mergecil.cmo - Ocamlc src/kernel_internals/typing/rmtmps.cmo - Ocamlc src/kernel_internals/typing/oneret.cmo - Ocamlc src/kernel_internals/typing/frontc.cmo - Ocamlc src/kernel_services/ast_data/statuses_by_call.cmo - Ocamlc src/kernel_services/analysis/dataflow.cmo - Ocamlc src/kernel_services/analysis/ordered_stmt.cmo - Ocamlc src/kernel_services/analysis/wto_statement.cmo - Ocamlc src/kernel_services/analysis/dataflows.cmo - Ocamlc src/kernel_services/analysis/dataflow2.cmo - Ocamlc src/kernel_services/analysis/stmts_graph.cmo - Ocamlc src/kernel_services/analysis/dominators.cmo - Ocamlc src/kernel_services/analysis/service_graph.cmi - Ocamlc src/kernel_services/analysis/undefined_sequence.cmo - Ocamlc src/kernel_services/ast_printing/description.cmo - Ocamlc src/kernel_services/ast_data/alarms.cmo - Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmo - Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmo - Ocamlc src/kernel_services/abstract_interp/bottom.cmo - Ocamlc src/kernel_services/abstract_interp/int_Base.cmo - Ocamlc src/kernel_services/analysis/bit_utils.cmo - Ocamlc src/kernel_services/abstract_interp/fval.cmo - Ocamlc src/kernel_services/abstract_interp/ival.cmo - Ocamlc src/kernel_services/abstract_interp/base.cmo - Ocamlc src/kernel_services/abstract_interp/origin.cmo - Ocamlc src/kernel_services/abstract_interp/tr_offset.cmo - Ocamlc src/kernel_services/abstract_interp/offsetmap.cmo - Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmo - Ocamlc src/kernel_services/abstract_interp/locations.cmo - Ocamlc src/kernel_services/abstract_interp/lmap.cmo - Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmo - Ocamlc src/kernel_services/visitors/visitor.cmo - Ocamlc src/plugins/value_types/cilE.cmo - Ocamlc src/plugins/value_types/cvalue.cmo - Ocamlc src/plugins/value_types/precise_locs.cmo - Ocamlc src/plugins/value_types/value_types.cmo - Ocamlc src/plugins/value_types/widen_type.cmi - Ocamlc src/plugins/value_types/function_Froms.cmo - Ocamlc src/plugins/value_types/inout_type.cmo - Ocamlc src/plugins/pdg_types/pdgIndex.cmo - Ocamlc src/plugins/pdg_types/pdgTypes.cmo - Ocamlc src/plugins/pdg_types/pdgMarks.cmo - Ocamlc src/kernel_services/plugin_entry_points/db.cmo - Ocamlc src/libraries/utils/command.cmo - Ocamlc src/libraries/utils/task.cmo - Ocamlc src/kernel_services/ast_queries/filecheck.cmo - Ocamlc src/kernel_services/ast_queries/file.cmo - Ocamlc src/kernel_internals/typing/translate_lightweight.cmi - Ocamlc src/kernel_internals/typing/allocates.cmi - Ocamlc src/kernel_internals/typing/unroll_loops.cmi - Ocamlc src/kernel_internals/typing/asm_contracts.cmi - Ocamlc src/kernel_services/analysis/loop.cmo - Ocamlc src/kernel_services/analysis/exn_flow.cmi - Ocamlc src/kernel_services/analysis/destructors.cmi - Ocamlc src/kernel_services/analysis/logic_interp.cmi - Ocamlc src/kernel_internals/typing/infer_annotations.cmi - Ocamlc src/kernel_services/ast_transformations/clone.cmi - Ocamlc src/kernel_services/ast_transformations/filter.cmi - Ocamlc src/kernel_internals/runtime/special_hooks.cmi - Ocamlc src/kernel_internals/runtime/messages.cmi - Ocamlc src/kernel_internals/runtime/boot.cmo - CC src/libraries/utils/c_bindings.o - Ocamlc src/plugins/metrics/metrics_parameters.cmi - Ocamlc src/plugins/metrics/css_html.cmo - Ocamlc src/plugins/metrics/metrics_base.cmi - Ocamlc src/plugins/metrics/metrics_acsl.cmi - Ocamlc src/plugins/metrics/metrics_cabs.cmi - Ocamlc src/plugins/metrics/metrics_coverage.cmi - Ocamlc src/plugins/callgraph/options.cmi - Ocamlc src/plugins/callgraph/journalize.cmi - Ocamlc src/plugins/callgraph/callgraph_api.cmi - Ocamlc src/plugins/callgraph/uses.cmi - Ocamlc src/plugins/value/slevel/split_strategy.cmi - Ocamlc src/plugins/value/slevel/stop_at_nth.cmi - Ocamlc src/plugins/value/utils/value_perf.cmi - Ocamlc src/plugins/value/slevel/separate.cmi - Ocamlc src/plugins/value/utils/widen_hints_ext.cmi - Ocamlc src/plugins/value/utils/widen.cmi - Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmi - Ocamlc src/plugins/value/utils/library_functions.cmi - Ocamlc src/plugins/value/alarmset.cmi - Ocamlc src/plugins/value/utils/backward_formals.cmi - Ocamlc src/plugins/value/legacy/warn.cmi - Ocamlc src/plugins/value/utils/structure.cmi - Ocamlc src/plugins/value/values/cvalue_backward.cmi - Ocamlc src/plugins/value/legacy/eval_op.cmi - Ocamlc src/plugins/value/legacy/function_args.cmi - Ocamlc src/plugins/value/domains/hcexprs.cmi - Ocamlc src/plugins/value/domains/equality/equality_sig.cmi - Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmi - Ocamlc src/plugins/value/domains/cvalue/builtins.cmi - Ocamlc src/plugins/value/domains/cvalue/builtins_string.cmi - Ocamlc src/plugins/value/domains/cvalue/builtins_misc.cmi - Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi - Ocamlc src/plugins/value/utils/value_results.cmi - Ocamlc src/plugins/value/utils/state_import.cmi - Ocamlc src/plugins/value/legacy/eval_terms.cmi - Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmi - Ocamlc src/plugins/value/engine/recursion.cmi - Ocamlc src/plugins/value/register.cmi - Ocamlc src/plugins/occurrence/options.cmi - Ocamlc src/plugins/rte/options.cmi - Ocamlc src/plugins/rte/generator.cmi - Ocamlc src/plugins/rte/rte.cmi - Ocamlc src/plugins/rte/visit.cmi - Ocamlc src/plugins/from/from_parameters.cmi - Ocamlc src/plugins/from/from_compute.cmi - Ocamlc src/plugins/from/functionwise.cmi - Ocamlc src/plugins/from/callwise.cmi - Ocamlc src/plugins/from/from_register.cmi - Ocamlc src/plugins/constant_propagation/propagationParameters.cmi - Ocamlc src/plugins/constant_propagation/register.cmi - Ocamlc src/plugins/postdominators/postdominators_parameters.cmi - Ocamlc src/plugins/inout/inout_parameters.cmi - Ocamlc src/plugins/inout/cumulative_analysis.cmi - Ocamlc src/plugins/inout/outputs.cmi - Ocamlc src/plugins/inout/inputs.cmi - Ocamlc src/plugins/inout/derefs.cmi - Ocamlc src/plugins/impact/options.cmi - Ocamlc src/plugins/impact/pdg_aux.cmi - Ocamlc src/plugins/pdg/pdg_parameters.cmi - Ocamlc src/plugins/pdg/ctrlDpds.cmi - Ocamlc src/plugins/pdg/pdg_state.cmi - Ocamlc src/plugins/pdg/build.cmi - Ocamlc src/plugins/pdg/sets.cmi - Ocamlc src/plugins/pdg/annot.cmi - Ocamlc src/plugins/pdg/marks.cmi - Ocamlc src/plugins/scope/datascope.cmi - Ocamlc src/plugins/scope/zones.cmi - Ocamlc src/plugins/scope/defs.cmi - Ocamlc src/plugins/sparecode/sparecode_params.cmi - Ocamlc src/plugins/sparecode/spare_marks.cmi - Ocamlc src/plugins/slicing/slicingParameters.cmi - Ocamlc src/plugins/slicing/slicingState.cmi - Ocamlc src/plugins/slicing/slicingMacros.cmi - Ocamlc src/plugins/slicing/slicingMarks.cmi - Ocamlc src/plugins/slicing/slicingActions.cmi - Ocamlc src/plugins/slicing/fct_slice.cmi - Ocamlc src/plugins/slicing/printSlice.cmi - Ocamlc src/plugins/slicing/slicingProject.cmi - Ocamlc src/plugins/slicing/slicingTransform.cmi - Ocamlc src/plugins/slicing/slicingCmds.cmi - Generating META.frama-c-metrics - Generating META.frama-c-callgraph - Generating META.frama-c-value - Generating META.frama-c-occurrence - Generating META.frama-c-rtegen - Generating META.frama-c-from - Generating META.frama-c-users - Generating META.frama-c-constant_propagation - Generating META.frama-c-postdominators - Generating META.frama-c-inout - Generating META.frama-c-impact - Generating META.frama-c-pdg - Generating META.frama-c-scope - Generating META.frama-c-sparecode - Generating META.frama-c-slicing - Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx - Ocamlopt src/kernel_services/parsetree/cabshelper.cmx - Ocamlopt src/kernel_services/ast_queries/ast_info.cmx - Ocamlopt src/plugins/aorai/utils_parser.cmx - Ocamlopt src/kernel_services/abstract_interp/origin.cmx - Ocamlc src/kernel_internals/runtime/frama_c_init.cmo - Ocamlc src/libraries/datatype/unmarshal_z.cmo - Ocamlc src/libraries/utils/indexer.cmo - Ocamlc src/libraries/utils/rgmap.cmo - Ocamlc src/libraries/utils/leftistheap.cmo - Ocamlc src/kernel_services/ast_printing/cil_types_debug.cmo - Ocamlc src/libraries/utils/cilconfig.cmo - Ocamlc src/kernel_services/ast_printing/cabs_debug.cmo - Ocamlc src/kernel_services/analysis/service_graph.cmo - Ocamlc src/plugins/value_types/widen_type.cmo - Ocamlc src/kernel_internals/typing/translate_lightweight.cmo - Ocamlc src/kernel_internals/typing/allocates.cmo - Ocamlc src/kernel_internals/typing/unroll_loops.cmo - Ocamlc src/kernel_internals/typing/asm_contracts.cmo - Ocamlc src/kernel_services/analysis/exn_flow.cmo - Ocamlc src/kernel_services/analysis/destructors.cmo - Ocamlc src/kernel_services/analysis/logic_interp.cmo - Ocamlc src/kernel_internals/typing/infer_annotations.cmo - Ocamlc src/kernel_services/ast_transformations/clone.cmo - Ocamlc src/kernel_services/ast_transformations/filter.cmo - Ocamlc src/kernel_internals/runtime/special_hooks.cmo - Ocamlc src/kernel_internals/runtime/messages.cmo - Ocamlc src/plugins/metrics/metrics_parameters.cmo - Ocamlc src/plugins/metrics/metrics_base.cmo - Ocamlc src/plugins/metrics/metrics_acsl.cmo - Ocamlc src/plugins/metrics/metrics_cabs.cmo - Ocamlc src/plugins/metrics/metrics_cilast.cmi - Ocamlc src/plugins/metrics/metrics_coverage.cmo - Ocamlc src/plugins/callgraph/options.cmo - Ocamlc src/plugins/callgraph/journalize.cmo - Ocamlc src/plugins/callgraph/cg.cmi - Ocamlc src/plugins/callgraph/services.cmi - Ocamlc src/plugins/value/slevel/split_strategy.cmo - Ocamlc src/plugins/value/value_parameters.cmi - Ocamlc src/plugins/value/utils/widen_hints_ext.cmo - Ocamlc src/plugins/value/engine/split_return.cmi - Ocamlc src/plugins/value/eval.cmi - Ocamlc src/plugins/value/utils/backward_formals.cmo - Ocamlc src/plugins/value/utils/structure.cmo - Ocamlc src/plugins/value/domains/hcexprs.cmo - Ocamlc src/plugins/value/domains/equality/equality.cmi - Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmo - Ocamlc src/plugins/value/domains/cvalue/builtins_malloc.cmi - Ocamlc src/plugins/value/legacy/eval_annots.cmi - Ocamlc src/plugins/occurrence/options.cmo - Ocamlc src/plugins/occurrence/register.cmo - Ocamlc src/plugins/rte/options.cmo - Ocamlc src/plugins/rte/generator.cmo - Ocamlc src/plugins/rte/rte.cmo - Ocamlc src/plugins/rte/visit.cmo - Ocamlc src/plugins/rte/register.cmo - Ocamlc src/plugins/from/from_parameters.cmo - Ocamlc src/plugins/from/from_compute.cmo - Ocamlc src/plugins/from/callwise.cmo - Ocamlc src/plugins/constant_propagation/propagationParameters.cmo - Ocamlc src/plugins/constant_propagation/register.cmo - Ocamlc src/plugins/postdominators/postdominators_parameters.cmo - Ocamlc src/plugins/postdominators/print.cmo - Ocamlc src/plugins/inout/inout_parameters.cmo - Ocamlc src/plugins/inout/cumulative_analysis.cmo - Ocamlc src/plugins/inout/derefs.cmo - Ocamlc src/plugins/impact/options.cmo - Ocamlc src/plugins/impact/pdg_aux.cmo - Ocamlc src/plugins/impact/reason_graph.cmo - Ocamlc src/plugins/pdg/pdg_parameters.cmo - Ocamlc src/plugins/pdg/ctrlDpds.cmo - Ocamlc src/plugins/pdg/pdg_state.cmo - Ocamlc src/plugins/pdg/build.cmo - Ocamlc src/plugins/pdg/sets.cmo - Ocamlc src/plugins/pdg/annot.cmo - Ocamlc src/plugins/pdg/marks.cmo - Ocamlc src/plugins/scope/datascope.cmo - Ocamlc src/plugins/scope/zones.cmo - Ocamlc src/plugins/scope/defs.cmo - Ocamlc src/plugins/sparecode/sparecode_params.cmo - Ocamlc src/plugins/sparecode/globs.cmo - Ocamlc src/plugins/sparecode/transform.cmo - Ocamlc src/plugins/slicing/slicingParameters.cmo - Ocamlc src/plugins/slicing/slicingState.cmo - Ocamlc src/plugins/slicing/slicingMacros.cmo - Ocamlc src/plugins/slicing/slicingMarks.cmo - Ocamlc src/plugins/slicing/slicingActions.cmo - Ocamlc src/plugins/slicing/printSlice.cmo - Ocamlc src/plugins/slicing/slicingProject.cmo - Ocamlc src/plugins/slicing/slicingTransform.cmo - Ocamlc src/plugins/slicing/register.cmo - Ocamlc src/plugins/metrics/metrics_cilast.cmo - Ocamlc src/plugins/metrics/register.cmo - Ocamlc src/plugins/callgraph/cg.cmo - Ocamlc src/plugins/callgraph/services.cmo - Ocamlc src/plugins/callgraph/uses.cmo - Ocamlc src/plugins/callgraph/register.cmo - Ocamlc src/plugins/value/utils/eval_typ.cmi - Ocamlc src/plugins/value/eval.cmo - Ocamlc src/plugins/value/values/abstract_value.cmi - Ocamlc src/plugins/value/values/abstract_location.cmi - Ocamlc src/plugins/value/values/cvalue_forward.cmi - Ocamlc src/plugins/value/domains/abstract_domain.cmi - Ocamlc src/plugins/value/domains/equality/equality.cmo - Ocamlc src/plugins/value/domains/cvalue/cvalue_specification.cmi - Ocamlc src/plugins/value/engine/mem_exec.cmi - Ocamlc src/plugins/value/utils/eval_typ.cmo - Ocamlc src/plugins/value/values/location_lift.cmi - Ocamlc src/plugins/value/values/main_locations.cmi - Ocamlopt src/kernel_services/visitors/cabsvisit.cmx - Ocamlc src/plugins/value/values/value_product.cmi - Ocamlc src/plugins/value/values/main_values.cmi - Ocamlc src/plugins/value/values/offsm_value.cmi - Ocamlc src/plugins/value/values/location_lift.cmo - Ocamlc src/plugins/impact/compute_impact.cmi - Ocamlc src/plugins/value/values/main_locations.cmo - Ocamlc src/plugins/value/value_parameters.cmo - Ocamlc src/plugins/value/slevel/stop_at_nth.cmo - Ocamlc src/plugins/value/utils/value_perf.cmo - Ocamlc src/plugins/value/utils/value_util.cmi - Ocamlc src/plugins/value/utils/mark_noresults.cmo - Ocamlc src/plugins/value/slevel/separate.cmo - Ocamlc src/plugins/value/utils/widen.cmo - Ocamlc src/plugins/value/engine/split_return.cmo - Ocamlc src/plugins/value/values/value_product.cmo - Ocamlc src/plugins/value/values/offsm_value.cmo - Ocamlc src/plugins/value/legacy/function_args.cmo - Ocamlc src/plugins/value/domains/domain_store.cmi - Ocamlc src/plugins/value/domains/domain_builder.cmi - Ocamlc src/plugins/value/domains/domain_product.cmi - Ocamlc src/plugins/value/domains/domain_lift.cmi - Ocamlc src/plugins/value/domains/unit_domain.cmi - Ocamlc src/plugins/value/domains/gauges/gauges_domain.cmi - Ocamlc src/plugins/value/domains/apron/apron_domain.cmi - Ocamlc src/plugins/value/domains/equality/equality_domain.cmi - Ocamlc src/plugins/value/domains/offsm_domain.cmi - Ocamlc src/plugins/value/domains/symbolic_locs.cmi - Ocamlc src/plugins/value/domains/powerset.cmi - Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmi - Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmi - Ocamlc src/plugins/value/engine/evaluation.cmi - Ocamlc src/plugins/value/engine/abstractions.cmi - Ocamlc src/plugins/postdominators/compute.cmo - Ocamlc src/plugins/sparecode/register.cmo - Ocamlc src/plugins/impact/compute_impact.cmo - Ocamlc src/plugins/impact/register.cmo - Ocamlc src/plugins/value/domains/domain_store.cmo - Ocamlc src/plugins/value/utils/value_util.cmo - Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmo - Ocamlc src/plugins/value/utils/library_functions.cmo - Ocamlc src/plugins/value/alarmset.cmo - Ocamlc src/plugins/value/legacy/warn.cmo - Ocamlc src/plugins/value/values/cvalue_forward.cmo - Ocamlc src/plugins/value/values/cvalue_backward.cmo - Ocamlc src/plugins/value/values/main_values.cmo - Ocamlc src/plugins/value/legacy/eval_op.cmo - Ocamlc src/plugins/value/domains/cvalue/builtins.cmo - Ocamlc src/plugins/value/domains/cvalue/builtins_malloc.cmo - Ocamlc src/plugins/value/domains/cvalue/builtins_string.cmo - Ocamlc src/plugins/value/domains/cvalue/builtins_misc.cmo - Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmo - Ocamlc src/plugins/value/utils/value_results.cmo - Ocamlc src/plugins/value/utils/state_import.cmo - Ocamlc src/plugins/value/legacy/eval_terms.cmo - Ocamlc src/plugins/value/legacy/eval_annots.cmo - Ocamlc src/plugins/value/domains/powerset.cmo - Ocamlc src/plugins/value/engine/transfer_logic.cmi - Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmo - Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmo - Ocamlc src/plugins/value/engine/recursion.cmo - Ocamlc src/plugins/value/engine/initialization.cmi - Ocamlc src/plugins/value/engine/partitioning.cmi - Ocamlc src/plugins/value/domains/domain_builder.cmo - Ocamlc src/plugins/value/domains/domain_product.cmo - Ocamlc src/plugins/value/domains/domain_lift.cmo - Ocamlc src/plugins/value/domains/unit_domain.cmo - Ocamlc src/plugins/value/domains/gauges/gauges_domain.cmo - Ocamlc src/plugins/value/domains/apron/apron_domain.cmo - Ocamlc src/plugins/value/domains/offsm_domain.cmo - Ocamlc src/plugins/value/domains/symbolic_locs.cmo - Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmo - Ocamlc src/plugins/value/engine/evaluation.cmo - Ocamlc src/plugins/value/engine/non_linear_evaluation.cmi - Ocamlc src/plugins/value/domains/equality/equality_domain.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Occurrence.cmi - Ocamlc src/plugins/value/engine/abstractions.cmo - Ocamlc src/plugins/value/engine/compute_functions.cmi - Ocamlc src/plugins/value/engine/analysis.cmi - Ocamlc src/plugins/value/engine/transfer_logic.cmo - Ocamlc src/plugins/value/domains/cvalue/cvalue_specification.cmo - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmi - Ocamlc src/plugins/value/engine/partitioning.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Constant_Propagation.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmo - Ocamlc src/plugins/value/engine/non_linear_evaluation.cmo - Ocamlc src/plugins/value/engine/transfer_stmt.cmi - Ocamlc src/plugins/value/engine/initialization.cmo - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmi - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/RteGen.cmi - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Callgraph.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmo - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmo - Ocamlc src/plugins/value/engine/analysis.cmo - Ocamlc src/plugins/value/engine/transfer_stmt.cmo - Ocamlc src/plugins/value/engine/mem_exec.cmo - Ocamlc src/plugins/value/engine/partitioned_dataflow.cmi - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Metrics.cmi - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Scope.cmi - Ocamlc src/plugins/value/engine/partitioned_dataflow.cmo - Ocamlc src/plugins/value/engine/compute_functions.cmo - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmo - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmo - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmi - Ocamlc src/plugins/value/register.cmo - Ocamlc src/plugins/from/functionwise.cmo - Ocamlc src/plugins/from/from_register.cmo - Ocamlc src/plugins/users/users_register.cmo - Ocamlc src/plugins/inout/operational_inputs.cmo - Ocamlc src/plugins/inout/inputs.cmo - Ocamlc src/plugins/pdg/register.cmo - Ocamlc src/plugins/slicing/slicingCmds.cmo - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Postdominators.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Impact.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Pdg.cmi - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/From.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmi - Ocamlc src/plugins/sparecode/spare_marks.cmo - Ocamlc src/plugins/slicing/fct_slice.cmo - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmo - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Users.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmo - Ocamlc src/plugins/inout/outputs.cmo - Ocamlc src/plugins/inout/register.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Sparecode.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Slicing.cmi - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Value.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmo - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmo - Ocamlc /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/Inout.cmi - Generating /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmi - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmo - Linking bin/toplevel.byte - Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx - Ocamlopt src/kernel_services/ast_data/ast.cmx - Ocamlopt src/kernel_services/ast_printing/logic_print.cmx - Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx - Ocamlopt src/kernel_services/analysis/undefined_sequence.cmx - Ocamlopt src/kernel_internals/typing/rmtmps.cmx - Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx - Ocamlopt src/kernel_services/ast_printing/cprint.cmx - Ocamlopt src/kernel_internals/parsing/logic_parser.cmx - Ocamlopt src/kernel_internals/typing/oneret.cmx - Ocamlopt src/kernel_internals/typing/logic_builtin.cmx - Ocamlopt src/kernel_internals/parsing/logic_lexer.cmx - Ocamlopt src/kernel_services/ast_queries/logic_typing.cmx - Ocamlopt src/kernel_internals/parsing/cparser.cmx - Ocamlopt src/kernel_internals/parsing/clexer.cmx - Ocamlopt src/kernel_internals/parsing/logic_preprocess.cmx - Ocamlopt src/kernel_services/ast_data/globals.cmx - Ocamlopt src/kernel_internals/typing/cabs2cil.cmx - Ocamlopt src/kernel_internals/typing/cfg.cmx - Ocamlopt src/kernel_internals/typing/frontc.cmx - Ocamlopt src/kernel_services/ast_data/kernel_function.cmx - Ocamlopt src/kernel_services/ast_data/property.cmx - Ocamlopt src/kernel_services/analysis/wto_statement.cmx - Ocamlopt src/kernel_services/analysis/ordered_stmt.cmx - Ocamlopt src/kernel_services/analysis/dataflow2.cmx - Ocamlopt src/kernel_services/ast_data/property_status.cmx - Ocamlopt src/kernel_services/ast_data/annotations.cmx - Ocamlopt src/kernel_services/ast_printing/printer.cmx - Ocamlopt src/plugins/aorai/promelaoutput.cmx - Ocamlopt src/kernel_services/visitors/visitor.cmx - Ocamlopt src/kernel_internals/typing/mergecil.cmx - Ocamlopt src/kernel_services/analysis/bit_utils.cmx - Ocamlopt src/kernel_services/ast_data/alarms.cmx - Ocamlopt src/plugins/aorai/logic_simplification.cmx - Ocamlopt src/kernel_services/abstract_interp/base.cmx - Ocamlopt src/kernel_services/abstract_interp/tr_offset.cmx - Ocamlopt src/kernel_services/abstract_interp/offsetmap.cmx - Ocamlopt src/plugins/aorai/data_for_aorai.cmx - Ocamlopt src/kernel_services/ast_queries/filecheck.cmx - Ocamlopt src/kernel_services/ast_queries/file.cmx - Ocamlopt src/plugins/aorai/aorai_utils.cmx - Ocamlopt src/plugins/aorai/yaparser.cmx - Ocamlopt src/plugins/aorai/promelaparser.cmx - Ocamlopt src/plugins/aorai/promelaparser_withexps.cmx - Ocamlopt src/kernel_services/abstract_interp/int_Intervals.cmx - Ocamlopt src/plugins/aorai/promelalexer.cmx - Ocamlopt src/plugins/aorai/promelalexer_withexps.cmx - Ocamlopt src/plugins/aorai/yalexer.cmx - Ocamlopt src/kernel_services/abstract_interp/locations.cmx - Ocamlopt src/plugins/value_types/precise_locs.cmx - Ocamlopt src/kernel_services/abstract_interp/lmap_bitwise.cmx - Ocamlopt src/kernel_services/abstract_interp/lmap.cmx - Ocamlopt src/plugins/pdg_types/pdgIndex.cmx - Ocamlopt src/plugins/value_types/inout_type.cmx - Ocamlopt src/plugins/aorai/aorai_dataflow.cmx - Ocamlopt src/plugins/aorai/aorai_visitors.cmx - Ocamlopt src/plugins/value_types/function_Froms.cmx - Ocamlopt src/plugins/pdg_types/pdgTypes.cmx - Ocamlopt src/plugins/value_types/cvalue.cmx - Ocamlopt src/plugins/pdg_types/pdgMarks.cmx - Ocamlopt src/plugins/value_types/value_types.cmx - Ocamlopt src/plugins/slicing_types/slicingInternals.cmx - Ocamlopt src/plugins/slicing_types/slicingTypes.cmx - Ocamlopt src/kernel_services/plugin_entry_points/db.cmx - Ocamlopt src/plugins/aorai/aorai_register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmxs - Ocamlopt src/plugins/e-acsl/local_config.cmx - Ocamlopt src/plugins/e-acsl/literal_strings.cmx - Ocamlopt src/kernel_services/analysis/stmts_graph.cmx - Ocamlopt src/kernel_services/analysis/dataflow.cmx - Ocamlopt src/plugins/e-acsl/options.cmx - Ocamlopt src/plugins/e-acsl/rte.cmx - Ocamlopt src/plugins/e-acsl/error.cmx - Ocamlopt src/plugins/e-acsl/builtins.cmx - Ocamlopt src/plugins/e-acsl/prepare_ast.cmx - Ocamlopt src/plugins/e-acsl/exit_points.cmx - Ocamlopt src/plugins/e-acsl/label.cmx - Ocamlopt src/plugins/e-acsl/interval.cmx - Ocamlopt src/plugins/e-acsl/misc.cmx - Ocamlopt src/plugins/e-acsl/gmpz.cmx - Ocamlopt src/plugins/e-acsl/mmodel_analysis.cmx - Ocamlopt src/plugins/e-acsl/dup_functions.cmx - Ocamlopt src/plugins/e-acsl/env.cmx - Ocamlopt src/plugins/e-acsl/typing.cmx - Ocamlopt src/plugins/e-acsl/quantif.cmx - Ocamlopt src/plugins/e-acsl/translate.cmx - Ocamlopt src/plugins/e-acsl/loops.cmx - Ocamlopt src/plugins/e-acsl/visit.cmx - Ocamlopt src/plugins/e-acsl/main.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmxs - Ocamlopt src/plugins/loop_analysis/options.cmx - Ocamlopt src/plugins/loop_analysis/region_analysis_sig.cmx - Ocamlopt src/kernel_services/analysis/dominators.cmx - Ocamlopt src/kernel_services/analysis/dataflows.cmx - Ocamlopt src/plugins/loop_analysis/region_analysis.cmx - Ocamlopt src/plugins/loop_analysis/region_analysis_stmt.cmx - Ocamlopt src/kernel_services/analysis/loop.cmx - Ocamlopt src/plugins/loop_analysis/loop_analysis.cmx - Ocamlopt src/plugins/loop_analysis/slevel_analysis.cmx - Ocamlopt src/plugins/loop_analysis/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmxs - Ocamlopt src/plugins/nonterm/nonterm_run.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmxs - Ocamlopt src/plugins/obfuscator/options.cmx - Ocamlopt src/plugins/obfuscator/obfuscator_kind.cmx - Ocamlopt src/plugins/obfuscator/dictionary.cmx - Ocamlopt src/plugins/obfuscator/obfuscate.cmx - Ocamlopt src/plugins/obfuscator/obfuscator_register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmxs - Ocamlopt src/plugins/print_api/grammar.cmx - Ocamlopt src/plugins/print_api/lexer.cmx - Ocamlopt src/plugins/print_api/print_interface.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmxs - Ocamlopt src/plugins/report/report_parameters.cmx - Ocamlopt src/kernel_services/ast_printing/description.cmx - Ocamlopt src/plugins/report/scan.cmx - Ocamlopt src/plugins/report/csv.cmx - Ocamlopt src/plugins/report/dump.cmx - Ocamlopt src/plugins/report/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmxs - Ocamlopt src/plugins/variadic/options.cmx - Ocamlopt src/plugins/variadic/va_build.cmx - Ocamlopt src/plugins/variadic/environment.cmx - Ocamlopt src/plugins/variadic/extends.cmx - Ocamlopt src/plugins/variadic/format_pprint.cmx - Ocamlopt src/plugins/variadic/format_typer.cmx - Ocamlopt src/plugins/variadic/generic.cmx - Ocamlopt src/plugins/variadic/classify.cmx - Ocamlopt src/plugins/variadic/format_parser.cmx - Ocamlopt src/plugins/variadic/standard.cmx - Ocamlopt src/plugins/variadic/translate.cmx - Ocamlopt src/plugins/variadic/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmxs - Ocamlopt src/plugins/wp/rformat.cmx - Ocamlopt src/plugins/wp/wprop.cmx - Ocamlopt src/libraries/utils/command.cmx - Ocamlopt src/plugins/wp/wp_error.cmx - Compiling Qed (opt) - Ocamlopt src/plugins/wp/Separation.cmx - Ocamlopt src/kernel_services/ast_data/statuses_by_call.cmx - Ocamlopt src/libraries/utils/bag.cmx - Ocamlopt src/plugins/wp/script.cmx - Ocamlopt src/libraries/utils/vector.cmx - Ocamlopt src/libraries/utils/json.cmx - Ocamlopt src/plugins/wp/why3_xml.cmx - Ocamlopt src/plugins/wp/wp_parameters.cmx - Ocamlopt src/libraries/utils/task.cmx - Ocamlopt src/plugins/wp/dyncall.cmx - Ocamlopt src/plugins/wp/Context.cmx - Ocamlopt src/plugins/wp/VCS.cmx - Ocamlopt src/plugins/wp/Warning.cmx - Ocamlopt src/plugins/wp/Model.cmx - Ocamlopt src/plugins/wp/ctypes.cmx - Ocamlopt src/plugins/wp/Splitter.cmx - Ocamlopt src/plugins/wp/clabels.cmx - Ocamlopt src/plugins/wp/RefUsage.cmx - Ocamlopt src/plugins/wp/LogicUsage.cmx - Ocamlopt src/plugins/wp/cil2cfg.cmx - Ocamlopt src/plugins/wp/normAtLabels.cmx - Ocamlopt src/plugins/wp/Lang.cmx - Ocamlopt src/plugins/wp/wpPropId.cmx - Ocamlopt src/plugins/wp/mcfg.cmx - Ocamlopt src/plugins/wp/wpStrategy.cmx - Ocamlopt src/plugins/wp/proof.cmx - Ocamlopt src/plugins/wp/ProverTask.cmx - Ocamlopt src/plugins/wp/Repr.cmx - Ocamlopt src/plugins/wp/Matrix.cmx - Ocamlopt src/plugins/wp/Passive.cmx - Ocamlopt src/plugins/wp/Letify.cmx - Ocamlopt src/plugins/wp/Cleaning.cmx - Ocamlopt src/plugins/wp/LogicBuiltins.cmx - Ocamlopt src/plugins/wp/Vset.cmx - Ocamlopt src/plugins/wp/Footprint.cmx - Ocamlopt src/plugins/wp/calculus.cmx - Ocamlopt src/plugins/wp/Definitions.cmx - Ocamlopt src/plugins/wp/Cint.cmx - Ocamlopt src/plugins/wp/Cfloat.cmx - Ocamlopt src/plugins/wp/driver.cmx - Ocamlopt src/plugins/wp/Region.cmx - Ocamlopt src/plugins/wp/Vlist.cmx - Ocamlopt src/plugins/wp/wpRTE.cmx - Ocamlopt src/plugins/wp/Cstring.cmx - Ocamlopt src/plugins/wp/wpAnnot.cmx - Ocamlopt src/plugins/wp/Memory.cmx - Ocamlopt src/plugins/wp/Plang.cmx - Ocamlopt src/plugins/wp/Cvalues.cmx - Ocamlopt src/plugins/wp/Mstate.cmx - Ocamlopt src/plugins/wp/Sigma.cmx - Ocamlopt src/plugins/wp/LogicAssigns.cmx - Ocamlopt src/plugins/wp/Conditions.cmx - Ocamlopt src/plugins/wp/CodeSemantics.cmx - Ocamlopt src/plugins/wp/LogicCompiler.cmx - Ocamlopt src/plugins/wp/MemEmpty.cmx - Ocamlopt src/plugins/wp/MemZeroAlias.cmx - Ocamlopt src/plugins/wp/MemVar.cmx - Ocamlopt src/plugins/wp/MemTyped.cmx - Ocamlopt src/plugins/wp/Filtering.cmx - Ocamlopt src/plugins/wp/Pcfg.cmx - Ocamlopt src/plugins/wp/Tactical.cmx - Ocamlopt src/plugins/wp/WpTac.cmx - Ocamlopt src/plugins/wp/Pcond.cmx - Ocamlopt src/plugins/wp/LogicSemantics.cmx - Ocamlopt src/plugins/wp/Strategy.cmx - Ocamlopt src/plugins/wp/ProofScript.cmx - Ocamlopt src/plugins/wp/TacSplit.cmx - Ocamlopt src/plugins/wp/TacChoice.cmx - Ocamlopt src/plugins/wp/TacRange.cmx - Ocamlopt src/plugins/wp/TacArray.cmx - Ocamlopt src/plugins/wp/TacCompound.cmx - Ocamlopt src/plugins/wp/TacUnfold.cmx - Ocamlopt src/plugins/wp/TacInstance.cmx - Ocamlopt src/plugins/wp/TacFilter.cmx - Ocamlopt src/plugins/wp/TacCut.cmx - Ocamlopt src/plugins/wp/TacNormalForm.cmx - Ocamlopt src/plugins/wp/TacRewrite.cmx - Ocamlopt src/plugins/wp/wpo.cmx - Ocamlopt src/plugins/wp/TacHavoc.cmx - Ocamlopt src/plugins/wp/Factory.cmx - Ocamlopt src/plugins/wp/TacLemma.cmx - Ocamlopt src/plugins/wp/Auto.cmx - Ocamlopt src/plugins/wp/wpReport.cmx - Ocamlopt src/plugins/wp/ProofSession.cmx - Ocamlopt src/plugins/wp/ProverErgo.cmx - Ocamlopt src/plugins/wp/ProverCoq.cmx - Ocamlopt src/plugins/wp/ProverWhy3.cmx - Ocamlopt src/plugins/wp/Generator.cmx - Ocamlopt src/plugins/wp/ProofEngine.cmx - Ocamlopt src/plugins/wp/cfgDump.cmx - Ocamlopt src/plugins/wp/cfgWP.cmx - Ocamlopt src/plugins/wp/ProverSearch.cmx - Ocamlopt src/plugins/wp/ProverWhy3ide.cmx - Ocamlopt src/plugins/wp/prover.cmx - Ocamlopt src/plugins/wp/ProverScript.cmx - Ocamlopt src/plugins/wp/register.cmx - Ocamlopt src/plugins/wp/VC.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmxs - Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx - Ocamlopt src/libraries/datatype/unmarshal_z.cmx - Ocamlopt src/libraries/utils/indexer.cmx - Ocamlopt src/libraries/utils/rgmap.cmx - Ocamlopt src/libraries/utils/leftistheap.cmx - Ocamlopt src/kernel_services/ast_printing/cil_types_debug.cmx - Ocamlopt src/libraries/utils/cilconfig.cmx - Ocamlopt src/kernel_services/ast_printing/cabs_debug.cmx - Ocamlopt src/kernel_services/analysis/service_graph.cmx - Ocamlopt src/plugins/value_types/widen_type.cmx - Ocamlopt src/kernel_internals/typing/translate_lightweight.cmx - Ocamlopt src/kernel_internals/typing/allocates.cmx - Ocamlopt src/kernel_internals/typing/unroll_loops.cmx - Ocamlopt src/kernel_internals/typing/asm_contracts.cmx - Ocamlopt src/kernel_services/analysis/exn_flow.cmx - Ocamlopt src/kernel_services/analysis/logic_interp.cmx - Ocamlopt src/kernel_internals/typing/infer_annotations.cmx - Ocamlopt src/kernel_services/ast_transformations/clone.cmx - Ocamlopt src/kernel_services/ast_transformations/filter.cmx - Ocamlopt src/kernel_internals/runtime/special_hooks.cmx - Ocamlopt src/kernel_internals/runtime/messages.cmx - Ocamlopt src/kernel_internals/runtime/boot.cmx - Ocamlopt src/plugins/metrics/metrics_parameters.cmx - Ocamlopt src/plugins/metrics/css_html.cmx - Ocamlopt src/plugins/callgraph/options.cmx - Ocamlopt src/plugins/callgraph/journalize.cmx - Ocamlopt src/plugins/value/slevel/split_strategy.cmx - Ocamlopt src/plugins/value/utils/widen_hints_ext.cmx - Ocamlopt src/plugins/value/utils/eval_typ.cmx - Ocamlopt src/plugins/value/utils/backward_formals.cmx - Ocamlopt src/plugins/value/utils/structure.cmx - Ocamlopt src/plugins/value/domains/hcexprs.cmx - Ocamlopt src/plugins/value/domains/equality/equality.cmx - Ocamlopt src/plugins/occurrence/options.cmx - Ocamlopt src/plugins/rte/options.cmx - Ocamlopt src/plugins/from/from_parameters.cmx - Ocamlopt src/plugins/constant_propagation/propagationParameters.cmx - Ocamlopt src/plugins/postdominators/postdominators_parameters.cmx - Ocamlopt src/plugins/inout/inout_parameters.cmx - Ocamlopt src/plugins/impact/options.cmx - Ocamlopt src/plugins/pdg/pdg_parameters.cmx - Ocamlopt src/plugins/scope/datascope.cmx - Ocamlopt src/plugins/sparecode/sparecode_params.cmx - Ocamlopt src/plugins/slicing/slicingParameters.cmx - Ocamlopt src/plugins/slicing/slicingMarks.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmxa - Ocamlopt src/plugins/metrics/metrics_base.cmx - Ocamlopt src/plugins/callgraph/cg.cmx - Ocamlopt src/plugins/value/value_parameters.cmx - Ocamlopt src/plugins/occurrence/register.cmx - Ocamlopt src/plugins/rte/generator.cmx - Ocamlopt src/plugins/rte/rte.cmx - Ocamlopt src/plugins/from/from_compute.cmx - Ocamlopt src/plugins/from/from_register.cmx - Ocamlopt src/plugins/users/users_register.cmx - Ocamlopt src/plugins/constant_propagation/register.cmx - Ocamlopt src/plugins/postdominators/print.cmx - Ocamlopt src/plugins/inout/cumulative_analysis.cmx - Ocamlopt src/plugins/impact/pdg_aux.cmx - Ocamlopt src/plugins/pdg/ctrlDpds.cmx - Ocamlopt src/plugins/pdg/pdg_state.cmx - Ocamlopt src/plugins/sparecode/globs.cmx - Ocamlopt src/plugins/slicing/slicingState.cmx - Ocamlopt src/plugins/sparecode/spare_marks.cmx - Ocamlopt src/plugins/slicing/slicingCmds.cmx - Ocamlopt src/kernel_services/analysis/destructors.cmx - Ocamlopt src/plugins/metrics/metrics_acsl.cmx - Ocamlopt src/plugins/metrics/metrics_cabs.cmx - Ocamlopt src/plugins/metrics/metrics_cilast.cmx - Ocamlopt src/plugins/metrics/metrics_coverage.cmx - Ocamlopt src/plugins/scope/zones.cmx - Ocamlopt src/plugins/scope/defs.cmx - Ocamlopt src/plugins/rte/visit.cmx - Ocamlopt src/plugins/slicing/slicingMacros.cmx - Ocamlopt src/plugins/pdg/sets.cmx - Ocamlopt src/plugins/impact/reason_graph.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmx - Ocamlopt src/plugins/postdominators/compute.cmx - Ocamlopt src/plugins/inout/operational_inputs.cmx - Ocamlopt src/plugins/inout/inputs.cmx - Ocamlopt src/plugins/inout/derefs.cmx - Ocamlopt src/plugins/pdg/build.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmxs - Ocamlopt src/plugins/sparecode/transform.cmx - Ocamlopt src/plugins/callgraph/services.cmx - Ocamlopt src/plugins/callgraph/uses.cmx - Ocamlopt src/plugins/slicing/slicingActions.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmx - Ocamlopt src/plugins/value/slevel/stop_at_nth.cmx - Ocamlopt src/plugins/value/utils/value_perf.cmx - Ocamlopt src/plugins/value/utils/mark_noresults.cmx - Ocamlopt src/plugins/value/slevel/separate.cmx - Ocamlopt src/plugins/value/utils/widen.cmx - Ocamlopt src/plugins/value/engine/split_return.cmx - Ocamlopt src/plugins/from/functionwise.cmx - Ocamlopt src/plugins/from/callwise.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmxs - Ocamlopt src/plugins/pdg/annot.cmx - Ocamlopt src/plugins/pdg/marks.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmx - Ocamlopt src/plugins/impact/compute_impact.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmx - Ocamlopt src/plugins/sparecode/register.cmx - Ocamlopt src/plugins/slicing/fct_slice.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmxs - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmxs - Ocamlopt src/plugins/callgraph/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmxs - Ocamlopt src/plugins/value/utils/value_util.cmx - Ocamlopt src/plugins/metrics/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmx - Ocamlopt src/plugins/inout/outputs.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmxs - Ocamlopt src/plugins/rte/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmxs - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmxs - Ocamlopt src/plugins/pdg/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmx - Ocamlopt src/plugins/impact/register.cmx - Ocamlopt src/plugins/slicing/printSlice.cmx - Ocamlopt src/plugins/slicing/slicingTransform.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmxs - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmx - Ocamlopt src/plugins/inout/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmxs - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmx - Ocamlopt src/plugins/value/slevel/per_stmt_slevel.cmx - Ocamlopt src/plugins/value/utils/library_functions.cmx - Ocamlopt src/plugins/value/alarmset.cmx - Ocamlopt src/plugins/value/legacy/warn.cmx - Ocamlopt src/plugins/value/domains/cvalue/cvalue_init.cmx - Ocamlopt src/plugins/value/engine/recursion.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmxs - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmxs - Ocamlopt src/plugins/slicing/slicingProject.cmx - Ocamlopt src/plugins/value/domains/cvalue/locals_scoping.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmxs - Ocamlopt src/plugins/value/domains/cvalue/builtins.cmx - Ocamlopt src/plugins/slicing/register.cmx - Ocamlopt src/plugins/value/eval.cmx - Ocamlopt src/plugins/value/values/main_locations.cmx - Ocamlopt src/plugins/value/values/value_product.cmx - Ocamlopt src/plugins/value/values/location_lift.cmx - Ocamlopt src/plugins/value/values/cvalue_forward.cmx - Ocamlopt src/plugins/value/domains/domain_store.cmx - Ocamlopt src/plugins/value/domains/domain_product.cmx - Ocamlopt src/plugins/value/domains/domain_lift.cmx - Ocamlopt src/plugins/value/domains/powerset.cmx - Ocamlopt src/plugins/value/utils/value_results.cmx - Ocamlopt src/plugins/value/engine/transfer_logic.cmx - Ocamlopt src/plugins/value/domains/domain_builder.cmx - Ocamlopt src/plugins/value/domains/gauges/gauges_domain.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmx - Ocamlopt src/plugins/value/domains/unit_domain.cmx - Ocamlopt src/plugins/value/domains/symbolic_locs.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmxs - Ocamlopt src/plugins/value/values/cvalue_backward.cmx - Ocamlopt src/plugins/value/legacy/eval_op.cmx - Ocamlopt src/plugins/value/values/main_values.cmx - Ocamlopt src/plugins/value/legacy/function_args.cmx - Ocamlopt src/plugins/value/domains/cvalue/builtins_malloc.cmx - Ocamlopt src/plugins/value/domains/cvalue/builtins_misc.cmx - Ocamlopt src/plugins/value/domains/cvalue/builtins_string.cmx - Ocamlopt src/plugins/value/domains/cvalue/builtins_float.cmx - Ocamlopt src/plugins/value/values/offsm_value.cmx - Ocamlopt src/plugins/value/domains/apron/apron_domain.cmx - Ocamlopt src/plugins/value/domains/equality/equality_domain.cmx - Ocamlopt src/plugins/value/engine/evaluation.cmx - Ocamlopt src/plugins/value/domains/cvalue/cvalue_transfer.cmx - Ocamlopt src/plugins/value/utils/state_import.cmx - Ocamlopt src/plugins/value/domains/offsm_domain.cmx - Ocamlopt src/plugins/value/legacy/eval_terms.cmx - Ocamlopt src/plugins/value/engine/non_linear_evaluation.cmx - Ocamlopt src/plugins/value/legacy/eval_annots.cmx - Ocamlopt src/plugins/value/domains/cvalue/cvalue_specification.cmx - Ocamlopt src/plugins/value/domains/cvalue/cvalue_domain.cmx - Ocamlopt src/plugins/value/engine/initialization.cmx - Ocamlopt src/plugins/value/engine/partitioning.cmx - Ocamlopt src/plugins/value/engine/abstractions.cmx - Ocamlopt src/plugins/value/engine/transfer_stmt.cmx - Ocamlopt src/plugins/value/engine/mem_exec.cmx - Ocamlopt src/plugins/value/engine/partitioned_dataflow.cmx - Ocamlopt src/plugins/value/engine/compute_functions.cmx - Ocamlopt src/plugins/value/engine/analysis.cmx - Ocamlopt src/plugins/value/register.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmx - Packing /home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmxs - Linking bin/toplevel.opt - CC src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/src/plugins/e-acsl/contrib/libjemalloc' - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/jemalloc.pic.o src/jemalloc.c - AR src/plugins/e-acsl/lib/libeacsl-gmp.a - ar: `u' modifier ignored since `D' is the default (see `U') - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/arena.pic.o src/arena.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/atomic.pic.o src/atomic.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/base.pic.o src/base.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/bitmap.pic.o src/bitmap.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk.pic.o src/chunk.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_dss.pic.o src/chunk_dss.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_mmap.pic.o src/chunk_mmap.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ckh.pic.o src/ckh.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ctl.pic.o src/ctl.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/extent.pic.o src/extent.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/hash.pic.o src/hash.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/huge.pic.o src/huge.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mb.pic.o src/mb.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mutex.pic.o src/mutex.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/nstime.pic.o src/nstime.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/pages.pic.o src/pages.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prng.pic.o src/prng.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prof.pic.o src/prof.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/quarantine.pic.o src/quarantine.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/rtree.pic.o src/rtree.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/stats.pic.o src/stats.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tcache.pic.o src/tcache.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ticker.pic.o src/ticker.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tsd.pic.o src/tsd.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/util.pic.o src/util.c - src/util.c: In function '__e_acsl_hidden_je_malloc_vsnprintf': - src/util.c:359:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 359 | case '?' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:377:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 377 | case 'j' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:365:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 365 | case 'l' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:371:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 371 | case 'q' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:386:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 386 | case 'z' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/witness.pic.o src/witness.c - gcc -shared -Wl,-soname,libjemalloc.so.2 -o lib/libjemalloc.so.2 src/jemalloc.pic.o src/arena.pic.o src/atomic.pic.o src/base.pic.o src/bitmap.pic.o src/chunk.pic.o src/chunk_dss.pic.o src/chunk_mmap.pic.o src/ckh.pic.o src/ctl.pic.o src/extent.pic.o src/hash.pic.o src/huge.pic.o src/mb.pic.o src/mutex.pic.o src/nstime.pic.o src/pages.pic.o src/prng.pic.o src/prof.pic.o src/quarantine.pic.o src/rtree.pic.o src/stats.pic.o src/tcache.pic.o src/ticker.pic.o src/tsd.pic.o src/util.pic.o src/witness.pic.o -lpthread - ln -sf libjemalloc.so.2 lib/libjemalloc.so - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/jemalloc.o src/jemalloc.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/arena.o src/arena.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/atomic.o src/atomic.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/base.o src/base.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/bitmap.o src/bitmap.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk.o src/chunk.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_dss.o src/chunk_dss.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_mmap.o src/chunk_mmap.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ckh.o src/ckh.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ctl.o src/ctl.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/extent.o src/extent.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/hash.o src/hash.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/huge.o src/huge.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mb.o src/mb.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mutex.o src/mutex.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/nstime.o src/nstime.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/pages.o src/pages.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prng.o src/prng.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prof.o src/prof.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/quarantine.o src/quarantine.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/rtree.o src/rtree.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/stats.o src/stats.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tcache.o src/tcache.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ticker.o src/ticker.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tsd.o src/tsd.c - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/util.o src/util.c - src/util.c: In function '__e_acsl_hidden_je_malloc_vsnprintf': - src/util.c:359:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 359 | case '?' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:377:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 377 | case 'j' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:365:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 365 | case 'l' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:371:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 371 | case 'q' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - src/util.c:386:9: warning: case label value exceeds maximum value for type [-Wswitch-outside-range] - 386 | case 'z' | 0x80: \ - | ^~~~ - src/util.c:569:33: note: in expansion of macro 'GET_ARG_NUMERIC' - 569 | GET_ARG_NUMERIC(val, 'p'); - | ^~~~~~~~~~~~~~~ - gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/witness.o src/witness.c - ar crus lib/libjemalloc.a src/jemalloc.o src/arena.o src/atomic.o src/base.o src/bitmap.o src/chunk.o src/chunk_dss.o src/chunk_mmap.o src/ckh.o src/ctl.o src/extent.o src/hash.o src/huge.o src/mb.o src/mutex.o src/nstime.o src/pages.o src/prng.o src/prof.o src/quarantine.o src/rtree.o src/stats.o src/tcache.o src/ticker.o src/tsd.o src/util.o src/witness.o - ar: `u' modifier ignored since `D' is the default (see `U') - ar crus lib/libjemalloc_pic.a src/jemalloc.pic.o src/arena.pic.o src/atomic.pic.o src/base.pic.o src/bitmap.pic.o src/chunk.pic.o src/chunk_dss.pic.o src/chunk_mmap.pic.o src/ckh.pic.o src/ctl.pic.o src/extent.pic.o src/hash.pic.o src/huge.pic.o src/mb.pic.o src/mutex.pic.o src/nstime.pic.o src/pages.pic.o src/prng.pic.o src/prof.pic.o src/quarantine.pic.o src/rtree.pic.o src/stats.pic.o src/tcache.pic.o src/ticker.pic.o src/tsd.pic.o src/util.pic.o src/witness.pic.o - ar: `u' modifier ignored since `D' is the default (see `U') - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0/src/plugins/e-acsl/contrib/libjemalloc' -> compiled frama-c-base.15.0 Processing 18/18: [frama-c-base: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.05/.opam-switch/build/frama-c-base.15.0) - Installing E-ACSL share files - Installing E-ACSL libraries - Installing E-ACSL scripts - Installing E-ACSL man pages - Cleaning Installation directory - Installing WP shared files - Installing Qed Library - Installing kernel API - Generating destination directories - Installing shared files - Installing C standard library - Installing binaries - Installing config files - Installing API documentation - Installing dynamic plug-ins - Installing dynamic gui plug-ins - Installing man pages -> installed frama-c-base.15.0 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 19:16.31 ---> saved as "d396077c351ba7f6d794aabf2de99a22afb40e32724dff8477809ee38a68b6b4" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u frama-c-base:447fdb3d85164737b484ecd84368e707,ocamlgraph:698da0a792b90b8fa334dea56986307b")) 2024-01-29 19:16.34 ---> saved as "df91bdeda86ef162ed63f17e2ecf2127ca5f0013c9498ca2e32136e368b8b024" /home/opam: (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.554332') && (for DATA in prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8,ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b,ocamlgraph.1.8.8 prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0,frama-c-base.15.0-447fdb3d85164737b484ecd84368e707,frama-c-base.15.0; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8,ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b,ocamlgraph.1.8.8 prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0,frama-c-base.15.0-447fdb3d85164737b484ecd84368e707,frama-c-base.15.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8,ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b,ocamlgraph.1.8.8 prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0,frama-c-base.15.0-447fdb3d85164737b484ecd84368e707,frama-c-base.15.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.554332 prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8/lib/ prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8/lib/ocamlgraph/ prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8/lib/ocamlgraph/graph.ocamlobjinfo prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8/lib/ocamlgraph/META prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8/lib/ocamlgraph/graph.cmi prep/universes/698da0a792b90b8fa334dea56986307b/ocamlgraph/1.8.8/opam prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/ prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/ prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/FCBuffer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/FCHashtbl.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/FCMap.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/FCSet.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/Qed.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/abstract_interp.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/alarms.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/allocates.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/alpha.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/annotations.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/asm_contracts.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/ast.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/ast_info.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/bag.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/base.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/binary_cache.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/bit_utils.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/bitvector.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/boot.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/bottom.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cabs.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cabs2cil.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cabs_debug.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cabshelper.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cabsvisit.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cfg.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cilE.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil_const.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil_datatype.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil_descriptive_printer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil_printer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil_state_builder.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil_types.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cil_types_debug.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cilconfig.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/clexer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/clone.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cmdline.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/command.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/config.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cparser.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cprint.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/cvalue.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/dataflow.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/dataflow2.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/dataflows.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/datatype.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/db.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/descr.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/description.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/destructors.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/dominators.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/dynamic.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/emitter.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/errorloc.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/escape.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/exn_flow.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/extlib.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/file.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/filecheck.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/filepath.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/filter.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/floating_point.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/frama_c_init.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/frontc.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/function_Froms.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/fval.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/globals.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/hook.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/hptmap.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/hptmap_sig.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/hptset.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/indexer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/infer_annotations.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/inout_type.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/int_Base.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/int_Intervals.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/int_Intervals_sig.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/integer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/ival.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/journal.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/json.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/kernel.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/kernel_function.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/lattice_messages.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/lattice_type.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/leftistheap.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/lexerhack.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/lmap.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/lmap_bitwise.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/lmap_sig.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/locations.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/log.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_builtin.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_const.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_env.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_interp.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_lexer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_parser.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_preprocess.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_print.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_ptree.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_typing.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/logic_utils.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/loop.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/machdeps.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/map_Lattice.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/mergecil.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/messages.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/offsetmap.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/offsetmap_bitwise_sig.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/offsetmap_lattice_with_isotropy.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/offsetmap_sig.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/oneret.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/ordered_stmt.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/origin.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/parameter_builder.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/parameter_category.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/parameter_customize.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/parameter_sig.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/parameter_state.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/pdgIndex.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/pdgMarks.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/pdgTypes.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugin.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/ prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/top/ prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/top/Wp.ocamlobjinfo prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Aorai.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Callgraph.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Constant_Propagation.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/E_ACSL.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/From.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Impact.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Inout.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/LoopAnalysis.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-aorai prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-callgraph prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-constant_propagation prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-e_acsl prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-from prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-impact prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-inout prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-loopanalysis prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-metrics prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-nonterm prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-obfuscator prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-occurrence prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-pdg prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-postdominators prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-print_api prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-report prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-rtegen prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-scope prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-slicing prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-sparecode prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-users prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-value prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-variadic prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/META.frama-c-wp prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Metrics.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Nonterm.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Obfuscator.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Occurrence.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Pdg.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Postdominators.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Print_api.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Report.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/RteGen.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Scope.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Slicing.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Sparecode.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Users.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Value.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Variadic.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/plugins/Wp.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/precise_locs.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/pretty_utils.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/printer.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/printer_api.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/printer_builder.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/project.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/project_skeleton.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/property.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/property_status.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/ptests_config.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/qstack.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/rangemap.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/rgmap.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/rmtmps.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/service_graph.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/slicingInternals.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/slicingTypes.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/special_hooks.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/state.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/state_builder.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/state_dependency_graph.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/state_selection.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/state_topological.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/statuses_by_call.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/stmts_graph.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/structural_descr.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/task.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/tr_offset.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/transitioning.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/translate_lightweight.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/type.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/typed_parameter.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/undefined_sequence.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/unicode.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/unmarshal.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/unmarshal_z.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/unroll_loops.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/utf8_logic.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/value_types.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/vector.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/visitor.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/widen_type.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/wto.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/lib/frama-c/wto_statement.cmi prep/universes/447fdb3d85164737b484ecd84368e707/frama-c-base/15.0/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b:1a89ed911904a41b1bf2a8553181f14610e28fe7086539cb294148b4b044ca49 HASHES:frama-c-base.15.0-447fdb3d85164737b484ecd84368e707:afaa882b064701f2096bf040f66c9906f126678407a4506abdbc954f360aa0a5 2024-01-29 19:16.35 ---> saved as "9369613740524cfdc4e14fb4a93025bfad72d8f29b719d3caac161f701307e9f" Job succeeded 2024-01-29 19:23.18: frama-c-base.15.0-447fdb3d85164737b484ecd84368e707 -> afaa882b064701f2096bf040f66c9906f126678407a4506abdbc954f360aa0a5 2024-01-29 19:23.18: ocamlgraph.1.8.8-698da0a792b90b8fa334dea56986307b -> 1a89ed911904a41b1bf2a8553181f14610e28fe7086539cb294148b4b044ca49 2024-01-29 19:23.18: Job succeeded