2026-06-16 11:34.40: New job: build cubicle.1.2.0 (65c0057fe49e)
2026-06-16 11:34.40: Waiting for resource in pool day11-builds
2026-06-16 11:44.06: Got resource from pool day11-builds
2026-06-16 11:44.06: [profile full] build cubicle.1.2.0
2026-06-16 11:44.06: build cubicle.1.2.0 (65c0057fe49e)
=== DEPENDENCIES (5 transitive) ===
  num.1.6                                            480227ca99db
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-config.2                                     669e0fcf9e4d
  ocamlfind.1.9.8                                    6025f4a8e98e
=== STDOUT ===
Processing: [default: loading data]
[cubicle.1.2.0: dl]
[cubicle.1.2.0: extract]
[cubicle.1.2.0/cubicle.install: dl]
-> retrieved cubicle.1.2.0  (https://opam.ocaml.org/cache)
[cubicle: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/cubicle.1.2.0/./configure "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/cubicle.1.2.0)
- checking for ocamlc.opt... ocamlc.opt
- OCaml version is 4.14.4
- checking for gawk... no
- checking for mawk... mawk
- OCaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlfind... yes
- checking for ocamlopt.opt... ocamlopt.opt
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamlyacc... ocamlyacc
- ocamlfind: Package `functory' not found
- checking for /home/opam/.opam/default/lib/ocaml/functory/functory.cma... no
- Cannot find functory library.
- Compiling without support for Z3.
- checking platform... Unix platform
- configure: creating ./config.status
- config.status: creating Makefile
[cubicle: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/cubicle.1.2.0)
- fatal: not a git repository (or any of the parent directories): .git
- Compiling parser.mly
- Compiling lexer.mll
- Compiling muparser.mly
- Compiling mulexer.mll
- Compiling version.cmx
- Compiling options.cmi
- Compiling options.cmx
- Compiling common/timer.cmi
- Compiling common/timer.cmx
- Compiling common/hashcons.cmi
- Compiling common/hashcons.cmx
- Compiling common/hstring.cmi
- Compiling common/hstring.cmx
- Compiling common/vec.cmi
- Compiling common/vec.cmx
- Compiling common/heap.cmi
- Compiling common/heap.cmx
- Compiling common/iheap.cmi
- Compiling common/iheap.cmx
- Compiling smt/ty.cmi
- Compiling smt/ty.cmx
- Compiling smt/symbols.cmi
- Compiling smt/symbols.cmx
- Compiling smt/term.cmi
- Compiling smt/term.cmx
- Compiling smt/literal.cmi
- Compiling smt/literal.cmx
- Compiling smt/solver_types.cmi
- Compiling smt/solver_types.cmx
- Compiling smt/explanation.cmi
- Compiling smt/explanation.cmx
- Compiling smt/exception.cmi
- Compiling smt/exception.cmx
- Compiling smt/polynome.cmi
- Compiling smt/polynome.cmx
- Compiling smt/sig.cmi
- Compiling smt/uf.cmi
- Compiling smt/uf.cmx
- Compiling smt/use.cmi
- Compiling smt/use.cmx
- Compiling smt/intervals.cmi
- Compiling smt/intervals.cmx
- Compiling smt/fm.cmi
- Compiling smt/fm.cmx
- File "smt/fm.ml", line 324, characters 1-24:
- 324 | 	Intervals.new_borne_sup expl b is_le uints
-       	^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 326, characters 1-24:
- 326 | 	Intervals.new_borne_inf expl b is_le uints in
-       	^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 344, characters 10-33:
- 344 |           Intervals.new_borne_inf expl c is_le (Intervals.undefined ty)
-                 ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 346, characters 3-26:
- 346 | 	  Intervals.new_borne_sup expl c is_le (Intervals.undefined ty) in
-       	  ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- Compiling smt/arith.cmi
- Compiling smt/arith.cmx
- Compiling smt/sum.cmi
- Compiling smt/sum.cmx
- Compiling smt/combine.cmi
- Compiling smt/combine.cmx
- Compiling smt/cc.cmi
- Compiling smt/cc.cmx
- Compiling smt/solver.cmi
- Compiling smt/solver.cmx
- Compiling smt/enumsolver_types.cmi
- Compiling smt/enumsolver_types.cmx
- Compiling smt/enumsolver.cmi
- Compiling smt/enumsolver.cmx
- Compiling smt/smt_sig.cmi
- Compiling smt/alt_ergo.cmi
- Compiling smt/alt_ergo.cmx
- File "smt/alt_ergo.ml", line 503, characters 6-20:
- 503 |       CSolver.assume uc 0;
-             ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
- File "smt/alt_ergo.ml", line 538, characters 6-20:
- 538 |       CSolver.assume cnf id;
-             ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
- Compiling smt/z3wrapper.cmi
- Compiling smt/z3wrapper.cmx
- Compiling smt/smt.cmi
- Compiling smt/smt.cmx
- Compiling util.cmi
- Compiling util.cmx
- Compiling variable.cmi
- Compiling variable.cmx
- Compiling types.cmi
- Compiling types.cmx
- Compiling cube.cmi
- Compiling cube.cmx
- Compiling ast.cmi
- Compiling node.cmi
- Compiling node.cmx
- Compiling pretty.cmi
- Compiling pretty.cmx
- Compiling ptree.cmi
- Compiling ptree.cmx
- Compiling parser.cmi
- Compiling parser.cmx
- Compiling lexer.cmx
- Compiling instantiation.cmi
- Compiling instantiation.cmx
- Compiling dot.cmi
- Compiling dot.cmx
- Compiling cubetrie.cmi
- Compiling cubetrie.cmx
- Compiling prover.cmi
- Compiling prover.cmx
- Compiling safety.cmi
- Compiling safety.cmx
- Compiling fixpoint.cmi
- Compiling fixpoint.cmx
- Compiling pre.cmi
- Compiling pre.cmx
- Compiling forward.cmi
- Compiling forward.cmx
- Compiling oracle.cmi
- Compiling enumerative.cmi
- Compiling enumerative.cmx
- Compiling muparser_globals.cmi
- Compiling muparser_globals.cmx
- Compiling muparser.cmi
- Compiling muparser.cmx
- Compiling mulexer.cmx
- Compiling murphi.cmi
- Compiling murphi.cmx
- Compiling approx.cmi
- Compiling approx.cmx
- Compiling stats.cmi
- Compiling stats.cmx
- Compiling bwd.cmi
- Compiling bwd.cmx
- Compiling brab.cmi
- Compiling brab.cmx
- Compiling typing.cmi
- Compiling typing.cmx
- Compiling trace.cmi
- Compiling trace.cmx
- Compiling main.cmx
- Linking cubicle.opt
-> compiled  cubicle.1.2.0
-> installed cubicle.1.2.0

=== STDERR ===

2026-06-16 11:44.35: OK: build cubicle.1.2.0 (runc: 16.1s, disk: 10KB)
2026-06-16 11:44.35: Job succeeded