Building on asteria.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
8d9b0d1957d2: Already exists
77bd5ce6de14: Already exists
59ace7bbb792: Already exists
b44820cf8c7c: Already exists
01779645db39: Already exists
2eff1215ea11: Already exists
cd204a506c17: Already exists
fdbe9d71b607: Already exists
1d1ef689aa4e: Already exists
21d29e096296: Already exists
f3c0f441dc5a: Already exists
24e024f45d9d: Already exists
70f2fc20df5f: Already exists
dc1d3669f80d: Already exists
d1960fd642f1: Already exists
5a522f53743b: Already exists
69c97573612d: Already exists
69c97573612d: Already exists
e309391d441d: Already exists
db1ca6399fa8: Already exists
14889b83b326: Already exists
44e6acdbb29a: Already exists
4f4fb700ef54: Already exists
1976d6d05edb: Already exists
847e4a574c7f: Already exists
6b92941a3055: Already exists
37281440a7ab: Already exists
b771055b6fbe: Already exists
8f4ee55b4bf4: Already exists
d31d3386bb00: Already exists
aa71471fafa8: Already exists
cab8c018bf1d: Already exists
efe6eb884787: Already exists
22ff1b490950: Already exists
08392e8ad44d: Already exists
06179f88ab5e: Pulling fs layer
d150b9aac864: Pulling fs layer
4b7a641c6ed8: Pulling fs layer
853fd7bbd04f: Pulling fs layer
2f5aec184633: Pulling fs layer
2b5266412aec: Pulling fs layer
5a4d87a519ef: Pulling fs layer
4d560378f42c: Pulling fs layer
2f5aec184633: Waiting
5379b5daecdd: Pulling fs layer
d076c2fe356f: Pulling fs layer
22bb05e2e184: Pulling fs layer
bb66a4d8e571: Pulling fs layer
5f23220c0aaf: Pulling fs layer
853fd7bbd04f: Waiting
5a4d87a519ef: Waiting
22bb05e2e184: Waiting
4d560378f42c: Waiting
5f23220c0aaf: Waiting
bb66a4d8e571: Waiting
5379b5daecdd: Waiting
d076c2fe356f: Waiting
2b5266412aec: Waiting
853fd7bbd04f: Verifying Checksum
853fd7bbd04f: Download complete
2f5aec184633: Download complete
2b5266412aec: Verifying Checksum
2b5266412aec: Download complete
5a4d87a519ef: Verifying Checksum
5a4d87a519ef: Download complete
06179f88ab5e: Verifying Checksum
06179f88ab5e: Download complete
5379b5daecdd: Verifying Checksum
5379b5daecdd: Download complete
4b7a641c6ed8: Verifying Checksum
4b7a641c6ed8: Download complete
22bb05e2e184: Verifying Checksum
22bb05e2e184: Download complete
bb66a4d8e571: Verifying Checksum
bb66a4d8e571: Download complete
5f23220c0aaf: Verifying Checksum
5f23220c0aaf: Download complete
4d560378f42c: Verifying Checksum
4d560378f42c: Download complete
d076c2fe356f: Verifying Checksum
d076c2fe356f: Download complete
06179f88ab5e: Pull complete
d150b9aac864: Pull complete
4b7a641c6ed8: Pull complete
853fd7bbd04f: Pull complete
2f5aec184633: Pull complete
2b5266412aec: Pull complete
5a4d87a519ef: Pull complete
4d560378f42c: Pull complete
5379b5daecdd: Pull complete
d076c2fe356f: Pull complete
22bb05e2e184: Pull complete
bb66a4d8e571: Pull complete
5f23220c0aaf: Pull complete
Digest: sha256:1e0b6f576b8d607b19de55c9b0f077afe05eb64669ad8fa98a8169a64a417a6f
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-12-29 15:20.32 ---> 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-12-29 15:20.32 ---> 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 c239a62d58deaede2e5dce17c2715a55397b73f2"))
2025-12-29 15:20.32 ---> using "56be004b76cb51085f35c8dfc91ba3175ea97907d421b4b0b02e7c1a630a1108" 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.
2025-12-29 15:20.32 ---> using "ed7ae9bae0c3d5c49db6159e96a47bbcbdddbc9479c9fe4d51c2f1b00ae1b7e2" 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-dune' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "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-dune)
2025-12-29 15:20.32 ---> using "0ba1ecff5cbacf2ff346c199d5bbb730ff1dcfadffcf4be94bc48e3deffb25ce" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [187 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-12-29-0804.39-F-2025-12-26-2020.11.pdiff [262 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-12-29-0804.39-F-2025-12-26-2020.11.pdiff [262 kB]
- Fetched 513 kB in 1s (352 kB/s)
- Reading package lists...
-
2025-12-29 15:20.32 ---> using "97503196a5b2c8ead5d015466bb8c6e9d7ca051a246b7973b527720b7364d9be" 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.20.2
The following actions will be performed:
=== install 1 package
- install dune 3.20.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.20.2 (cached)
-> installed dune.3.20.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-29 15:20.32 ---> using "dfd390be8db08de5b82f6ea38b022735693c9445c8de9f86c9fd82f00e2c81f9" 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"))
################## 25.4%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
#=#=#
# 2.1%
### 4.6%
##### 7.3%
####### 10.2%
######### 12.7%
########### 15.5%
############# 18.1%
############### 21.0%
################# 23.6%
################## 26.4%
#################### 29.0%
###################### 31.7%
######################## 34.5%
########################## 37.4%
############################ 39.3%
############################## 41.8%
################################ 44.8%
################################## 47.6%
#################################### 50.6%
###################################### 53.0%
######################################## 55.9%
########################################## 58.5%
############################################ 61.3%
############################################## 64.2%
############################################### 66.4%
################################################# 68.5%
################################################### 71.1%
##################################################### 73.9%
####################################################### 76.7%
######################################################## 79.1%
########################################################## 81.8%
############################################################ 84.6%
############################################################## 86.8%
################################################################ 89.1%
################################################################## 91.9%
#################################################################### 94.8%
###################################################################### 97.6%
######################################################################## 100.0%
Revision cache was populated successfully
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-12-29 15:20.32 ---> using "bf6995863db7a7d87d60b6e8e5300471ffd01701d87b656d0683e35e71df2072" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "mkdir /tmp/sexp && cd /tmp/sexp && opam switch create ./ ocaml-base-compiler.5.2.1 --no-install && opam install -y sexp && cd -"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.1"}]
<><> 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-base-compiler.5.2.1 (cached)
-> installed ocaml-base-compiler.5.2.1
-> installed ocaml-config.3
-> installed ocaml.5.2.1
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env)
The following actions will be performed:
=== install 100 packages
- install angstrom 0.16.1 [required by jsonaf]
- install async v0.17.0 [required by sexp]
- install async_kernel v0.17.0 [required by async]
- install async_log v0.17.0 [required by async]
- install async_rpc_kernel v0.17.0 [required by async]
- install async_unix v0.17.0 [required by async]
- install base v0.17.3 [required by jsonaf, sexp_select]
- install base_bigstring v0.17.0 [required by core]
- install base_quickcheck v0.17.0 [required by core]
- install bigstringaf 0.10.0 [required by angstrom, faraday]
- install bin_prot v0.17.0-1 [required by core]
- install capitalization v0.17.0 [required by ppx_string_conv]
- install conf-g++ 1.0 [required by re2]
- install core v0.17.1 [required by sexp]
- install core_kernel v0.17.0 [required by sexp]
- install core_unix v0.17.1 [required by sexp]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by async_unix]
- install csvfields v0.17.0 [required by sexp]
- install dune 3.20.2 [required by sexp]
- install dune-configurator 3.20.2 [required by bigstringaf]
- install expect_test_helpers_core v0.17.0 [required by core_unix]
- install faraday 0.8.2 [required by jsonaf]
- install fieldslib v0.17.0 [required by core]
- install fmt 0.11.0 [required by cstruct]
- install gel v0.17.0 [required by async_rpc_kernel]
- install int_repr v0.17.0 [required by core_kernel]
- install jane-street-headers v0.17.0 [required by core]
- install jane_rope v0.17.0 [required by re2]
- install jsonaf v0.17.0 [required by sexp]
- install jst-config v0.17.0 [required by shell]
- install num 1.6 [required by csvfields]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by uutf]
- install ocamlfind 1.9.8 [required by uutf]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.0 [required by ppx_jane]
- install ppx_bin_prot v0.17.0 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_diff]
- install ppx_custom_printf v0.17.0 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_diff v0.17.0 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.2 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by ppx_jane]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.0 [required by ppx_base]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.0 [required by core]
- install ppx_jane v0.17.0 [required by sexp]
- install ppx_let v0.17.0 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.0 [required by core_kernel, core, async_unix]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.0 [required by core]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.0 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by ppx_jane]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.0 [required by ppx_jane]
- install ppx_typerep_conv v0.17.0 [required by ppx_jane]
- install ppx_variants_conv v0.17.0 [required by ppx_jane]
- install ppxlib 0.35.0 [required by ppx_diff]
- install ppxlib_jane v0.17.0 [required by ppx_diff]
- install protocol_version_header v0.17.0 [required by async_rpc_kernel]
- install re 1.14.0 [required by expect_test_helpers_core]
- install re2 v0.17.0 [required by sexp]
- install regex_parser_intf v0.17.0 [required by re2]
- install sexp v0.17.0
- install sexp_diff v0.17.0 [required by sexp]
- install sexp_macro v0.17.0 [required by sexp]
- install sexp_pretty v0.17.0 [required by sexp]
- install sexp_select v0.17.0 [required by sexp]
- install sexplib v0.17.0 [required by sexp]
- install sexplib0 v0.17.0 [required by base]
- install shell v0.17.0 [required by sexp]
- install spawn v0.17.0 [required by shell]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by core]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install textutils v0.17.0 [required by async, shell]
- install time_now v0.17.0 [required by core]
- install timezone v0.17.0 [required by async_log]
- install topkg 1.1.1 [required by uutf]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install uutf 1.0.4 [required by textutils]
- install variantslib v0.17.0 [required by core]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved async.v0.17.0 (cached)
-> retrieved async_kernel.v0.17.0 (cached)
-> retrieved async_log.v0.17.0 (cached)
-> retrieved async_rpc_kernel.v0.17.0 (cached)
-> retrieved async_unix.v0.17.0 (cached)
-> retrieved base.v0.17.3 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bin_prot.v0.17.0-1 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> installed conf-g++.1.0
-> retrieved core_kernel.v0.17.0 (cached)
-> retrieved core_unix.v0.17.1 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved csvfields.v0.17.0 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved jsonaf.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> installed num.1.6
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.0 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.0 (cached)
-> retrieved ppx_typerep_conv.v0.17.0 (cached)
-> retrieved ppx_variants_conv.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.0 (cached)
-> retrieved protocol_version_header.v0.17.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved re2.v0.17.0 (cached)
-> retrieved regex_parser_intf.v0.17.0 (cached)
-> retrieved sexp_diff.v0.17.0 (cached)
-> retrieved sexp.v0.17.0 (cached)
-> retrieved sexp_macro.v0.17.0 (cached)
-> retrieved sexp_pretty.v0.17.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved sexp_select.v0.17.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved shell.v0.17.0 (cached)
-> retrieved spawn.v0.17.0 (cached)
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved textutils.v0.17.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved timezone.v0.17.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.1
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed dune.3.20.2
-> installed jane-street-headers.v0.17.0
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ppx_derivers.1.2.1
-> installed re.1.14.0
-> installed sexplib0.v0.17.0
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed parsexp.v0.17.0
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed sexplib.v0.17.0
-> installed faraday.0.8.2
-> installed angstrom.0.16.1
-> installed base.v0.17.3
-> installed fieldslib.v0.17.0
-> installed regex_parser_intf.v0.17.0
-> installed variantslib.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.35.0
-> installed ppx_optcomp.v0.17.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed sexp_pretty.v0.17.0
-> installed bin_prot.v0.17.0-1
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed base_quickcheck.v0.17.0
-> installed ppx_log.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed uopt.v0.17.0
-> installed gel.v0.17.0
-> installed jane_rope.v0.17.0
-> installed int_repr.v0.17.0
-> installed jsonaf.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed protocol_version_header.v0.17.0
-> installed csvfields.v0.17.0
-> installed sexp_diff.v0.17.0
-> installed timezone.v0.17.0
-> installed expect_test_helpers_core.v0.17.0
-> installed core_kernel.v0.17.0
-> installed sexp_select.v0.17.0
-> installed async_kernel.v0.17.0
-> installed core_unix.v0.17.1
-> installed textutils.v0.17.0
-> installed async_rpc_kernel.v0.17.0
-> installed shell.v0.17.0
-> installed async_unix.v0.17.0
-> installed async_log.v0.17.0
-> installed async.v0.17.0
-> installed sexp_macro.v0.17.0
-> installed re2.v0.17.0
-> installed sexp.v0.17.0
Done.
# To update the current shell environment, run: eval $(opam env)
/
2025-12-29 15:20.32 ---> using "bc7669dd5d84a58447ad6a3d1d7008d73b2b93a4c67dc1e7fac77df9c973eb86" 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
Dependencies common to all supported platforms:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
2025-12-29 15:20.32 ---> using "9bcabb8795dcd26a81fdac926e310bcc5d29ecbfe856c8b3cc8b0b04ed84d512" 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.7.1 && cd goblint.2.7.1 && if [ -f opam ]; then mv opam goblint.opam; fi && echo goblint >> /tmp/packages-in-repo && for opam in *.opam; do echo ${opam%.opam} >> /tmp/packages-in-repo; done && sed -n 's/(name \\(.*\\))/\\1/p' < dune-project | sed 's/^[[:blank:]]*//;s/[[:blank:]]*$//' >> /tmp/packages-in-repo && while read package ; do opam show --raw ${package}.2.7.1 > ${package}.opam; done < /tmp/packages-in-repo && opam install --dry-run --with-test ./goblint.opam | sed -nE 's/(.*)- install ([^[:blank:]]*)(.*)/\\2/p' > /tmp/packages-via-opam && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw goblint.2.7.1 > goblint.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-no-pkg && mv dune-project dune-project-pkg && mv dune-project-no-pkg dune-project && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default))\
\n\
\n(repository\
\n (name default)\
\n (url \"file:///home/opam/opam-repository\"))\
\n\
\n\
\n' > dune-workspace && echo goblint >> /tmp/packages-to-build && while read package ; do if grep --quiet \"^${package}\\$\" /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo \"opam-version: \\\"2.0\\\"\" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && export DUNE_CONFIG__PORTABLE_LOCK_DIR=disabled && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo \"opam-health-check: Solve failed\" && exit 1) && PATH=$HOME/.local/bin:$PATH dune show depexts 2> /tmp/depexts-from-dune && paste -s -d \" \" /tmp/depexts-from-dune > /tmp/depexts-for-apt && sudo apt-get install -y $(cat /tmp/depexts-for-apt) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && mv dune-project-pkg dune-project && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/goblint.2.7.1
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.10.0
- benchmark.1.7
- 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.5
- 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.24.0
- domain-local-await.1.0.1
- domain_shims.0.1.0
- dune-build-info.3.20.2
- dune-configurator.3.20.2
- dune-private-libs.3.20.2
- dune-site.3.20.2
- dyn.3.20.2
- fileutils.0.6.6
- fmt.0.11.0
- fpath.0.7.3
- goblint-cil.2.0.9
- hex.1.5.0
- integers.0.7.0
- json-data-encoding.1.0.1
- jsonrpc.1.25.0
- logs.0.10.0
- num.1.6
- ocaml.5.4.0
- ocaml-base-compiler.5.4.0
- ocaml-compiler.5.4.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocaml-syntax-shims.1.0.0
- ocamlbuild.0.16.1+dune
- ocamlfind.1.9.8+dune
- ordering.3.20.2
- ounit2.2.2.7
- pp.2.0.0
- ppx_blob.0.9.0
- ppx_derivers.1.2.1
- ppx_deriving.6.1.1
- ppx_deriving_hash.0.1.3
- ppx_deriving_yojson.3.10.0
- ppxlib.0.37.0
- qcheck-core.0.91
- qcheck-ounit.0.91
- rresult.0.7.0
- seq.base
- sexplib0.v0.17.0
- sha.1.15.4
- stdlib-shims.0.3.0
- stdune.3.20.2
- stringext.1.6.0
- thread-table.1.0.0
- topkg.1.1.1
- uri.4.4.0
- uuidm.0.9.10
- yaml.3.2.0
- yojson.2.2.2
- zarith.1.14
Reading package lists...
Building dependency tree...
Reading state information...
gcc is already the newest version (4:15.2.0-4).
gcc set to manually installed.
perl is already the newest version (5.40.1-7).
perl set to manually installed.
Solving dependencies...
The following additional packages will be installed:
automake autotools-dev fonts-lato javascript-common libgmpxx4ldbl
libjs-jquery libpkgconf3 libruby libruby3.3 libyaml-0-2 m4 pkgconf
pkgconf-bin rake ruby-csv ruby-did-you-mean ruby-net-telnet
ruby-ruby2-keywords ruby-rubygems ruby-sdbm ruby-webrick ruby-xmlrpc ruby3.3
rubygems-integration zip
Suggested packages:
autoconf-archive gnu-standards autoconf-doc libtool gettext apache2
| lighttpd | httpd gmp-doc libgmp10-doc libmpfr-dev m4-doc ri ruby-dev
bundler
The following NEW packages will be installed:
autoconf automake autotools-dev fonts-lato javascript-common libgmp-dev
libgmpxx4ldbl libjs-jquery libpkgconf3 libruby libruby3.3 libyaml-0-2 m4
pkg-config pkgconf pkgconf-bin rake ruby ruby-csv ruby-did-you-mean
ruby-net-telnet ruby-ruby2-keywords ruby-rubygems ruby-sdbm ruby-webrick
ruby-xmlrpc ruby3.3 rubygems-integration zip
0 upgraded, 29 newly installed, 0 to remove and 5 not upgraded.
Need to get 14.0 MB of archives.
After this operation, 56.0 MB of additional disk space will be used.
Get:1 http://deb.debian.org/debian unstable/main amd64 fonts-lato all 2.015-1 [2780 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-3 [878 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 javascript-common all 12+nmu1 [4864 B]
Get:7 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5 [330 kB]
Get:8 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5 [658 kB]
Get:9 http://deb.debian.org/debian unstable/main amd64 libjs-jquery all 3.7.1+dfsg+~3.5.33-1 [319 kB]
Get:10 http://deb.debian.org/debian unstable/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB]
Get:11 http://deb.debian.org/debian unstable/main amd64 rubygems-integration all 1.19 [5488 B]
Get:12 http://deb.debian.org/debian unstable/main amd64 ruby3.3 amd64 3.3.8-2 [834 kB]
Get:13 http://deb.debian.org/debian unstable/main amd64 ruby-rubygems all 3.6.7-2 [407 kB]
Get:14 http://deb.debian.org/debian unstable/main amd64 ruby amd64 1:3.3+b1 [6560 B]
Get:15 http://deb.debian.org/debian unstable/main amd64 rake all 13.2.1-1 [65.2 kB]
Get:16 http://deb.debian.org/debian unstable/main amd64 ruby-csv all 3.3.4-1 [42.2 kB]
Get:17 http://deb.debian.org/debian unstable/main amd64 ruby-did-you-mean all 1.6.3-2 [20.9 kB]
Get:18 http://deb.debian.org/debian unstable/main amd64 ruby-net-telnet all 0.2.0-1 [13.1 kB]
Get:19 http://deb.debian.org/debian unstable/main amd64 ruby-ruby2-keywords all 0.0.5-1 [4300 B]
Get:20 http://deb.debian.org/debian unstable/main amd64 ruby-webrick all 1.9.1-1 [59.6 kB]
Get:21 http://deb.debian.org/debian unstable/main amd64 ruby-xmlrpc all 0.3.3-2 [24.4 kB]
Get:22 http://deb.debian.org/debian unstable/main amd64 libyaml-0-2 amd64 0.2.5-2+b1 [53.8 kB]
Get:23 http://deb.debian.org/debian unstable/main amd64 libruby3.3 amd64 3.3.8-2 [6301 kB]
Get:24 http://deb.debian.org/debian unstable/main amd64 libruby amd64 1:3.3+b1 [5440 B]
Get:25 http://deb.debian.org/debian unstable/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB]
Get:26 http://deb.debian.org/debian unstable/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB]
Get:27 http://deb.debian.org/debian unstable/main amd64 pkg-config amd64 1.8.1-4 [14.0 kB]
Get:28 http://deb.debian.org/debian unstable/main amd64 ruby-sdbm amd64 1.0.0-5+b7 [15.1 kB]
Get:29 http://deb.debian.org/debian unstable/main amd64 zip amd64 3.0-15 [235 kB]
Fetched 14.0 MB in 0s (61.9 MB/s)
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 ... 20808 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.20-2_amd64.deb ...
Unpacking m4 (1.4.20-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../02-autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../03-autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../04-automake_1%3a1.18.1-3_all.deb ...
Unpacking automake (1:1.18.1-3) ...
Selecting previously unselected package javascript-common.
Preparing to unpack .../05-javascript-common_12+nmu1_all.deb ...
Unpacking javascript-common (12+nmu1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../06-libgmpxx4ldbl_2%3a6.3.0+dfsg-5_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../07-libgmp-dev_2%3a6.3.0+dfsg-5_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5) ...
Selecting previously unselected package libjs-jquery.
Preparing to unpack .../08-libjs-jquery_3.7.1+dfsg+~3.5.33-1_all.deb ...
Unpacking libjs-jquery (3.7.1+dfsg+~3.5.33-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.8-2_amd64.deb ...
Unpacking ruby3.3 (3.3.8-2) ...
Selecting previously unselected package ruby-rubygems.
Preparing to unpack .../12-ruby-rubygems_3.6.7-2_all.deb ...
Unpacking ruby-rubygems (3.6.7-2) ...
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-csv.
Preparing to unpack .../15-ruby-csv_3.3.4-1_all.deb ...
Unpacking ruby-csv (3.3.4-1) ...
Selecting previously unselected package ruby-did-you-mean.
Preparing to unpack .../16-ruby-did-you-mean_1.6.3-2_all.deb ...
Unpacking ruby-did-you-mean (1.6.3-2) ...
Selecting previously unselected package ruby-net-telnet.
Preparing to unpack .../17-ruby-net-telnet_0.2.0-1_all.deb ...
Unpacking ruby-net-telnet (0.2.0-1) ...
Selecting previously unselected package ruby-ruby2-keywords.
Preparing to unpack .../18-ruby-ruby2-keywords_0.0.5-1_all.deb ...
Unpacking ruby-ruby2-keywords (0.0.5-1) ...
Selecting previously unselected package ruby-webrick.
Preparing to unpack .../19-ruby-webrick_1.9.1-1_all.deb ...
Unpacking ruby-webrick (1.9.1-1) ...
Selecting previously unselected package ruby-xmlrpc.
Preparing to unpack .../20-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 .../21-libyaml-0-2_0.2.5-2+b1_amd64.deb ...
Unpacking libyaml-0-2:amd64 (0.2.5-2+b1) ...
Selecting previously unselected package libruby3.3:amd64.
Preparing to unpack .../22-libruby3.3_3.3.8-2_amd64.deb ...
Unpacking libruby3.3:amd64 (3.3.8-2) ...
Selecting previously unselected package libruby:amd64.
Preparing to unpack .../23-libruby_1%3a3.3+b1_amd64.deb ...
Unpacking libruby:amd64 (1:3.3+b1) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../24-pkgconf-bin_1.8.1-4_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-4) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../25-pkgconf_1.8.1-4_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-4) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../26-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 .../27-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 .../28-zip_3.0-15_amd64.deb ...
Unpacking zip (3.0-15) ...
Setting up javascript-common (12+nmu1) ...
Setting up ruby-ruby2-keywords (0.0.5-1) ...
Setting up fonts-lato (2.015-1) ...
Setting up libyaml-0-2:amd64 (0.2.5-2+b1) ...
Setting up m4 (1.4.20-2) ...
Setting up rubygems-integration (1.19) ...
Setting up zip (3.0-15) ...
Setting up autotools-dev (20240727.1) ...
Setting up libpkgconf3:amd64 (1.8.1-4) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ...
Setting up ruby-net-telnet (0.2.0-1) ...
Setting up ruby-csv (3.3.4-1) ...
Setting up pkgconf-bin (1.8.1-4) ...
Setting up autoconf (2.72-3.1) ...
Setting up ruby-webrick (1.9.1-1) ...
Setting up libjs-jquery (3.7.1+dfsg+~3.5.33-1) ...
Setting up ruby-did-you-mean (1.6.3-2) ...
Setting up ruby-xmlrpc (0.3.3-2) ...
Setting up automake (1:1.18.1-3) ...
update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5) ...
Setting up pkgconf:amd64 (1.8.1-4) ...
Setting up pkg-config:amd64 (1.8.1-4) ...
Setting up ruby3.3 (3.3.8-2) ...
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.8-2) ...
Setting up ruby-rubygems (3.6.7-2) ...
Setting up ruby-sdbm:amd64 (1.0.0-5+b7) ...
Processing triggers for libc-bin (2.42-6) ...
(cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_bf1857_dune/dune-pipe-action-_f012bb_.stdout
fatal: not a git repository (or any of the parent directories): .git
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlc.opt -w -40 -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/common/.goblint_common.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/config/.goblint_config.objs/byte -I src/sites/.goblint_sites.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/logs/.goblint_logs.objs/byte -I src/util/parallel/.goblint_parallel.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 -o src/common/.goblint_common.objs/byte/printable.cmo -c -impl src/common/domains/printable.pp.ml)
File "src/common/domains/printable.ml", line 299, characters 4-20:
299 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
File "src/common/domains/printable.ml", line 724, characters 4-20:
724 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlopt.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -O3 -no-float-const-prop -I src/common/.goblint_common.objs/byte -I src/common/.goblint_common.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.objs/native -I src/config/.goblint_config.objs/byte -I src/config/.goblint_config.objs/native -I src/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/native -I src/util/logs/.goblint_logs.objs/byte -I src/util/logs/.goblint_logs.objs/native -I src/util/parallel/.goblint_parallel.objs/byte -I src/util/parallel/.goblint_parallel.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 -cmi-file src/common/.goblint_common.objs/byte/printable.cmi -no-alias-deps -o src/common/.goblint_common.objs/native/printable.cmx -c -impl src/common/domains/printable.pp.ml)
File "src/common/domains/printable.ml", line 299, characters 4-20:
299 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
File "src/common/domains/printable.ml", line 724, characters 4-20:
724 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlc.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -g -bin-annot -bin-annot-occurrences -I src/domain/.goblint_domain.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/common/.goblint_common.objs/byte -I src/config/.goblint_config.objs/byte -I src/sites/.goblint_sites.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/logs/.goblint_logs.objs/byte -I src/util/parallel/.goblint_parallel.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 -o src/domain/.goblint_domain.objs/byte/setDomain.cmo -c -impl src/domain/setDomain.pp.ml)
File "src/domain/setDomain.ml", line 204, characters 57-74:
204 | let arbitrary () = QCheck.map ~rev:elements of_list @@ QCheck.small_list (Base.arbitrary ())
^^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.small_list
Use [list_small] instead
File "src/domain/setDomain.ml", line 458, characters 23-36:
458 | let arbitrary () = QCheck.oneofl E.elems
^^^^^^^^^^^^^
Alert deprecated: QCheck.oneofl
Use [oneof_list] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlc.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -g -bin-annot -bin-annot-occurrences -I src/domain/.goblint_domain.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/common/.goblint_common.objs/byte -I src/config/.goblint_config.objs/byte -I src/sites/.goblint_sites.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/logs/.goblint_logs.objs/byte -I src/util/parallel/.goblint_parallel.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 -o src/domain/.goblint_domain.objs/byte/hoareDomain.cmo -c -impl src/domain/hoareDomain.pp.ml)
File "src/domain/hoareDomain.ml", line 223, characters 57-74:
223 | let arbitrary () = QCheck.map ~rev:elements of_list @@ QCheck.small_list (B.arbitrary ())
^^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.small_list
Use [list_small] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlopt.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -g -O3 -I src/domain/.goblint_domain.objs/byte -I src/domain/.goblint_domain.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.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/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/native -I src/util/logs/.goblint_logs.objs/byte -I src/util/logs/.goblint_logs.objs/native -I src/util/parallel/.goblint_parallel.objs/byte -I src/util/parallel/.goblint_parallel.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 -cmi-file src/domain/.goblint_domain.objs/byte/setDomain.cmi -no-alias-deps -o src/domain/.goblint_domain.objs/native/setDomain.cmx -c -impl src/domain/setDomain.pp.ml)
File "src/domain/setDomain.ml", line 204, characters 57-74:
204 | let arbitrary () = QCheck.map ~rev:elements of_list @@ QCheck.small_list (Base.arbitrary ())
^^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.small_list
Use [list_small] instead
File "src/domain/setDomain.ml", line 458, characters 23-36:
458 | let arbitrary () = QCheck.oneofl E.elems
^^^^^^^^^^^^^
Alert deprecated: QCheck.oneofl
Use [oneof_list] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlopt.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -g -O3 -I src/domain/.goblint_domain.objs/byte -I src/domain/.goblint_domain.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.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/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/native -I src/util/logs/.goblint_logs.objs/byte -I src/util/logs/.goblint_logs.objs/native -I src/util/parallel/.goblint_parallel.objs/byte -I src/util/parallel/.goblint_parallel.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 -cmi-file src/domain/.goblint_domain.objs/byte/hoareDomain.cmi -no-alias-deps -o src/domain/.goblint_domain.objs/native/hoareDomain.cmx -c -impl src/domain/hoareDomain.pp.ml)
File "src/domain/hoareDomain.ml", line 223, characters 57-74:
223 | let arbitrary () = QCheck.map ~rev:elements of_list @@ QCheck.small_list (B.arbitrary ())
^^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.small_list
Use [list_small] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlc.opt -w -40 -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/cdomain/value/.goblint_cdomain_value.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/common/.goblint_common.objs/byte -I src/config/.goblint_config.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/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/parallel/.goblint_parallel.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 -o src/cdomain/value/.goblint_cdomain_value.objs/byte/defExcDomain.cmo -c -impl src/cdomain/value/cdomains/int/defExcDomain.pp.ml)
File "src/cdomain/value/cdomains/int/defExcDomain.ml", line 603, characters 4-20:
603 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlc.opt -w -40 -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/cdomain/value/.goblint_cdomain_value.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/common/.goblint_common.objs/byte -I src/config/.goblint_config.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/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/parallel/.goblint_parallel.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 -o src/cdomain/value/.goblint_cdomain_value.objs/byte/enumsDomain.cmo -c -impl src/cdomain/value/cdomains/int/enumsDomain.pp.ml)
File "src/cdomain/value/cdomains/int/enumsDomain.ml", line 456, characters 4-20:
456 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlc.opt -w -40 -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/cdomain/value/.goblint_cdomain_value.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/common/.goblint_common.objs/byte -I src/config/.goblint_config.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/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/parallel/.goblint_parallel.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 -o src/cdomain/value/.goblint_cdomain_value.objs/byte/intervalSetDomain.cmo -c -impl src/cdomain/value/cdomains/int/intervalSetDomain.pp.ml)
File "src/cdomain/value/cdomains/int/intervalSetDomain.ml", line 647, characters 24-41:
647 | let list_pair_arb = QCheck.small_list pair_arb in
^^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.small_list
Use [list_small] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlopt.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -O3 -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.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/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/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/parallel/.goblint_parallel.objs/byte -I src/util/parallel/.goblint_parallel.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 -cmi-file src/cdomain/value/.goblint_cdomain_value.objs/byte/defExcDomain.cmi -no-alias-deps -o src/cdomain/value/.goblint_cdomain_value.objs/native/defExcDomain.cmx -c -impl src/cdomain/value/cdomains/int/defExcDomain.pp.ml)
File "src/cdomain/value/cdomains/int/defExcDomain.ml", line 603, characters 4-20:
603 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlopt.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -O3 -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.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/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/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/parallel/.goblint_parallel.objs/byte -I src/util/parallel/.goblint_parallel.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 -cmi-file src/cdomain/value/.goblint_cdomain_value.objs/byte/enumsDomain.cmi -no-alias-deps -o src/cdomain/value/.goblint_cdomain_value.objs/native/enumsDomain.cmx -c -impl src/cdomain/value/cdomains/int/enumsDomain.pp.ml)
File "src/cdomain/value/cdomains/int/enumsDomain.ml", line 456, characters 4-20:
456 | QCheck.frequency ~shrink ~print:show [
^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.frequency
Use [oneof_weighted] instead
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/bin/ocamlopt.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -open Goblint_logs -g -O3 -I src/cdomain/value/.goblint_cdomain_value.objs/byte -I src/cdomain/value/.goblint_cdomain_value.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/threads -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.4.0-ab1bec68ab3ec3d71e1fae73e730464a/target/lib/ocaml/unix -I ../_private/default/.pkg/angstrom.0.16.1-3bb365e4543470e357769bcd12b60b1c/target/lib/angstrom -I ../_private/default/.pkg/astring.0.8.5-6978cdf0b8f5af6da19c149a4dc4dc1a/target/lib/astring -I ../_private/default/.pkg/batteries.3.10.0-349bd49dc8f4256e24bff1bf280f8c79/target/lib/batteries/unthreaded -I ../_private/default/.pkg/bigstringaf.0.10.0-aff0159e57e528e6038f820b6baa1feb/target/lib/bigstringaf -I ../_private/default/.pkg/camlp-streams.5.0.1-ee6c25cb2c7a2d0119f7b834bafe57b7/target/lib/camlp-streams -I ../_private/default/.pkg/catapult-file.0.2-f1ab73590a1304f79ede754290686ce4/target/lib/catapult-file -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult -I ../_private/default/.pkg/catapult.0.2-318006ad4dc772a00ebeef37f1722d37/target/lib/catapult/utils -I ../_private/default/.pkg/cpu.2.0.0-c3560cfde36d52e57acfe5b12aa0efd4/target/lib/cpu -I ../_private/default/.pkg/cstruct.6.2.0-4c2abd6a68e1fc43a042af9546e3f424/target/lib/cstruct -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes -I ../_private/default/.pkg/ctypes.0.24.0-f3c924ca304c533e19d88a251ee0cefb/target/lib/ctypes/stubs -I ../_private/default/.pkg/domain-local-await.1.0.1-49ec97534f2c38acffa5139f03678fff/target/lib/domain-local-await -I ../_private/default/.pkg/domain_shims.0.1.0-a1573f442c5ec33e4631815ed724469d/target/lib/domain_shims -I ../_private/default/.pkg/dune-build-info.3.20.2-edc490dec57363264c26e6fa8ffd433e/target/lib/dune-build-info -I ../_private/default/.pkg/dune-private-libs.3.20.2-dc0f0a5ca698b4e04a25d0af2931a3e8/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site -I ../_private/default/.pkg/dune-site.3.20.2-4d143800037469d83c93e322269432c8/target/lib/dune-site/private -I ../_private/default/.pkg/fpath.0.7.3-f6ffb68019d37622a50f0b042250f6ce/target/lib/fpath -I ../_private/default/.pkg/goblint-cil.2.0.9-cd3c1795a81ad931193a3a013f1a46b2/target/lib/goblint-cil -I ../_private/default/.pkg/hex.1.5.0-4e199416e210ab6b368f6adb6ee72b26/target/lib/hex -I ../_private/default/.pkg/integers.0.7.0-237a757cb326676f3de01d62ea2e662d/target/lib/integers -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding -I ../_private/default/.pkg/json-data-encoding.1.0.1-e73bf5b1293e0c834c8f70b96a624417/target/lib/json-data-encoding/stdlib -I ../_private/default/.pkg/num.1.6-297d7a32719b7b6d3a7a929fdb594fd5/target/lib/num -I ../_private/default/.pkg/ppx_deriving.6.1.1-ee99d82d56550f5ff133820ab8d269e2/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson.3.10.0-b3989aea25e59cfbd4c45fefae3f11ed/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core -I ../_private/default/.pkg/qcheck-core.0.91-7ba883fafe8eb051d082ab31b9b0be4c/target/lib/qcheck-core/runner -I ../_private/default/.pkg/seq.base-4379b174df68d97906400a5931b33944/target/lib/seq -I ../_private/default/.pkg/stdlib-shims.0.3.0-7a10dd4b1c143be9e5be069abbab7b3e/target/lib/stdlib-shims -I ../_private/default/.pkg/stringext.1.6.0-f0190b784ae190c6806cb8ffb1ad2f2c/target/lib/stringext -I ../_private/default/.pkg/thread-table.1.0.0-98ade43b3acc59301b385790d28d76b6/target/lib/thread-table -I ../_private/default/.pkg/uri.4.4.0-b82cc6548e4e61b3e6deabf18ef41704/target/lib/uri -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/c -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml.3.2.0-ee6325598a281a136c17a93403968012/target/lib/yaml/types -I ../_private/default/.pkg/yojson.2.2.2-5096c41b86d314376d27bc2f12f513b4/target/lib/yojson -I ../_private/default/.pkg/zarith.1.14-2b84c06b55710c470a8dc6a908d5411e/target/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/build-info/.goblint_build_info.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/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/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/parallel/.goblint_parallel.objs/byte -I src/util/parallel/.goblint_parallel.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 -cmi-file src/cdomain/value/.goblint_cdomain_value.objs/byte/intervalSetDomain.cmi -no-alias-deps -o src/cdomain/value/.goblint_cdomain_value.objs/native/intervalSetDomain.cmx -c -impl src/cdomain/value/cdomains/int/intervalSetDomain.pp.ml)
File "src/cdomain/value/cdomains/int/intervalSetDomain.ml", line 647, characters 24-41:
647 | let list_pair_arb = QCheck.small_list pair_arb in
^^^^^^^^^^^^^^^^^
Alert deprecated: QCheck.small_list
Use [list_small] instead
2025-12-29 15:23.37 ---> saved as "008d983ae2c8d57251f697c413c2fc9b9e8a80ec44388f353490d5c122b17a8a"
Job succeeded
Home|Differences with the last checks|Previous runs