Build:
- 0
2026-06-16 17:18.56: New job: build goblint.1.1.1 (edc92cd0c268) 2026-06-16 17:18.56: Waiting for resource in pool day11-builds 2026-06-16 18:07.43: Got resource from pool day11-builds 2026-06-16 18:07.43: [profile full] build goblint.1.1.1 2026-06-16 18:07.43: build goblint.1.1.1 (edc92cd0c268) === DEPENDENCIES (40 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d batteries.3.3.0 3c81d7414955 conf-gcc.1.0 dd4c5e537e37 conf-gmp.5 61e3c79e0ddf conf-perl.2 9ee1ae5f2bf1 conf-pkg-config.5 64c6b37d622b cppo.1.8.0 708e9eb1da47 csexp.1.5.2 2dc1d42cb195 dune.3.23.1 6e9c895d33c4 dune-private-libs.3.22.2 1e55565c8af7 dune-site.3.22.2 7bbbb98b7c85 dyn.3.22.2 b4203dc85add fs-io.3.22.2 1311bb173397 goblint-cil.1.8.2 e670d9033374 num.1.6 6107ad20ded4 ocaml.4.12.1 b220906b3826 ocaml-base-compiler.4.12.1 ce8680725b32 ocaml-compiler-libs.v0.12.4 692cac4e32e0 ocaml-config.2 3a99bd9dbb34 ocaml-monadic.0.5 44e796ecdf3a ocaml-secondary-compiler.4.14.2 208983c0e1e0 ocamlbuild.0.16.1 0aed2948eb5f ocamlfind.1.9.6 6a204c1e4cf6 ocamlfind-secondary.1.9.6 74c288ceaf87 ordering.3.22.2 45afda1ac6fb pp.2.0.0 cd0256471adc ppx_derivers.1.2.1 8e0bcbefff24 ppx_deriving.6.0.3 f6e12340a141 ppx_deriving_yojson.3.9.1 f3da9e9c00e0 ppx_distr_guards.0.3 50925ef47ad3 ppxlib.0.35.0 f6169de88097 qcheck-core.0.91 92c00ad54f9d sexplib0.v0.16.0 4ae610422567 sha.1.15.4 63073c4b8313 stdlib-shims.0.3.0 73378b8dd48d stdune.3.22.2 a728f77be374 top-closure.3.22.2 e2a4577958a1 yojson.3.0.0 f9b228d9a129 zarith.1.14 1c4f6b8a2255 === 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-06-16 18:08.34: OK: build goblint.1.1.1 (runc: 42.1s, disk: 24KB) 2026-06-16 18:08.34: Job succeeded