Build:
- 0
2026-06-16 17:41.02: New job: build goblint.2.7.1 (d424212d5a34) 2026-06-16 17:41.02: Waiting for resource in pool day11-builds 2026-06-16 18:17.49: Got resource from pool day11-builds 2026-06-16 18:17.49: [profile full] build goblint.2.7.1 2026-06-16 18:17.49: build goblint.2.7.1 (d424212d5a34) === DEPENDENCIES (70 transitive) === angstrom.0.16.1 acdef106c8a9 arg-complete.0.2.1 9dcda448c052 astring.0.8.5 af0a355c6a41 base-threads.base b7164ff76afe base-unix.base 839dc585f12d batteries.3.10.0 8365a4954bdb bigstringaf.0.10.0 cef54f1cd12e bos.0.3.0 84d8922c4ed4 camlp-streams.5.0.1 c5b4d7818010 catapult.0.2 154a36fe3d04 catapult-file.0.2 06e6696512d8 conf-autoconf.0.2 b3cd190cf0b5 conf-gcc.1.0 dd4c5e537e37 conf-gmp.5 61e3c79e0ddf conf-perl.2 9ee1ae5f2bf1 conf-pkg-config.5 64c6b37d622b cppo.1.8.0 3c775a388c9d cpu.2.0.0 2aa083905659 csexp.1.5.2 e2491a88a8e9 ctypes.0.24.0 5b2d1c971bbe domain-local-await.1.0.1 a54d62794121 domain_shims.0.1.0 eda7beacfecd dune.3.23.1 d50060dd2cab dune-build-info.3.23.1 78f162c9606d dune-configurator.3.23.1 83dd42d9abe2 dune-private-libs.3.23.1 789fb830fa9f dune-site.3.23.1 5d63ba34c70f dyn.3.23.1 fa33323975c2 fileutils.0.6.6 878704469cb5 fmt.0.11.0 485b1e345597 fpath.0.7.3 e07c88bacfc0 fs-io.3.23.1 c0b048cd697e goblint-cil.2.0.9 35717e512e96 integers.0.8.0 724bb489596a json-data-encoding.0.11 d225f8979ce7 jsonrpc.1.26.0 20ad7adf0238 logs.0.10.0 b3178e7868ba num.1.6 158dee1e5f8c ocaml.5.4.1 708fed352b2a ocaml-base-compiler.5.4.1 89b85703f841 ocaml-compiler.5.4.1 a719b8419b8e ocaml-compiler-libs.v0.17.0 bb35244dbd80 ocaml-config.3 aa27f63940d8 ocaml-syntax-shims.1.0.0 121d9d9e944d ocamlbuild.0.16.1 069fc1e567af ocamlfind.1.9.8 5cfa73ef65e7 ordering.3.23.1 a49f50f57e15 pp.2.0.0 91809ee2386c ppx_blob.0.9.0 3cb5cc2940fe ppx_derivers.1.2.1 48d8f0a02148 ppx_deriving.6.1.1 21563319369c ppx_deriving_hash.0.1.3 d1730ca21596 ppx_deriving_yojson.3.10.0 d30fbf5c967f ppxlib.0.38.0 089dd9eec9cd qcheck-core.0.91 da330d24d089 rresult.0.7.0 02b516a972ff seq.base 75c7a6b170f3 sexplib0.v0.17.0 3a274f46ef22 sha.1.15.4 ad8d10057f69 stdlib-shims.0.3.0 b64bd5274094 stdune.3.23.1 6954cbb92d17 stringext.1.6.0 d48b69dde427 thread-table.1.0.0 7ac7691bcc31 top-closure.3.23.1 a1a9bd1e164c topkg.1.1.1 4a88955a28b6 uri.4.4.0 c8b58c833e48 uuidm.0.9.10 72bada417e1b yaml.3.2.0 d82bbeb2fcd6 yojson.2.2.2 ab36eacdc068 zarith.1.14 b2ef7cdb0e39 === STDOUT === Processing: [default: loading data] [goblint.2.7.1: dl] [goblint.2.7.1: extract] -> retrieved goblint.2.7.1 (https://opam.ocaml.org/cache) [goblint: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "goblint" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint.2.7.1) - (cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_f317aa_dune/dune-pipe-action-_de5b2d_.stdout - fatal: not a git repository (or any of the parent directories): .git - (cd _build/default && /home/opam/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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/.opam/default/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/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/catapult -I /home/opam/.opam/default/lib/catapult-file -I /home/opam/.opam/default/lib/catapult/utils -I /home/opam/.opam/default/lib/cpu -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/domain-local-await -I /home/opam/.opam/default/lib/domain_shims -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/json-data-encoding -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/thread-table -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/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 [goblint: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "goblint" "--create-install-files" "goblint" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint.2.7.1) -> compiled goblint.2.7.1 -> installed goblint.2.7.1 [WARNING] Opam packages conf-autoconf.0.2 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf pkg-config - conf-autoconf.0.2: depends on autoconf - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-06-16 18:19.24: OK: build goblint.2.7.1 (runc: 78.2s, disk: 56KB) 2026-06-16 18:19.24: Job succeeded