Build:
- 0
2026-06-24 18:00.24: New job: build goblint.1.1.1 (b40651aaf67b) 2026-06-24 18:00.24: Waiting for resource in pool day11-builds 2026-06-24 18:40.11: Got resource from pool day11-builds 2026-06-24 18:40.11: [profile full] build goblint.1.1.1 2026-06-24 18:40.11: build goblint.1.1.1 (b40651aaf67b) === DEPENDENCIES (40 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb batteries.3.3.0 9d783c708b20 conf-gcc.1.0 77cee661efa8 conf-gmp.5 be11edf77089 conf-perl.2 bdcd7b1dce5e conf-pkg-config.5 d5de2c6a88f9 cppo.1.8.0 2e6d5a70492d csexp.1.5.2 cbff46c78e23 dune.3.23.1 ec34fe9ebf2c dune-private-libs.3.22.2 e3b16cc640d4 dune-site.3.22.2 a1fdefa02077 dyn.3.22.2 02831a3a538e fs-io.3.22.2 a83d720bdf74 goblint-cil.1.8.2 970113a51464 num.1.6 0d0867ee79d1 ocaml.4.12.1 dee35ad2ab01 ocaml-base-compiler.4.12.1 16a69ab1424d ocaml-compiler-libs.v0.12.4 d8bb1449f899 ocaml-config.2 e77f021f2144 ocaml-monadic.0.5 a1a541c4b0dd ocaml-secondary-compiler.4.14.2 fb63d435ed9e ocamlbuild.0.16.1 2ce5a99932fe ocamlfind.1.9.6 8d8d9a490c0f ocamlfind-secondary.1.9.6 e7e9f5a4b1a5 ordering.3.22.2 ddd8d0228a53 pp.2.0.0 dd0d1acb4b68 ppx_derivers.1.2.1 e2df7d6ecda0 ppx_deriving.6.0.3 896ec8b385ca ppx_deriving_yojson.3.9.1 20252b744089 ppx_distr_guards.0.3 7f0c68f5b9cd ppxlib.0.35.0 c7a6ae2f7d8e qcheck-core.0.91 756b45fbb525 sexplib0.v0.16.0 350e8583fe21 sha.1.15.4 cd93eafd5310 stdlib-shims.0.3.0 1590dd69ad83 stdune.3.22.2 aa9952e66a5d top-closure.3.22.2 b0f831e8d4c5 yojson.3.0.0 9255a8519b65 zarith.1.14 41a3771fe99d === STDOUT === Processing: [default: loading data] [goblint.1.1.1: dl] [goblint.1.1.1: extract] -> retrieved goblint.1.1.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.1.1.1) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -bin-annot -I src/.goblint_lib.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -no-alias-deps -o src/.goblint_lib.objs/byte/printable.cmo -c -impl src/domains/printable.ml) - File "src/domains/printable.ml", line 234, characters 4-20: - 234 | QCheck.frequency ~shrink ~print:show [ - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.frequency - Use [oneof_weighted] instead - File "src/domains/printable.ml", line 575, characters 4-20: - 575 | 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 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -I src/.goblint_lib.objs/byte -I src/.goblint_lib.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -intf-suffix .ml -no-alias-deps -o src/.goblint_lib.objs/native/printable.cmx -c -impl src/domains/printable.ml) - File "src/domains/printable.ml", line 234, characters 4-20: - 234 | QCheck.frequency ~shrink ~print:show [ - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.frequency - Use [oneof_weighted] instead - File "src/domains/printable.ml", line 575, characters 4-20: - 575 | 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 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -bin-annot -I src/.goblint_lib.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -no-alias-deps -o src/.goblint_lib.objs/byte/setDomain.cmo -c -impl src/domains/setDomain.ml) - File "src/domains/setDomain.ml", line 135, characters 57-74: - 135 | let arbitrary () = QCheck.map ~rev:elements of_list @@ QCheck.small_list (Base.arbitrary ()) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_list - Use [list_small] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -bin-annot -I src/.goblint_lib.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -no-alias-deps -o src/.goblint_lib.objs/byte/hoareDomain.cmo -c -impl src/domains/hoareDomain.ml) - File "src/domains/hoareDomain.ml", line 212, characters 57-74: - 212 | 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 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -I src/.goblint_lib.objs/byte -I src/.goblint_lib.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -intf-suffix .ml -no-alias-deps -o src/.goblint_lib.objs/native/setDomain.cmx -c -impl src/domains/setDomain.ml) - File "src/domains/setDomain.ml", line 135, characters 57-74: - 135 | let arbitrary () = QCheck.map ~rev:elements of_list @@ QCheck.small_list (Base.arbitrary ()) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_list - Use [list_small] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -I src/.goblint_lib.objs/byte -I src/.goblint_lib.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -intf-suffix .ml -no-alias-deps -o src/.goblint_lib.objs/native/hoareDomain.cmx -c -impl src/domains/hoareDomain.ml) - File "src/domains/hoareDomain.ml", line 212, characters 57-74: - 212 | 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 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -bin-annot -I src/.goblint_lib.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -intf-suffix .ml -no-alias-deps -o src/.goblint_lib.objs/byte/intDomain.cmo -c -impl src/cdomains/intDomain.ml) - File "src/cdomains/intDomain.ml", line 1634, characters 4-20: - 1634 | QCheck.frequency ~shrink ~print:show [ - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.frequency - Use [oneof_weighted] instead - File "src/cdomains/intDomain.ml", line 2062, characters 4-20: - 2062 | 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 -g -ppx '.ppx/8846f9a687dd9e65e8171cf109ec7233/ppx.exe --as-ppx --cookie '\''library-name="goblint_lib"'\''' -I src/.goblint_lib.objs/byte -I src/.goblint_lib.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/goblint-cil -I /home/opam/.opam/default/lib/goblint-cil/dataslicing -I /home/opam/.opam/default/lib/goblint-cil/liveness -I /home/opam/.opam/default/lib/goblint-cil/makecfg -I /home/opam/.opam/default/lib/goblint-cil/pta -I /home/opam/.opam/default/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/default/lib/goblint-cil/zrapp -I /home/opam/.opam/default/lib/num -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/sha -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/sites/.goblint_sites.objs/byte -I src/sites/.goblint_sites.objs/native -intf-suffix .ml -no-alias-deps -o src/.goblint_lib.objs/native/intDomain.cmx -c -impl src/cdomains/intDomain.ml) - File "src/cdomains/intDomain.ml", line 1634, characters 4-20: - 1634 | QCheck.frequency ~shrink ~print:show [ - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.frequency - Use [oneof_weighted] instead - File "src/cdomains/intDomain.ml", line 2062, characters 4-20: - 2062 | QCheck.frequency ~shrink ~print:show [ - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.frequency - Use [oneof_weighted] 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.1.1.1) -> compiled goblint.1.1.1 -> installed goblint.1.1.1 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-24 18:41.03: OK: build goblint.1.1.1 (runc: 36.2s, disk: 25KB) 2026-06-24 18:41.03: Job succeeded