Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
63563b31af74: Pulling fs layer
63563b31af74: Verifying Checksum
63563b31af74: Download complete
63563b31af74: Pull complete
Digest: sha256:8f6038a9795a3c7cc61b90b742e29558b247d69f92f73dea67cb146602ff83f6
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-02-24 00:05.28 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-02-24 00:05.28 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 4022a684b64be8161a05cf897f492f8680792469"))
2025-02-24 00:05.28 ---> using "ced9ab1d6bac3c5f95cfdac2696c8d9202989b3f52ba62400bb20a10ac63d439" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-02-24 00:05.28 ---> using "69f716af23f9139c4566fb0532f54e56ee4f6773c11e689dc47229d6a744c7e1" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-02-24 00:05.28 ---> using "8cb80bdf8c98b441ca1a62ad13717befd2e70e905b796cad3ff69df4d26bf351" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Fetched 654 kB in 3s (260 kB/s)
- Reading package lists...
-
2025-02-24 00:05.28 ---> using "aab064613a33ea1c8e4184107fb782b7e34e02d2710ba539b18cbd20a9d40c72" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.17.2
The following actions will be performed:
=== install 1 package
- install dune 3.17.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> installed dune.3.17.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-02-24 00:05.28 ---> using "ab68111ecaec8e96a659d3801d58f9f48b56993ae57778afc853e701c3286214" from cache
/: (env DUNE_CACHE enabled)
/: (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 "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
0.1%
1.2%
## 3.1%
######### 12.7%
################## 26.1%
################################################################## 92.4%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-02-24 00:05.28 ---> using "91706ab83e18623d5f5c55809c19ede302298d1fa58d418458556ddcfa9179ed" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-02-24 00:05.28 ---> using "23d3c9485a3a95dd6f64bf73b0bd06b36016919a287108bba74001e847c99f7d" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source goblint.2.5.0 && cd goblint.2.5.0 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default ))\
\n\
\n(repository\
\n (name default)\
\n (url \"git+https://github.com/ocaml/opam-repository.git\"))\
\n\
\n\
\n' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Successfully extracted to /home/opam/goblint.2.5.0
The following system packages will first need to be installed:
autoconf libgmp-dev pkg-config ruby
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "libgmp-dev" "pkg-config" "ruby"
- Selecting previously unselected package fonts-lato.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19826 files and directories currently installed.)
- Preparing to unpack .../00-fonts-lato_2.015-1_all.deb ...
- Unpacking fonts-lato (2.015-1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../01-m4_1.4.19-5_amd64.deb ...
- Unpacking m4 (1.4.19-5) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../02-autoconf_2.72-3_all.deb ...
- Unpacking autoconf (2.72-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../03-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../04-automake_1%3a1.17-3_all.deb ...
- Unpacking automake (1:1.17-3) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../05-javascript-common_12_all.deb ...
- Unpacking javascript-common (12) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../06-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../07-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../08-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
- Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../09-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package rubygems-integration.
- Preparing to unpack .../10-rubygems-integration_1.19_all.deb ...
- Unpacking rubygems-integration (1.19) ...
- Selecting previously unselected package ruby3.3.
- Preparing to unpack .../11-ruby3.3_3.3.7-1_amd64.deb ...
- Unpacking ruby3.3 (3.3.7-1) ...
- Selecting previously unselected package ruby-rubygems.
- Preparing to unpack .../12-ruby-rubygems_3.6.3-1_all.deb ...
- Unpacking ruby-rubygems (3.6.3-1) ...
- Selecting previously unselected package ruby.
- Preparing to unpack .../13-ruby_1%3a3.3+b1_amd64.deb ...
- Unpacking ruby (1:3.3+b1) ...
- Selecting previously unselected package rake.
- Preparing to unpack .../14-rake_13.2.1-1_all.deb ...
- Unpacking rake (13.2.1-1) ...
- Selecting previously unselected package ruby-did-you-mean.
- Preparing to unpack .../15-ruby-did-you-mean_1.6.3-2_all.deb ...
- Unpacking ruby-did-you-mean (1.6.3-2) ...
- Selecting previously unselected package ruby-minitest.
- Preparing to unpack .../16-ruby-minitest_5.25.4-2_all.deb ...
- Unpacking ruby-minitest (5.25.4-2) ...
- Selecting previously unselected package ruby-net-telnet.
- Preparing to unpack .../17-ruby-net-telnet_0.2.0-1_all.deb ...
- Unpacking ruby-net-telnet (0.2.0-1) ...
- Selecting previously unselected package ruby-power-assert.
- Preparing to unpack .../18-ruby-power-assert_2.0.3-1_all.deb ...
- Unpacking ruby-power-assert (2.0.3-1) ...
- Selecting previously unselected package ruby-test-unit.
- Preparing to unpack .../19-ruby-test-unit_3.6.2-1_all.deb ...
- Unpacking ruby-test-unit (3.6.2-1) ...
- Selecting previously unselected package ruby-webrick.
- Preparing to unpack .../20-ruby-webrick_1.8.1-1_all.deb ...
- Unpacking ruby-webrick (1.8.1-1) ...
- Selecting previously unselected package ruby-xmlrpc.
- Preparing to unpack .../21-ruby-xmlrpc_0.3.3-2_all.deb ...
- Unpacking ruby-xmlrpc (0.3.3-2) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../22-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package libruby3.3:amd64.
- Preparing to unpack .../23-libruby3.3_3.3.7-1_amd64.deb ...
- Unpacking libruby3.3:amd64 (3.3.7-1) ...
- Selecting previously unselected package libruby:amd64.
- Preparing to unpack .../24-libruby_1%3a3.3+b1_amd64.deb ...
- Unpacking libruby:amd64 (1:3.3+b1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../25-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../26-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../27-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Selecting previously unselected package ruby-sdbm:amd64.
- Preparing to unpack .../28-ruby-sdbm_1.0.0-5+b7_amd64.deb ...
- Unpacking ruby-sdbm:amd64 (1.0.0-5+b7) ...
- Selecting previously unselected package zip.
- Preparing to unpack .../29-zip_3.0-14_amd64.deb ...
- Unpacking zip (3.0-14) ...
- Setting up javascript-common (12) ...
- Setting up fonts-lato (2.015-1) ...
- Setting up ruby-power-assert (2.0.3-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up m4 (1.4.19-5) ...
- Setting up rubygems-integration (1.19) ...
- Setting up ruby-minitest (5.25.4-2) ...
- Setting up zip (3.0-14) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up ruby-test-unit (3.6.2-1) ...
- Setting up ruby-net-telnet (0.2.0-1) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up autoconf (2.72-3) ...
- Setting up ruby-webrick (1.8.1-1) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up ruby-did-you-mean (1.6.3-2) ...
- Setting up ruby-xmlrpc (0.3.3-2) ...
- Setting up automake (1:1.17-3) ...
- update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up ruby3.3 (3.3.7-1) ...
- Setting up libruby:amd64 (1:3.3+b1) ...
- Setting up ruby (1:3.3+b1) ...
- Setting up rake (13.2.1-1) ...
- Setting up libruby3.3:amd64 (3.3.7-1) ...
- Setting up ruby-rubygems (3.6.3-1) ...
- Setting up ruby-sdbm:amd64 (1.0.0-5+b7) ...
- Processing triggers for libc-bin (2.40-7) ...
Solution for dune.lock:
- angstrom.0.16.1
- arg-complete.0.2.1
- astring.0.8.5
- base-threads.base
- base-unix.base
- batteries.3.9.0
- benchmark.1.7
- bigarray-compat.1.1.0
- bigstringaf.0.10.0
- bos.0.2.1
- camlp-streams.5.0.1
- catapult.0.2
- catapult-file.0.2
- conf-autoconf.0.2
- conf-gcc.1.0
- conf-gmp.4
- conf-perl.2
- conf-pkg-config.4
- conf-ruby.1.0.0
- cppo.1.8.0
- cpu.2.0.0
- csexp.1.5.2
- cstruct.6.2.0
- ctypes.0.23.0
- dune-build-info.3.17.2
- dune-configurator.3.17.2
- dune-private-libs.3.17.2
- dune-site.3.17.2
- dyn.3.17.2
- fileutils.0.6.6
- fmt.0.9.0
- fpath.0.7.3
- goblint-cil.2.0.5
- hex.1.5.0
- integers.0.7.0
- json-data-encoding.1.0.1
- jsonrpc.1.22.0
- logs.0.7.0
- num.1.5-1
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocaml-syntax-shims.1.0.0
- ocamlbuild.0.15.0+dune
- ocamlfind.1.9.8+dune
- ordering.3.17.2
- ounit2.2.2.7
- pp.2.0.0
- ppx_blob.0.9.0
- ppx_derivers.1.2.1
- ppx_deriving.6.0.3
- ppx_deriving_hash.0.1.2
- ppx_deriving_yojson.3.9.1
- ppxlib.0.35.0
- qcheck-core.0.23
- qcheck-ounit.0.23
- rresult.0.7.0
- seq.base
- sexplib0.v0.17.0
- sha.1.15.4
- stdlib-shims.0.3.0
- stdune.3.17.2
- stringext.1.6.0
- topkg.1.0.7
- uri.4.4.0
- uuidm.0.9.9
- yaml.3.2.0
- yojson.2.2.2
- zarith.1.14
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building base-unix.base
Building base-threads.base
Building ocaml-config.3
Building ocaml.5.3.0
Downloading bigarray-compat.1.1.0
Building bigarray-compat.1.1.0
Downloading ocamlfind.1.9.8+dune
Downloading csexp.1.5.2
Building ocamlfind.1.9.8+dune
Building csexp.1.5.2
Downloading stdlib-shims.0.3.0
Downloading ocamlbuild.0.15.0+dune
Building stdlib-shims.0.3.0
Building ocamlbuild.0.15.0+dune
Downloading integers.0.7.0
Building integers.0.7.0
Downloading dune-configurator.3.17.2
Building dune-configurator.3.17.2
Downloading ctypes.0.23.0
Building ctypes.0.23.0
Downloading topkg.1.0.7
Building topkg.1.0.7
Downloading rresult.0.7.0
Downloading astring.0.8.5
Downloading fmt.0.9.0
Building rresult.0.7.0
Building astring.0.8.5
Building fmt.0.9.0
Downloading logs.0.7.0
Building logs.0.7.0
Downloading fpath.0.7.3
Building fpath.0.7.3
Downloading bos.0.2.1
Building bos.0.2.1
Downloading yaml.3.2.0
Building yaml.3.2.0
Downloading uuidm.0.9.9
Building uuidm.0.9.9
Downloading sha.1.15.4
Building sha.1.15.4
Building seq.base
Downloading qcheck-core.0.23
Building qcheck-core.0.23
Downloading ounit2.2.2.7
Building ounit2.2.2.7
Downloading qcheck-ounit.0.23
Building qcheck-ounit.0.23
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading sexplib0.v0.17.0
Building sexplib0.v0.17.0
Downloading ocaml-compiler-libs.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading cppo.1.8.0
Building cppo.1.8.0
Downloading ppxlib.0.35.0
Building ppxlib.0.35.0
Downloading ppx_deriving.6.0.3
Building ppx_deriving.6.0.3
Downloading ppx_deriving_hash.0.1.2
Building ppx_deriving_hash.0.1.2
Downloading ppx_blob.0.9.0
Building ppx_blob.0.9.0
Downloading jsonrpc.1.22.0
Building jsonrpc.1.22.0
Downloading stringext.1.6.0
Downloading ocaml-syntax-shims.1.0.0
Building stringext.1.6.0
Building ocaml-syntax-shims.1.0.0
Downloading bigstringaf.0.10.0
Building bigstringaf.0.10.0
Downloading cstruct.6.2.0
Building cstruct.6.2.0
Downloading hex.1.5.0
Building hex.1.5.0
Downloading angstrom.0.16.1
Building angstrom.0.16.1
Downloading uri.4.4.0
Building uri.4.4.0
Downloading json-data-encoding.1.0.1
Building json-data-encoding.1.0.1
Building conf-pkg-config.4
Building conf-perl.2
Building conf-gcc.1.0
Building conf-gmp.4
Downloading yojson.2.2.2
Downloading zarith.1.14
Building zarith.1.14
Building yojson.2.2.2
Downloading ppx_deriving_yojson.3.9.1
Building ppx_deriving_yojson.3.9.1
Downloading goblint-cil.2.0.5
Building goblint-cil.2.0.5
Downloading fileutils.0.6.6
Building fileutils.0.6.6
Downloading ordering.3.17.2
Building ordering.3.17.2
Downloading pp.2.0.0
Building pp.2.0.0
Downloading dyn.3.17.2
Building dyn.3.17.2
Downloading stdune.3.17.2
Building stdune.3.17.2
Downloading dune-private-libs.3.17.2
Building dune-private-libs.3.17.2
Downloading dune-site.3.17.2
Building dune-site.3.17.2
Downloading dune-build-info.3.17.2
Building dune-build-info.3.17.2
Building conf-autoconf.0.2
Downloading cpu.2.0.0
Building cpu.2.0.0
Building conf-ruby.1.0.0
Downloading catapult.0.2
Building catapult.0.2
Downloading catapult-file.0.2
Building catapult-file.0.2
Downloading benchmark.1.7
Building benchmark.1.7
Downloading num.1.5-1
Building num.1.5-1
Downloading camlp-streams.5.0.1
Building camlp-streams.5.0.1
Downloading batteries.3.9.0
Building batteries.3.9.0
Downloading arg-complete.0.2.1
Building arg-complete.0.2.1
(cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_c746dd_dune/dune-pipe-action-_c96b68_.stdout
fatal: not a git repository (or any of the parent directories): .git
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -I bench/deriving/.benchEq.eobjs/byte -I bench/deriving/.benchEq.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/batteries/target/lib/batteries/unthreaded -I ../_private/default/.pkg/benchmark/target/lib/benchmark -I ../_private/default/.pkg/camlp-streams/target/lib/camlp-streams -I ../_private/default/.pkg/num/target/lib/num -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -intf-suffix .ml -no-alias-deps -opaque -o bench/deriving/.benchEq.eobjs/native/dune__exe__BenchEq.cmx -c -impl bench/deriving/benchEq.pp.ml)
File "bench/deriving/benchEq.ml", line 16, characters 41-54:
16 | ((let open! ((Ppx_deriving_runtime)[@ocaml.warning "-A"]) in
^^^^^^^^^^^^^
Error (warning 53 [misplaced-attribute]): the "ocaml.warning" attribute cannot appear in this context
File "bench/deriving/benchEq.ml", line 26, characters 41-54:
26 | ((let open! ((Ppx_deriving_runtime)[@ocaml.warning "-A"]) in
^^^^^^^^^^^^^
Error (warning 53 [misplaced-attribute]): the "ocaml.warning" attribute cannot appear in this context
File "bench/deriving/benchEq.ml", line 36, characters 41-54:
36 | ((let open! ((Ppx_deriving_runtime)[@ocaml.warning "-A"]) in
^^^^^^^^^^^^^
Error (warning 53 [misplaced-attribute]): the "ocaml.warning" attribute cannot appear in this context
File "bench/deriving/benchEq.ml", line 79, characters 41-54:
79 | ((let open! ((Ppx_deriving_runtime)[@ocaml.warning "-A"]) in
^^^^^^^^^^^^^
Error (warning 53 [misplaced-attribute]): the "ocaml.warning" attribute cannot appear in this context
File "bench/deriving/benchEq.ml", line 85, characters 41-54:
85 | ((let open! ((Ppx_deriving_runtime)[@ocaml.warning "-A"]) in
^^^^^^^^^^^^^
Error (warning 53 [misplaced-attribute]): the "ocaml.warning" attribute cannot appear in this context
File "bench/deriving/benchEq.ml", line 91, characters 41-54:
91 | ((let open! ((Ppx_deriving_runtime)[@ocaml.warning "-A"]) in
^^^^^^^^^^^^^
Error (warning 53 [misplaced-attribute]): the "ocaml.warning" attribute cannot appear in this context
File "bench/deriving/benchEq.ml", line 96, characters 41-54:
96 | ((let open! ((Ppx_deriving_runtime)[@ocaml.warning "-A"]) in
^^^^^^^^^^^^^
Error (warning 53 [misplaced-attribute]): the "ocaml.warning" attribute cannot appear in this context
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -bin-annot -bin-annot-occurrences -I src/.goblint_lib.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom/target/lib/angstrom -I ../_private/default/.pkg/arg-complete/target/lib/arg-complete -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/batteries/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bigstringaf/target/lib/bigstringaf -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/camlp-streams/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file/target/lib/catapult-file -I ../_private/default/.pkg/catapult/target/lib/catapult -I ../_private/default/.pkg/catapult/target/lib/catapult/utils -I ../_private/default/.pkg/cpu/target/lib/cpu -I ../_private/default/.pkg/cstruct/target/lib/cstruct -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/fileutils/target/lib/fileutils -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/pta -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/syntacticsearch -I ../_private/default/.pkg/hex/target/lib/hex -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/jsonrpc/target/lib/jsonrpc -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/num/target/lib/num -I ../_private/default/.pkg/ocamlfind/target/lib/findlib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core/runner -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sha/target/lib/sha -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext/target/lib/stringext -I ../_private/default/.pkg/uri/target/lib/uri -I ../_private/default/.pkg/uuidm/target/lib/uuidm -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/common/.goblint_common.objs/byte -I src/config/.goblint_config.objs/byte -I src/constraint/.goblint_constraint.objs/byte -I src/domain/.goblint_domain.objs/byte -I src/incremental/.goblint_incremental.objs/byte -I src/sites/.goblint_sites.objs/byte -I src/solver/.goblint_solver.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/library/.goblint_library.objs/byte -I src/util/logs/.goblint_logs.objs/byte -I src/util/std/.goblint_std.objs/byte -I src/util/timing/.goblint_timing.objs/byte -I src/util/tracing/.goblint_tracing.objs/byte -no-alias-deps -opaque -open Goblint_lib__ -o src/.goblint_lib.objs/byte/goblint_lib__YamlWitnessType.cmo -c -impl src/witness/yamlWitnessType.pp.ml)
File "src/witness/yamlWitnessType.ml", line 463, characters 12-24:
463 | let open GobYaml in
^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Goblint_std.GobYaml.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -no-float-const-prop -I src/.goblint_lib.objs/byte -I src/.goblint_lib.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom/target/lib/angstrom -I ../_private/default/.pkg/arg-complete/target/lib/arg-complete -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/batteries/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bigstringaf/target/lib/bigstringaf -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/camlp-streams/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file/target/lib/catapult-file -I ../_private/default/.pkg/catapult/target/lib/catapult -I ../_private/default/.pkg/catapult/target/lib/catapult/utils -I ../_private/default/.pkg/cpu/target/lib/cpu -I ../_private/default/.pkg/cstruct/target/lib/cstruct -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/fileutils/target/lib/fileutils -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/pta -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/syntacticsearch -I ../_private/default/.pkg/hex/target/lib/hex -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/jsonrpc/target/lib/jsonrpc -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/num/target/lib/num -I ../_private/default/.pkg/ocamlfind/target/lib/findlib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core/runner -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sha/target/lib/sha -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext/target/lib/stringext -I ../_private/default/.pkg/uri/target/lib/uri -I ../_private/default/.pkg/uuidm/target/lib/uuidm -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.objs/native -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/native -I src/common/.goblint_common.objs/byte -I src/common/.goblint_common.objs/native -I src/config/.goblint_config.objs/byte -I src/config/.goblint_config.objs/native -I src/constraint/.goblint_constraint.objs/byte -I src/constraint/.goblint_constraint.objs/native -I src/domain/.goblint_domain.objs/byte -I src/domain/.goblint_domain.objs/native -I src/incremental/.goblint_incremental.objs/byte -I src/incremental/.goblint_incremental.objs/native -I src/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -I src/solver/.goblint_solver.objs/byte -I src/solver/.goblint_solver.objs/native -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/native -I src/util/library/.goblint_library.objs/byte -I src/util/library/.goblint_library.objs/native -I src/util/logs/.goblint_logs.objs/byte -I src/util/logs/.goblint_logs.objs/native -I src/util/std/.goblint_std.objs/byte -I src/util/std/.goblint_std.objs/native -I src/util/timing/.goblint_timing.objs/byte -I src/util/timing/.goblint_timing.objs/native -I src/util/tracing/.goblint_tracing.objs/byte -I src/util/tracing/.goblint_tracing.objs/native -intf-suffix .ml -no-alias-deps -opaque -open Goblint_lib__ -o src/.goblint_lib.objs/native/goblint_lib__YamlWitnessType.cmx -c -impl src/witness/yamlWitnessType.pp.ml)
File "src/witness/yamlWitnessType.ml", line 463, characters 12-24:
463 | let open GobYaml in
^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Goblint_std.GobYaml.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -bin-annot -bin-annot-occurrences -I src/.goblint_lib.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom/target/lib/angstrom -I ../_private/default/.pkg/arg-complete/target/lib/arg-complete -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/batteries/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bigstringaf/target/lib/bigstringaf -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/camlp-streams/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file/target/lib/catapult-file -I ../_private/default/.pkg/catapult/target/lib/catapult -I ../_private/default/.pkg/catapult/target/lib/catapult/utils -I ../_private/default/.pkg/cpu/target/lib/cpu -I ../_private/default/.pkg/cstruct/target/lib/cstruct -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/fileutils/target/lib/fileutils -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/pta -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/syntacticsearch -I ../_private/default/.pkg/hex/target/lib/hex -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/jsonrpc/target/lib/jsonrpc -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/num/target/lib/num -I ../_private/default/.pkg/ocamlfind/target/lib/findlib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core/runner -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sha/target/lib/sha -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext/target/lib/stringext -I ../_private/default/.pkg/uri/target/lib/uri -I ../_private/default/.pkg/uuidm/target/lib/uuidm -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/common/.goblint_common.objs/byte -I src/config/.goblint_config.objs/byte -I src/constraint/.goblint_constraint.objs/byte -I src/domain/.goblint_domain.objs/byte -I src/incremental/.goblint_incremental.objs/byte -I src/sites/.goblint_sites.objs/byte -I src/solver/.goblint_solver.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/library/.goblint_library.objs/byte -I src/util/logs/.goblint_logs.objs/byte -I src/util/std/.goblint_std.objs/byte -I src/util/timing/.goblint_timing.objs/byte -I src/util/tracing/.goblint_tracing.objs/byte -no-alias-deps -opaque -open Goblint_lib__ -o src/.goblint_lib.objs/byte/goblint_lib__Analyses.cmo -c -impl src/framework/analyses.pp.ml)
File "src/framework/analyses.ml", line 3, characters 0-14:
3 | open Batteries
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Batteries.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -no-float-const-prop -I src/.goblint_lib.objs/byte -I src/.goblint_lib.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom/target/lib/angstrom -I ../_private/default/.pkg/arg-complete/target/lib/arg-complete -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/batteries/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bigstringaf/target/lib/bigstringaf -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/camlp-streams/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file/target/lib/catapult-file -I ../_private/default/.pkg/catapult/target/lib/catapult -I ../_private/default/.pkg/catapult/target/lib/catapult/utils -I ../_private/default/.pkg/cpu/target/lib/cpu -I ../_private/default/.pkg/cstruct/target/lib/cstruct -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/fileutils/target/lib/fileutils -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/pta -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/syntacticsearch -I ../_private/default/.pkg/hex/target/lib/hex -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/jsonrpc/target/lib/jsonrpc -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/num/target/lib/num -I ../_private/default/.pkg/ocamlfind/target/lib/findlib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core/runner -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sha/target/lib/sha -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext/target/lib/stringext -I ../_private/default/.pkg/uri/target/lib/uri -I ../_private/default/.pkg/uuidm/target/lib/uuidm -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.objs/native -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/native -I src/common/.goblint_common.objs/byte -I src/common/.goblint_common.objs/native -I src/config/.goblint_config.objs/byte -I src/config/.goblint_config.objs/native -I src/constraint/.goblint_constraint.objs/byte -I src/constraint/.goblint_constraint.objs/native -I src/domain/.goblint_domain.objs/byte -I src/domain/.goblint_domain.objs/native -I src/incremental/.goblint_incremental.objs/byte -I src/incremental/.goblint_incremental.objs/native -I src/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -I src/solver/.goblint_solver.objs/byte -I src/solver/.goblint_solver.objs/native -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/native -I src/util/library/.goblint_library.objs/byte -I src/util/library/.goblint_library.objs/native -I src/util/logs/.goblint_logs.objs/byte -I src/util/logs/.goblint_logs.objs/native -I src/util/std/.goblint_std.objs/byte -I src/util/std/.goblint_std.objs/native -I src/util/timing/.goblint_timing.objs/byte -I src/util/timing/.goblint_timing.objs/native -I src/util/tracing/.goblint_tracing.objs/byte -I src/util/tracing/.goblint_tracing.objs/native -intf-suffix .ml -no-alias-deps -opaque -open Goblint_lib__ -o src/.goblint_lib.objs/native/goblint_lib__Analyses.cmx -c -impl src/framework/analyses.pp.ml)
File "src/framework/analyses.ml", line 3, characters 0-14:
3 | open Batteries
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Batteries.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -linkall -open Goblint_std -g -I src/.apronPrecCompare.eobjs/byte -I src/.apronPrecCompare.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom/target/lib/angstrom -I ../_private/default/.pkg/arg-complete/target/lib/arg-complete -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/batteries/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bigstringaf/target/lib/bigstringaf -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/camlp-streams/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file/target/lib/catapult-file -I ../_private/default/.pkg/catapult/target/lib/catapult -I ../_private/default/.pkg/catapult/target/lib/catapult/utils -I ../_private/default/.pkg/cpu/target/lib/cpu -I ../_private/default/.pkg/cstruct/target/lib/cstruct -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/dune-build-info/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site/target/lib/dune-site -I ../_private/default/.pkg/dune-site/target/lib/dune-site/private -I ../_private/default/.pkg/fileutils/target/lib/fileutils -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/pta -I ../_private/default/.pkg/goblint-cil/target/lib/goblint-cil/syntacticsearch -I ../_private/default/.pkg/hex/target/lib/hex -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/jsonrpc/target/lib/jsonrpc -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/num/target/lib/num -I ../_private/default/.pkg/ocamlfind/target/lib/findlib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core/target/lib/qcheck-core/runner -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sha/target/lib/sha -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext/target/lib/stringext -I ../_private/default/.pkg/uri/target/lib/uri -I ../_private/default/.pkg/uuidm/target/lib/uuidm -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I src/.goblint_lib.objs/byte -I src/.goblint_lib.objs/native -I src/build-info/build_info_dune/.goblint_build_info_dune.objs/byte -I src/build-info/build_info_dune/.goblint_build_info_dune.objs/native -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/native -I src/common/.goblint_common.objs/byte -I src/common/.goblint_common.objs/native -I src/config/.goblint_config.objs/byte -I src/config/.goblint_config.objs/native -I src/constraint/.goblint_constraint.objs/byte -I src/constraint/.goblint_constraint.objs/native -I src/domain/.goblint_domain.objs/byte -I src/domain/.goblint_domain.objs/native -I src/incremental/.goblint_incremental.objs/byte -I src/incremental/.goblint_incremental.objs/native -I src/sites/sites_dune/.goblint_sites_dune.objs/native -I src/sites/sites_dune/.goblint_sites_dune.objs/public_cmi -I src/solver/.goblint_solver.objs/byte -I src/solver/.goblint_solver.objs/native -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/native -I src/util/library/.goblint_library.objs/byte -I src/util/library/.goblint_library.objs/native -I src/util/logs/.goblint_logs.objs/byte -I src/util/logs/.goblint_logs.objs/native -I src/util/std/.goblint_std.objs/byte -I src/util/std/.goblint_std.objs/native -I src/util/timing/.goblint_timing.objs/byte -I src/util/timing/.goblint_timing.objs/native -I src/util/tracing/.goblint_tracing.objs/byte -I src/util/tracing/.goblint_tracing.objs/native -intf-suffix .ml -no-alias-deps -opaque -o src/.apronPrecCompare.eobjs/native/dune__exe__ApronPrecCompare.cmx -c -impl src/apronPrecCompare.pp.ml)
File "src/apronPrecCompare.ml", line 4, characters 11-54:
4 | module B = PrecCompare.MakeDump (ApronPrecCompareUtil)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Modules do not match: sig end is not included in
Goblint_lib__.PrecCompareUtil.S
The module "Key" is required but not provided
File "src/util/precCompareUtil.ml", line 25, characters 2-32:
Expected declaration
The module "Dom" is required but not provided
File "src/util/precCompareUtil.ml", line 26, characters 2-23:
Expected declaration
The module "RH" is required but not provided
File "src/util/precCompareUtil.ml", line 29, characters 2-45:
Expected declaration
The type "marshal" is required but not provided
File "src/util/precCompareUtil.ml", line 32, characters 2-14:
Expected declaration
The type "dump" is required but not provided
File "src/util/precCompareUtil.ml", line 35, characters 2-30:
Expected declaration
The type "result" is required but not provided
File "src/util/precCompareUtil.ml", line 38, characters 2-37:
Expected declaration
The value "unmarshal" is required but not provided
File "src/util/precCompareUtil.ml", line 41, characters 2-38:
Expected declaration
The value "init" is required but not provided
File "src/util/precCompareUtil.ml", line 47, characters 2-24:
Expected declaration
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source goblint.2.5.0 && cd goblint.2.5.0 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default ))
(repository
(name default)
(url "git+https://github.com/ocaml/opam-repository.git"))
' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs