Build:
- 0
2026-09-07 22:05.19: New job: build frama_c_codex.1.0-rc4 (8d466c704011)
2026-09-07 22:05.19: Waiting for resource in pool day11-builds
2026-09-07 22:14.49: Got resource from pool day11-builds
2026-09-07 22:14.49: [profile full] build frama_c_codex.1.0-rc4
2026-09-07 22:14.49: build frama_c_codex.1.0-rc4 (8d466c704011)
=== DEPENDENCIES (116 transitive) ===
alt-ergo.2.6.4 562989faadfb
alt-ergo-lib.2.6.4 856a0d7ec66a
alt-ergo-parsers.2.6.4 e99e50e5cefc
astring.0.8.5 dd9bc4900cb4
base.v0.17.3 d0dd5eed4346
base-bigarray.base 31ac6860ef52
base-bytes.base 03f6a7f50e10
base-threads.base 3d2f2cbc6db2
base-unix.base 3a38ddca6b5e
base64.3.5.2 684042144c57
bheap.2.0.0 867d54704c93
bos.0.3.0 919cb4404d2e
cairo2.0.6.5 4ab6e76472a5
camlp-streams.5.0.1 64e37c711deb
camlzip.1.14 680aa1cb2b96
cmdliner.2.1.1 e5dd77e6708d
codex.1.0~rc4 44af0ce129ba
compiler-cloning.enabled 966a2e6839f0
conf-cairo.1 9e32499642c2
conf-gmp.5 eac5259e412f
conf-gtk3.18 29bc2ce5fb33
conf-gtksourceview3.0+2 89f7273ce96d
conf-pkg-config.5 74f50f3cfe72
conf-zlib.1 26591fa9352c
cppo.1.8.0 13f8a6a9db93
csexp.1.5.2 9a2d2be1d04b
ctypes.0.24.0 64748d311e7b
cudd.0.1.3 0b83d7c7a18f
dolmen.0.10 369119316a46
dolmen_loop.0.10 ebbf55475b2a
dolmen_type.0.10 fdc1ce22de0d
dune.3.23.1 22cf6d1ea22c
dune-build-info.3.23.1 4624a6ebd68c
dune-configurator.3.23.1 b5f9b391f631
dune-private-libs.3.23.1 3459e7a09fb9
dune-site.3.23.1 2a5f9d895b5f
dyn.3.23.1 748629c25f9d
fmt.0.11.0 9ca62730ad74
fpath.0.7.3 313c8edc1b30
frama-c.31.0 8f4a5cccb833
fs-io.3.23.1 fb54d9dccb25
gen.1.1 b1df4b4f5b4a
gen_js_api.1.1.7 e8c8d8fe7f27
hmap.0.8.1 564327dc5b3e
integers.0.8.0 cf7736a60bfc
jane-street-headers.v0.17.0 70febc76b7c6
js_of_ocaml.6.4.1 f1de43fa5116
js_of_ocaml-compiler.6.4.1 bcac929b0026
js_of_ocaml-ppx.6.4.1 6c9e91b93cfb
jst-config.v0.17.0 6eb30f439352
lablgtk3.3.1.5 61e6946809db
lablgtk3-sourceview3.3.1.5 34802f529576
logs.0.10.0 5c66b905eb56
lwt.6.1.2 4d68957a7a6b
menhir.20250912 5fb43da1a7af
menhirCST.20250912 82e1bf5cb98e
menhirLib.20250912 aa7413396216
menhirSdk.20250912 8f16d5d9693d
num.1.6 244eeeb7f1b4
ocaml.5.5.1 70ca0c66e0e8
ocaml-base-compiler.5.5.1 59841d7ed85e
ocaml-compiler.5.5.1 492c0c740bd1
ocaml-compiler-libs.v0.17.0 7f471ce172cd
ocaml_intrinsics_kernel.v0.17.2 e5d7a8348fd8
ocamlbuild.0.16.1 e25cf731aeb5
ocamlfind.1.9.9~preview 5e0261154b58
ocamlgraph.2.2.0 1019a1f4d717
ocplib-endian.1.2 c9fa808e7d7a
ocplib-simplex.0.5.1 5b430e94632b
ojs.1.1.7 a44cf33230b0
ordering.3.23.1 f87c8a8e49ea
pacomb.1.4.4 6cc5f020f822
parsexp.v0.17.0 5151ec69cd2b
patricia-tree.0.15.0 3010252492dc
pp.2.0.0 2b5a9fdf95a9
pp_loc.2.1.0 2d2b46aad48a
ppx_assert.v0.17.0 c09f20edd342
ppx_base.v0.17.0 54799b53326c
ppx_blob.0.9.0 5f1d6f5becc5
ppx_cold.v0.17.0 db8218feed5c
ppx_compare.v0.17.0 c9ee3d8420d8
ppx_derivers.1.2.1 9eb1f6071ff7
ppx_deriving.6.1.3 c5531709bec1
ppx_deriving_yaml.0.4.1 86d3b1b84305
ppx_deriving_yojson.3.10.0 07754b9ef366
ppx_enumerate.v0.17.0 be67f703be36
ppx_globalize.v0.17.2 a09b3c971835
ppx_hash.v0.17.0 d5e194548d4c
ppx_here.v0.17.0 5c3364d15dee
ppx_inline_test.v0.17.1 425597f15532
ppx_optcomp.v0.17.1 1eb89d6e03e4
ppx_sexp_conv.v0.17.1 f58a553df1b3
ppxlib.0.38.0 0364b65424cf
ppxlib_jane.v0.17.4 40dd5e65a914
psmt2-frontend.0.4.0 2dd7fdf92bd9
qcheck-core.0.91 bf1f8b6b661e
rresult.0.7.0 bd921cc3de54
sedlex.3.7 d716d5df5ceb
seq.base 06af5ac9d1a8
sexplib.v0.17.0 68d8b00beabf
sexplib0.v0.17.0 ae041225f584
spelll.0.4 d7609312c1d3
stdio.v0.17.0 a321066cc294
stdlib-shims.0.3.0 5203a7d1e59d
stdune.3.23.1 ea9680fac3da
store.0.2 e52317c78f83
time_now.v0.17.0 c0c3c9355869
top-closure.3.23.1 285f9e48d41e
topkg.1.1.1 2919b4412ec4
unionFind.20260226 21fcc8929b9e
uutf.1.0.4 6b15766ffe2a
vdom.0.3 ff50aecfad1d
why3.1.8.2 33ef7d93a04b
yaml.3.2.0 6d272bbf8a90
yojson.3.0.0 e8771a1c82bd
zarith.1.14 345688a9ddb6
=== STDOUT ===
Processing: [default: loading data]
[frama_c_codex.1.0-rc4: extract]
-> retrieved frama_c_codex.1.0-rc4 (cached)
[frama_c_codex: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "frama_c_codex" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama_c_codex.1.0-rc4)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I frontends/frama-c/.core.objs/byte -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__Direct_analysis.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/byte/core__Direct_analysis.cmo -c -impl frontends/frama-c/direct_analysis.ml)
- File "frontends/frama-c/direct_analysis.ml", line 457, characters 14-19:
- 457 | let succs = Interpreted_automata.G.succ (automaton.graph) in
- ^^^^^
- Warning 26 [unused-var]: unused variable succs.
-
- File "frontends/frama-c/direct_analysis.ml", line 546, characters 12-21:
- 546 | let final_map = FixpointIteration.fixpoint_partition initial_map fpstuff.wto in
- ^^^^^^^^^
- Warning 26 [unused-var]: unused variable final_map.
-
- File "frontends/frama-c/direct_analysis.ml", line 583, characters 12-18:
- 583 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 617, characters 10-16:
- 617 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 673, characters 11-15:
- 673 | let size =
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/direct_analysis.ml", line 854, characters 12-19:
- 854 | let context = state.context in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable context.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I frontends/frama-c/.core.objs/byte -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__C2Codex.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/byte/core__C2Codex.cmo -c -impl frontends/frama-c/C2Codex.ml)
- File "frontends/frama-c/C2Codex.ml", line 82, characters 10-17:
- 82 | let pointed = TypedC.{descr=Application{constr;args = []}; pred=Pred.true_;} in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable pointed.
-
- File "frontends/frama-c/C2Codex.ml", line 126, characters 14-21:
- 126 | let st_name = Some cname in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable st_name.
-
- File "frontends/frama-c/C2Codex.ml", line 232, characters 16-20:
- 232 | let size = Cil.bitsSizeOf vi.Cil_types.vtype in
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/C2Codex.ml", line 835, characters 14-19:
- 835 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 867, characters 30-34:
- 867 | | CEnum ({eival;_} as enum) ->
- ^^^^
- Warning 26 [unused-var]: unused variable enum.
-
- File "frontends/frama-c/C2Codex.ml", line 1625, characters 10-15:
- 1625 | let level = Domain.Context.level ctx in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1702, characters 20-25:
- 1702 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1727, characters 20-25:
- 1727 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1757, characters 18-23:
- 1757 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -O3 -I frontends/frama-c/.core.objs/byte -I frontends/frama-c/.core.objs/native -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__C2Codex.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/native/core__C2Codex.cmx -c -impl frontends/frama-c/C2Codex.ml)
- File "frontends/frama-c/C2Codex.ml", line 82, characters 10-17:
- 82 | let pointed = TypedC.{descr=Application{constr;args = []}; pred=Pred.true_;} in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable pointed.
-
- File "frontends/frama-c/C2Codex.ml", line 126, characters 14-21:
- 126 | let st_name = Some cname in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable st_name.
-
- File "frontends/frama-c/C2Codex.ml", line 232, characters 16-20:
- 232 | let size = Cil.bitsSizeOf vi.Cil_types.vtype in
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/C2Codex.ml", line 835, characters 14-19:
- 835 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 867, characters 30-34:
- 867 | | CEnum ({eival;_} as enum) ->
- ^^^^
- Warning 26 [unused-var]: unused variable enum.
-
- File "frontends/frama-c/C2Codex.ml", line 1625, characters 10-15:
- 1625 | let level = Domain.Context.level ctx in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1702, characters 20-25:
- 1702 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1727, characters 20-25:
- 1727 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1757, characters 18-23:
- 1757 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -O3 -I frontends/frama-c/.core.objs/byte -I frontends/frama-c/.core.objs/native -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__Direct_analysis.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/native/core__Direct_analysis.cmx -c -impl frontends/frama-c/direct_analysis.ml)
- File "frontends/frama-c/direct_analysis.ml", line 457, characters 14-19:
- 457 | let succs = Interpreted_automata.G.succ (automaton.graph) in
- ^^^^^
- Warning 26 [unused-var]: unused variable succs.
-
- File "frontends/frama-c/direct_analysis.ml", line 546, characters 12-21:
- 546 | let final_map = FixpointIteration.fixpoint_partition initial_map fpstuff.wto in
- ^^^^^^^^^
- Warning 26 [unused-var]: unused variable final_map.
-
- File "frontends/frama-c/direct_analysis.ml", line 583, characters 12-18:
- 583 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 617, characters 10-16:
- 617 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 673, characters 11-15:
- 673 | let size =
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/direct_analysis.ml", line 854, characters 12-19:
- 854 | let context = state.context in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable context.
[frama_c_codex: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "frama_c_codex" "--create-install-files" "frama_c_codex" (CWD=/home/opam/.opam/default/.opam-switch/build/frama_c_codex.1.0-rc4)
-> compiled frama_c_codex.1.0-rc4
-> installed frama_c_codex.1.0-rc4
[WARNING] Opam packages conf-cairo.1, conf-gtk3.18, conf-gtksourceview3.0+2, conf-pkg-config.5 and conf-zlib.1 depend on the following system packages that are no longer installed: libcairo2-dev libexpat1-dev libgtk-3-dev libgtksourceview-3.0-dev pkg-config zlib1g-dev
- conf-cairo.1: depends on libcairo2-dev
- conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev
- conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev
- conf-pkg-config.5: depends on pkg-config
- conf-zlib.1: depends on zlib1g-dev
=== STDERR ===
2026-09-07 22:15.22: OK: build frama_c_codex.1.0-rc4 (runc: 23.1s, disk: 33KB)
2026-09-07 22:15.22: Job succeeded