Build:
- 0
2026-06-24 18:56.08: New job: build colibri2.0.3.3 (d100568e98e1) 2026-06-24 18:56.08: Waiting for resource in pool day11-builds 2026-06-24 19:12.15: Got resource from pool day11-builds 2026-06-24 19:12.15: [profile full] build colibri2.0.3.3 2026-06-24 19:12.15: build colibri2.0.3.3 (d100568e98e1) === DEPENDENCIES (72 transitive) === antic.0.3.2 4f5418fb008b arb.0.3.2 165a4bdc6f80 base.v0.15.2 f830b752b953 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb calcium.0.3.2 785fe2f10d2e cmdliner.1.3.0 7280d3fb1acd colibrilib.0.3.3 035bfb7054d0 conf-antic.1 0a647470f7b6 conf-arb.1 9cb39a34ab46 conf-autoconf.0.2 676e4452dc37 conf-calcium.1 17755788ea47 conf-flint.1 de9dcbe7a05d conf-gmp.5 be11edf77089 conf-mpfr.3 4ee405053a13 conf-pkg-config.5 d5de2c6a88f9 containers.3.18 ce3009f58488 cppo.1.8.0 30339bb05870 csexp.1.5.2 c7bd5e89f31a ctypes.0.24.0 4c8d3907399c dolmen.0.7 b18908670556 dolmen_loop.0.7 52d254a1f942 dolmen_type.0.7 b32526341db1 dune.3.10.0 890032e09587 dune-build-info.3.13.1 3504fadce62b dune-configurator.3.13.1 8a98a0a5ef1f either.1.0.0 94694b5793f2 farith.0.1 e7346bf1b2d0 flint.0.3.2 5c1387a3ab6b fmt.0.11.0 7cf6f7d63275 gen.1.1 cbc7a6082a52 integers.0.8.0 a92699f7fe2c jane-street-headers.v0.15.0 674cc19ea12b jst-config.v0.15.1 b911daf3bce3 menhir.20250912 1a134f154d30 menhirCST.20250912 68778706c9a4 menhirLib.20250912 0181db895fc8 menhirSdk.20250912 d1746734097f num.1.6 110cee7a7e2e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-compiler-libs.v0.12.4 c3676bd8450d ocaml-config.2 2d9c209f5590 ocamlbuild.0.16.1 7e0d6aadb209 ocamlfind.1.9.8 214dd418ac02 ocamlgraph.2.2.0 9b44a66399d5 ocplib-simplex.0.4.1 176009ccfa7b pp_loc.2.1.0 011de2c54ffb ppx_assert.v0.15.0 d2bea82d12f5 ppx_base.v0.15.0 1047374a8755 ppx_cold.v0.15.0 f476c85a23a4 ppx_compare.v0.15.0 c007c090fa7d ppx_derivers.1.2.1 701796cec325 ppx_deriving.6.0.3 9e4ae32725fd ppx_enumerate.v0.15.0 f880b2c09a3f ppx_hash.v0.15.0 d0423f2d6ef8 ppx_here.v0.15.0 54d7a2862a38 ppx_inline_test.v0.15.1 8353da06791a ppx_optcomp.v0.15.0 ceeea210b481 ppx_sexp_conv.v0.15.1 be597814c913 ppxlib.0.35.0 85300b8f819c qcheck-core.0.91 3e3810dcc071 re.1.12.0 ac402ec9008f seq.base 0160fc3002c2 sexplib0.v0.15.1 5c8edaf58c3e spelll.0.4 564cda5a641c stdio.v0.15.0 1eab61af5e4c stdlib-shims.0.3.0 81cde9b0f493 time_now.v0.15.0 5d426e3d8eae topkg.1.1.1 511e1a1958da uutf.1.0.4 6722c3fe4bcc zarith.1.14 a8971d2f668c === STDOUT === Processing: [default: loading data] [colibri2.0.3.3: extract] -> retrieved colibri2.0.3.3 (cached) [colibri2: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "colibri2" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/colibri2.0.3.3) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -g -bin-annot -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/zarith -no-alias-deps -open Colibri2_popop_lib -o src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte/colibri2_popop_lib__Map_intf.cmo -c -impl src_colibri2/popop_lib/map_intf.pp.ml) - File "src_colibri2/popop_lib/map_intf.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Config.cmo -c -impl src_colibri2/stdlib/config.pp.ml) - File "src_colibri2/stdlib/config.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Std_sig.cmo -c -impl src_colibri2/stdlib/std_sig.pp.ml) - File "src_colibri2/stdlib/std_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Hashtbl_hetero_sig.cmo -c -impl src_colibri2/stdlib/hashtbl_hetero_sig.pp.ml) - File "src_colibri2/stdlib/hashtbl_hetero_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Map_hetero_sig.cmo -c -impl src_colibri2/stdlib/map_hetero_sig.pp.ml) - File "src_colibri2/stdlib/map_hetero_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -intf-suffix .ml -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Std.cmo -c -impl src_colibri2/stdlib/std.pp.ml) - File "src_colibri2/stdlib/std.ml", line 136, characters 15-31: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_signed_int - Use [int_small] instead - File "src_colibri2/stdlib/std.ml", line 136, characters 43-52: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - File "src_colibri2/stdlib/std.ml", line 288, characters 4-13: - 288 | frequency - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Keys_sig.cmo -c -impl src_colibri2/stdlib/keys_sig.pp.ml) - File "src_colibri2/stdlib/keys_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -g -bin-annot -I src_colibri2/core/.colibri2_core.objs/byte -I src_colibri2/core/.colibri2_core.objs/public_cmi -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_core__ -o src_colibri2/core/.colibri2_core.objs/byte/colibri2_core__Term.cmo -c -impl src_colibri2/core/term.pp.ml) - File "src_colibri2/core/term.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -g -bin-annot -I src_colibri2/core/.colibri2_core.objs/byte -I src_colibri2/core/.colibri2_core.objs/public_cmi -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_core__ -o src_colibri2/core/.colibri2_core.objs/byte/colibri2_core__Theory.cmo -c -impl src_colibri2/core/theory.pp.ml) - File "src_colibri2/core/theory.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -g -bin-annot -I src_colibri2/core/.colibri2_core.objs/byte -I src_colibri2/core/.colibri2_core.objs/public_cmi -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_core__ -o src_colibri2/core/.colibri2_core.objs/byte/colibri2_core__Expr.cmo -c -impl src_colibri2/core/expr.pp.ml) - File "src_colibri2/core/expr.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -O3 -bin-annot -unbox-closures -unbox-closures-factor 20 -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/native -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/native -intf-suffix .ml -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/native/colibri2_stdlib__Std.cmx -c -impl src_colibri2/stdlib/std.pp.ml) - File "src_colibri2/stdlib/std.ml", line 136, characters 15-31: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_signed_int - Use [int_small] instead - File "src_colibri2/stdlib/std.ml", line 136, characters 43-52: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - File "src_colibri2/stdlib/std.ml", line 288, characters 4-13: - 288 | frequency - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Colibri2_stdlib -open Colibri2_core -g -bin-annot -I src_colibri2/solver/.colibri2_solver.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_solver -o src_colibri2/solver/.colibri2_solver.objs/byte/colibri2_solver__Solver.cmo -c -impl src_colibri2/solver/solver.pp.ml) - File "src_colibri2/solver/solver.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Colibri2_stdlib -open Colibri2_core -g -bin-annot -I src_colibri2/solver/.colibri2_solver.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_solver -o src_colibri2/solver/.colibri2_solver.objs/byte/colibri2_solver__Input.cmo -c -impl src_colibri2/solver/input.pp.ml) - File "src_colibri2/solver/input.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60-40-9@8 -color always -open Colibri2_stdlib -open Std -open Colibri2_core -open Colibri2_theories_bool -open Colibri2_theories_LRA_stages_def -g -bin-annot -I src_colibri2/theories/LRA/.colibri2_theories_LRA.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -no-alias-deps -open Colibri2_theories_LRA -o src_colibri2/theories/LRA/.colibri2_theories_LRA.objs/byte/colibri2_theories_LRA__LRA_build.cmo -c -impl src_colibri2/theories/LRA/LRA_build.pp.ml) - File "src_colibri2/theories/LRA/LRA_build.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Colibri2_theories_LRA_stages_def -open Colibri2_stdlib -open Std -open Containers -g -bin-annot -I src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/colibrilib -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -intf-suffix .ml -no-alias-deps -open Colibri2_theories_LRA_stages_stage2_union_domain -o src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/byte/colibri2_theories_LRA_stages_stage2_union_domain__Union.cmo -c -impl src_colibri2/theories/LRA/stages/stage2/union.pp.ml) - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 55, characters 4-24: - 55 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 64, characters 6-26: - 64 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 73, characters 13-23: - 73 | let+ l = small_list elm in - ^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_list - Use [list_small] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 89, characters 4-24: - 89 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 98, characters 4-24: - 98 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -open Colibri2_theories_bool -open Colibri2_theories_quantifiers -open Colibri2_core -g -bin-annot -I src_colibri2/theories/FP/.colibri2_theories_fp.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/farith -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/theories/LRA/.colibri2_theories_LRA.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -no-alias-deps -open Colibri2_theories_fp -o src_colibri2/theories/FP/.colibri2_theories_fp.objs/byte/colibri2_theories_fp__Dom_interval.cmo -c -impl src_colibri2/theories/FP/dom_interval.pp.ml) - File "src_colibri2/theories/FP/dom_interval.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Colibri2_theories_LRA_stages_def -open Colibri2_stdlib -open Std -open Containers -g -I src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/byte -I src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/native -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/colibrilib -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/native -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/native -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/native -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/native -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/native -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/native -intf-suffix .ml -no-alias-deps -open Colibri2_theories_LRA_stages_stage2_union_domain -o src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/native/colibri2_theories_LRA_stages_stage2_union_domain__Union.cmx -c -impl src_colibri2/theories/LRA/stages/stage2/union.pp.ml) - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 55, characters 4-24: - 55 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 64, characters 6-26: - 64 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 73, characters 13-23: - 73 | let+ l = small_list elm in - ^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_list - Use [list_small] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 89, characters 4-24: - 89 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 98, characters 4-24: - 98 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead -> compiled colibri2.0.3.3 -> installed colibri2.0.3.3 [WARNING] Opam packages conf-arb.1, conf-autoconf.0.2, conf-calcium.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf libcalcium-dev libflint-arb-dev pkg-config - conf-arb.1: depends on libflint-arb-dev - conf-autoconf.0.2: depends on autoconf - conf-calcium.1: depends on libcalcium-dev - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-06-24 19:13.07: OK: build colibri2.0.3.3 (runc: 33.6s, disk: 58KB) 2026-06-24 19:13.07: Job succeeded