Build:
- 0
2026-09-04 01:33.39: New job: build frama_c_codex.1.0-rc4 (0beed7bd3f03)
2026-09-04 01:33.39: Waiting for resource in pool day11-builds
2026-09-04 01:52.42: Got resource from pool day11-builds
2026-09-04 01:52.42: [profile full] build frama_c_codex.1.0-rc4
2026-09-04 01:52.43: build frama_c_codex.1.0-rc4 (0beed7bd3f03)
=== DEPENDENCIES (116 transitive) ===
alt-ergo.2.6.3 477001fb52b3
alt-ergo-lib.2.6.3 5096e1415ab0
alt-ergo-parsers.2.6.3 52a4c539879b
astring.0.8.5 51ee6d00b649
base.v0.17.3 557ca62cd4de
base-bigarray.base 31ac6860ef52
base-bytes.base a07bc30a9819
base-threads.base 3d2f2cbc6db2
base-unix.base 3a38ddca6b5e
base64.3.5.2 2389c7d00786
bheap.2.0.0 a81dd7c83336
bos.0.3.0 20ac852916aa
cairo2.0.6.5 96e833163d91
camlp-streams.5.0.1 c3ef1cb475af
camlzip.1.14 55fbe9282a52
cmdliner.2.1.1 ecdcaec2c5a2
codex.1.0~rc4 d18b3aa39069
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 6e5c0658a51b
csexp.1.5.2 260623ea9e35
ctypes.0.24.0 e2bbf2e49a00
cudd.0.1.3 a002bddaf703
dolmen.0.10 768750d80968
dolmen_loop.0.10 00c4be56df08
dolmen_type.0.10 931fa990965e
dune.3.23.1 299ed55d2ff2
dune-build-info.3.23.1 a53079b5e3c9
dune-configurator.3.23.1 654300934c6c
dune-private-libs.3.23.1 03ae3f1bfd48
dune-site.3.23.1 c4817b998ba6
dyn.3.23.1 eb35b776660f
fmt.0.11.0 b2f0e848af4b
fpath.0.7.3 2344c0b7c451
frama-c.31.0 85aa3c060d80
fs-io.3.23.1 28022d5f2bf6
gen.1.1 5a84ad138fc5
gen_js_api.1.1.7 a2087a32eb1a
hmap.0.8.1 27b39ba672de
integers.0.8.0 df82a7956cfb
jane-street-headers.v0.17.0 4894d5b26c21
js_of_ocaml.6.4.1 0e828970b116
js_of_ocaml-compiler.6.4.1 37b4d02783ec
js_of_ocaml-ppx.6.4.1 28ab9392db40
jst-config.v0.17.0 08680bad8b9c
lablgtk3.3.1.5 dce471c41142
lablgtk3-sourceview3.3.1.5 04d55b4be1a4
logs.0.10.0 1d2f67b4aa6d
lwt.6.1.2 9a1e7a4aeeac
menhir.20250912 ee0a04f29e2f
menhirCST.20250912 583ff076a496
menhirLib.20250912 a860f1c5aafa
menhirSdk.20250912 1e1853cb2d07
num.1.6 805d35561ae4
ocaml.5.5.0 22ebd7932512
ocaml-base-compiler.5.5.0 db1659234e8a
ocaml-compiler.5.5.0 7f52fb26d939
ocaml-compiler-libs.v0.17.0 0f497c1821f6
ocaml_intrinsics_kernel.v0.17.2 093b9515d104
ocamlbuild.0.16.1 ccce18256717
ocamlfind.1.9.9~preview 6a4c70487cf9
ocamlgraph.2.2.0 f2c1d53656b8
ocplib-endian.1.2 04edcf8a6651
ocplib-simplex.0.5.1 476cdb9aad34
ojs.1.1.7 bfcacf721a07
ordering.3.23.1 d34f9d308794
pacomb.1.4.4 d0bad89cacec
parsexp.v0.17.0 61597980f933
patricia-tree.0.15.0 c6c9aaea4e1a
pp.2.0.0 5591e305a2c8
pp_loc.2.1.0 d9f90f74c916
ppx_assert.v0.17.0 8d2b5c06b520
ppx_base.v0.17.0 a984aec602c4
ppx_blob.0.9.0 9fc214e3bc20
ppx_cold.v0.17.0 b24cfa6ebe90
ppx_compare.v0.17.0 2f25f06b598e
ppx_derivers.1.2.1 27cf4bb4e249
ppx_deriving.6.1.3 5511d8887566
ppx_deriving_yaml.0.4.1 27ca7420def9
ppx_deriving_yojson.3.10.0 a285a0a78d2c
ppx_enumerate.v0.17.0 24a2cf2e3ca0
ppx_globalize.v0.17.2 2bd043faa7d8
ppx_hash.v0.17.0 7ec27098d91b
ppx_here.v0.17.0 9b7f9878a8b3
ppx_inline_test.v0.17.1 ed883310ea85
ppx_optcomp.v0.17.1 fca26ca6d7df
ppx_sexp_conv.v0.17.1 4f0b27a23d07
ppxlib.0.38.0 405e00241d0e
ppxlib_jane.v0.17.4 c0ce3a1ee66a
psmt2-frontend.0.4.0 6a3b51c990ae
qcheck-core.0.91 8b173ca9d57d
rresult.0.7.0 02fffb5a5b61
sedlex.3.7 31df4f2efe79
seq.base 28d30f6112ac
sexplib.v0.17.0 8d2a2cb90d2d
sexplib0.v0.17.0 fc2a4c3c285a
spelll.0.4 ae9d79e26b62
stdio.v0.17.0 b6b43a86b98d
stdlib-shims.0.3.0 4b8bb9fd1930
stdune.3.23.1 df0025775c47
store.0.2 0eeea1ad8f15
time_now.v0.17.0 71af18074eac
top-closure.3.23.1 60a0070a1b97
topkg.1.1.1 3bd227743fbd
unionFind.20260226 5773440d0758
uutf.1.0.4 705a428d1236
vdom.0.3 f47ff454e194
why3.1.8.2 98f7c91d059d
yaml.3.2.0 1812002ecb1e
yojson.3.0.0 c8d24a097bd0
zarith.1.14 bd527d6656b5
=== 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__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/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/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-04 01:53.22: OK: build frama_c_codex.1.0-rc4 (runc: 14.2s, disk: 33KB)
2026-09-04 01:53.22: Job succeeded