Build:
- 0
2026-09-03 23:53.42: New job: build goblint.1.1.1 (03ce87b8182e) 2026-09-03 23:53.42: Waiting for resource in pool day11-builds 2026-09-04 00:38.05: Got resource from pool day11-builds 2026-09-04 00:38.05: [profile full] build goblint.1.1.1 2026-09-04 00:38.05: build goblint.1.1.1 (03ce87b8182e) === DEPENDENCIES (40 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e batteries.3.3.0 08dc5e69f6d3 conf-gcc.1.0 ab0562dd03ad conf-gmp.5 eac5259e412f conf-perl.2 f520f20c9658 conf-pkg-config.5 74f50f3cfe72 cppo.1.8.0 d985c37e6252 csexp.1.5.2 45da150ac45d dune.3.24.2 03fddf396e0b dune-private-libs.3.22.2 051a4f1735ef dune-site.3.22.2 0d3c5de5ee38 dyn.3.22.2 17aae44aa682 fs-io.3.22.2 3c1beb94ba65 goblint-cil.1.8.2 f88fd810604a num.1.6 77382141c2d9 ocaml.4.12.1 40bf037a0516 ocaml-base-compiler.4.12.1 e714dfd3f0fe ocaml-compiler-libs.v0.12.4 02b0760118b6 ocaml-config.2 75bd2fc1f23b ocaml-monadic.0.5 e231d2c6b7e4 ocaml-secondary-compiler.4.14.2 d66c1c5ac958 ocamlbuild.0.16.1 b436c8ee2909 ocamlfind.1.9.6 b1980dc27cfd ocamlfind-secondary.1.9.6 cd09f5be8757 ordering.3.22.2 b07faa7bb513 pp.2.0.0 4d496c1004ce ppx_derivers.1.2.1 a5c1b1ed9e33 ppx_deriving.6.0.3 09d892a5d48a ppx_deriving_yojson.3.9.1 6be3cd490b19 ppx_distr_guards.0.3 f3c309bfb8de ppxlib.0.35.0 ea8160e6b152 qcheck-core.0.91 2a0e822dc546 sexplib0.v0.16.0 8f0a4e97f83a sha.1.15.4 d39e8e25b22b stdlib-shims.0.3.0 d07c91089280 stdune.3.22.2 146b9bbeebe4 top-closure.3.22.2 84db4e32bbb2 yojson.3.0.0 5e3b9784c7aa zarith.1.14 58b54426ae3e === 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/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/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/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-09-04 00:39.06: OK: build goblint.1.1.1 (runc: 55.7s, disk: 25KB) 2026-09-04 00:39.06: Job succeeded