Build:
- 0
2026-10-23 20:23.42: New job: build goblint.2.8.0 (f228c9019853) 2026-10-23 20:23.42: Waiting for resource in pool day11-builds 2026-10-23 20:24.23: Got resource from pool day11-builds 2026-10-23 20:24.23: [profile odoc-master-mini] build goblint.2.8.0 2026-10-23 20:24.23: build goblint.2.8.0 (f228c9019853) === DEPENDENCIES (84 transitive) === angstrom.0.16.1 8cb972c78b56 arg-complete.0.2.1 c20d945d568a astring.0.8.5 cd1ffc8114c1 base-bytes.base 0447d5f52961 base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 batteries.3.11.0 de4f26c21fac bigstringaf.0.10.0 6822525ae877 bos.0.3.0 df1ab4f581a8 camlp-streams.5.0.1 301559f8626e catapult.0.2 6f866a8ac64a catapult-file.0.2 ca0425764536 cmdliner.2.1.1 1a85b76190fa compiler-cloning.enabled 1aa529c962c5 conf-autoconf.1 5ab3ab11f357 conf-gcc.1.0 85ba5a42c764 conf-gmp.5 d0211a82c71f conf-perl.2 1cdaea70f030 conf-pkg-config.5 26be2768a637 cppo.1.8.0 36644637eb23 cpu.2.0.0 7126d8ffb527 csexp.1.5.2 eb4b98b71f34 ctypes.0.24.0 825af8b93876 domain-local-await.1.0.1 9726c523020f domain_shims.0.1.0 75fc9be08809 dune.3.21.1 a4e4a5c7e513 dune-build-info.3.21.1 6b37fe27a376 dune-configurator.3.21.1 ce5c102e9c84 dune-private-libs.3.21.1 d7db47623dea dune-site.3.21.1 d85acde820c9 dyn.3.21.1 18769b794102 fileutils.0.6.6 a37566fdf7b2 fmt.0.11.0 6bd6c512f414 fpath.0.7.3 0ca154020857 fs-io.3.21.1 407992e8b0f9 gen.1.1 5d94d1d92d6b goblint-cil.2.1.1 7e839b6b80e7 integers.0.8.0 a73d284d1340 js_of_ocaml-compiler.6.4.1 c01453232cfe json-data-encoding.0.11 891c6ab880cc jsonrpc.1.27.0 a248c77a3aa9 logs.0.10.0 eb59ac813e05 lwt.6.1.2 9afcc37db0a7 menhir.20260209 011ba0dbf2a2 menhirCST.20260209 b1eb444bcbf0 menhirGLR.20260209 2d7b0c32b7a8 menhirLib.20260209 ab537f9d5456 menhirSdk.20260209 5e2272779998 mtime.2.2.0 b56f958ccbe2 num.1.6 bf79e8a7f25b ocaml.5.5.2 3d66d99b0b38 ocaml-base-compiler.5.5.2 546a7f1026cd ocaml-compiler.5.5.2 956e368db607 ocaml-compiler-libs.v0.17.0 9c17f99e4cfe ocaml-syntax-shims.1.0.0 3beddea6edcf ocamlbuild.0.16.1 2941453b8670 ocamlfind.1.9.9~preview 36cecca1627b ocplib-endian.1.2 1ce51f2b97b3 ordering.3.21.1 f6b6df6212c7 patricia-tree.0.15.0 09530870eb0a pp.2.0.0 8989ec5d3925 ppx_blob.0.9.0 7be2ea52f9a9 ppx_derivers.1.2.1 0edc5b310de1 ppx_deriving.6.2.0 90c8caf37e09 ppx_deriving_hash.0.1.5 f976f7b8c169 ppx_deriving_yojson.3.10.0 9122680fad1e ppxlib.0.39.0 b7094a4fb6f9 qcheck-core.0.91 3318b04dfec2 rresult.0.7.0 16211bc6b2d0 sedlex.3.8.1 1d6f518923e5 seq.base f73890a757db sexplib0.v0.17.0 04ef57cdd4f2 sha.1.15.4 4b7ef0969610 stdlib-shims.0.3.0 a495095236db stdune.3.21.1 e1836e39c96d stringext.1.6.0 861b34ad172e thread-table.1.0.0 9160c0062021 top-closure.3.21.1 51a953e24804 topkg.1.1.1 466156d28400 uri.4.4.0 4ee222e92981 uuidm.0.9.10 073cb2535950 yaml.3.2.0 1b5a0dfabd88 yojson.2.2.2 1fd2b1ec7fe4 zarith.1.14 cbecd38aadee === STDOUT === Processing: [default: loading data] [goblint.2.8.0: dl] [goblint.2.8.0: extract] -> retrieved goblint.2.8.0 (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.8.0) - (cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_e575e6_dune/dune-pipe-action-_9da0e7_.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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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 586, characters 4-20: - 586 | 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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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 452, characters 4-20: - 452 | 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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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 620, characters 24-41: - 620 | 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/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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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 586, characters 4-20: - 586 | 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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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 452, characters 4-20: - 452 | 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/mtime -I /home/opam/.opam/default/lib/mtime/clock -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/patricia-tree -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 620, characters 24-41: - 620 | 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.8.0) -> compiled goblint.2.8.0 -> installed goblint.2.8.0 [WARNING] Opam packages conf-autoconf.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf pkg-config - conf-autoconf.1: depends on autoconf - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-10-23 20:26.06: OK: build goblint.2.8.0 (runc: 68.7s, disk: 61KB) 2026-10-23 20:26.06: Job succeeded