ocaml-docs-ci

Build:
2026-06-16 19:25.41: New job: compile goblint-cil.1.7.4 (128e27238a93)
2026-06-16 19:25.41: Waiting for resource in pool day11-builds
2026-06-16 19:47.39: Got resource from pool day11-builds
2026-06-16 19:47.39: [profile full] compile goblint-cil.1.7.4
2026-06-16 19:47.39: compile goblint-cil.1.7.4 (128e27238a93)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/
=== END DEBUG ===
process_meta_file: prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: cil, [5], cil.all-features, [21],
                            cil.blockinggraph, [1], cil.callgraph, [1],
                            cil.canonicalize, [1], cil.ccl, [1],
                            cil.cqualann, [1], cil.dataslicing, [1],
                            cil.default-features, [15], cil.epicenter, [2],
                            cil.heapify, [1], cil.inliner, [1], cil.liveness,
                            [1], cil.llvm, [1], cil.logcalls, [1],
                            cil.logwrites, [1], cil.oneret, [1], cil.partial,
                            [2], cil.pta, [1], cil.sfi, [1], cil.simplemem,
                            [1], cil.simplify, [1], cil.zrapp, [2]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/doc/goblint-cil/odoc-config.sexp
prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/doc/goblint-cil/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/META
odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/blockinggraph,cil.blockinggraph

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/callgraph,cil.callgraph

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/canonicalize,cil.canonicalize

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ccl,cil.ccl

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cil,cil

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cqualann,cil.cqualann

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/dataslicing,cil.dataslicing

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/epicenter,cil.epicenter

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/heapify,cil.heapify

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/inliner,cil.inliner

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/liveness,cil.liveness

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvm,cil.llvm

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/logcalls,cil.logcalls

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/logwrites,cil.logwrites

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/oneret,cil.oneret

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/partial,cil.partial

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/pta,cil.pta

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/sfi,cil.sfi

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/simplemem,cil.simplemem

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/simplify,cil.simplify

odoc_driver_voodoo: [DEBUG] prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/zrapp,cil.zrapp

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ for package goblint-cil
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/
odoc_driver_voodoo: [DEBUG] Got 21 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/blockinggraph.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Blockinggraph.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/blockinggraph.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Blockinggraph.cmt)
odoc_driver_voodoo: [INFO] No files for module: Blockinggraph
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/callgraph.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Callgraph.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/callgraph.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Callgraph.cmt)
odoc_driver_voodoo: [INFO] No files for module: Callgraph
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/canonicalize.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Canonicalize.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/canonicalize.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Canonicalize.cmt)
odoc_driver_voodoo: [INFO] No files for module: Canonicalize
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ccl.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ccl.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ccl.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ccl.cmt)
odoc_driver_voodoo: [INFO] No files for module: Ccl
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/alpha.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Alpha.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/alpha.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Alpha.cmt)
odoc_driver_voodoo: [INFO] No files for module: Alpha
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/bitmap.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Bitmap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/bitmap.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Bitmap.cmt)
odoc_driver_voodoo: [INFO] No files for module: Bitmap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabs.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabs.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cabs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabs2cil.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabs2cil.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabs2cil.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabs2cil.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cabs2cil
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabshelper.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabshelper.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabshelper.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabshelper.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cabshelper
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabsvisit.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabsvisit.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cabsvisit.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cabsvisit.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cabsvisit
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cfg.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cfg.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cfg.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cfg.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cfg
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/check.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Check.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/check.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Check.cmt)
odoc_driver_voodoo: [INFO] No files for module: Check
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cil.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cil.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cil.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cil.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cil
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cilint.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cilint.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cilint.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cilint.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cilint
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cillower.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cillower.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cillower.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cillower.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cillower
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ciloptions.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ciloptions.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ciloptions.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ciloptions.cmt)
odoc_driver_voodoo: [INFO] No files for module: Ciloptions
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cilutil.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cilutil.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cilutil.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cilutil.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cilutil
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cilversion.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cilversion.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cilversion.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cilversion.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cilversion
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/clexer.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Clexer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/clexer.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Clexer.cmt)
odoc_driver_voodoo: [INFO] No files for module: Clexer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/clist.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Clist.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/clist.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Clist.cmt)
odoc_driver_voodoo: [INFO] No files for module: Clist
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cparser.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cparser.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cparser.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cparser.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cparser
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cprint.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cprint.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cprint.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cprint.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cprint
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/dataflow.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Dataflow.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/dataflow.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Dataflow.cmt)
odoc_driver_voodoo: [INFO] No files for module: Dataflow
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/dominators.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Dominators.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/dominators.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Dominators.cmt)
odoc_driver_voodoo: [INFO] No files for module: Dominators
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/errormsg.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Errormsg.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/errormsg.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Errormsg.cmt)
odoc_driver_voodoo: [INFO] No files for module: Errormsg
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/escape.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Escape.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/escape.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Escape.cmt)
odoc_driver_voodoo: [INFO] No files for module: Escape
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/expcompare.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Expcompare.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/expcompare.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Expcompare.cmt)
odoc_driver_voodoo: [INFO] No files for module: Expcompare
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/feature.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Feature.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/feature.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Feature.cmt)
odoc_driver_voodoo: [INFO] No files for module: Feature
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/formatcil.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Formatcil.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/formatcil.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Formatcil.cmt)
odoc_driver_voodoo: [INFO] No files for module: Formatcil
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/formatlex.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Formatlex.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/formatlex.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Formatlex.cmt)
odoc_driver_voodoo: [INFO] No files for module: Formatlex
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/formatparse.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Formatparse.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/formatparse.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Formatparse.cmt)
odoc_driver_voodoo: [INFO] No files for module: Formatparse
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/frontc.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Frontc.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/frontc.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Frontc.cmt)
odoc_driver_voodoo: [INFO] No files for module: Frontc
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/growArray.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/GrowArray.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/growArray.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/GrowArray.cmt)
odoc_driver_voodoo: [INFO] No files for module: GrowArray
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/inthash.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Inthash.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/inthash.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Inthash.cmt)
odoc_driver_voodoo: [INFO] No files for module: Inthash
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/lexerhack.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Lexerhack.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/lexerhack.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Lexerhack.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lexerhack
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/longarray.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Longarray.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/longarray.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Longarray.cmt)
odoc_driver_voodoo: [INFO] No files for module: Longarray
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/machdep.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Machdep.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/machdep.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Machdep.cmt)
odoc_driver_voodoo: [INFO] No files for module: Machdep
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/machdepenv.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Machdepenv.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/machdepenv.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Machdepenv.cmt)
odoc_driver_voodoo: [INFO] No files for module: Machdepenv
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/mergecil.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Mergecil.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/mergecil.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Mergecil.cmt)
odoc_driver_voodoo: [INFO] No files for module: Mergecil
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/patch.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Patch.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/patch.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Patch.cmt)
odoc_driver_voodoo: [INFO] No files for module: Patch
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/pretty.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Pretty.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/pretty.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Pretty.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pretty
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/rmtmps.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Rmtmps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/rmtmps.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Rmtmps.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rmtmps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/stats.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Stats.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/stats.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Stats.cmt)
odoc_driver_voodoo: [INFO] No files for module: Stats
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/trace.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Trace.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/trace.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Trace.cmt)
odoc_driver_voodoo: [INFO] No files for module: Trace
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/util.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Util.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/util.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Util.cmt)
odoc_driver_voodoo: [INFO] No files for module: Util
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/whitetrack.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Whitetrack.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/whitetrack.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Whitetrack.cmt)
odoc_driver_voodoo: [INFO] No files for module: Whitetrack
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cqualann.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cqualann.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/cqualann.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Cqualann.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cqualann
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/dataslicing.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Dataslicing.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/dataslicing.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Dataslicing.cmt)
odoc_driver_voodoo: [INFO] No files for module: Dataslicing
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/epicenter.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Epicenter.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/epicenter.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Epicenter.cmt)
odoc_driver_voodoo: [INFO] No files for module: Epicenter
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/heapify.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Heapify.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/heapify.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Heapify.cmt)
odoc_driver_voodoo: [INFO] No files for module: Heapify
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/inliner.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Inliner.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/inliner.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Inliner.cmt)
odoc_driver_voodoo: [INFO] No files for module: Inliner
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/liveness.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Liveness.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/liveness.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Liveness.cmt)
odoc_driver_voodoo: [INFO] No files for module: Liveness
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/usedef.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Usedef.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/usedef.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Usedef.cmt)
odoc_driver_voodoo: [INFO] No files for module: Usedef
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvm.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvm.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvm.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvm.cmt)
odoc_driver_voodoo: [INFO] No files for module: Llvm
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvmgen.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvmgen.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvmgen.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvmgen.cmt)
odoc_driver_voodoo: [INFO] No files for module: Llvmgen
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvmssa.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvmssa.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvmssa.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvmssa.cmt)
odoc_driver_voodoo: [INFO] No files for module: Llvmssa
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvmutils.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvmutils.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/llvmutils.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Llvmutils.cmt)
odoc_driver_voodoo: [INFO] No files for module: Llvmutils
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/logcalls.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Logcalls.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/logcalls.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Logcalls.cmt)
odoc_driver_voodoo: [INFO] No files for module: Logcalls
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/logwrites.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Logwrites.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/logwrites.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Logwrites.cmt)
odoc_driver_voodoo: [INFO] No files for module: Logwrites
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/oneret.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Oneret.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/oneret.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Oneret.cmt)
odoc_driver_voodoo: [INFO] No files for module: Oneret
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/heap.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Heap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/heap.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Heap.cmt)
odoc_driver_voodoo: [INFO] No files for module: Heap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/partial.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Partial.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/partial.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Partial.cmt)
odoc_driver_voodoo: [INFO] No files for module: Partial
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/golf.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Golf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/golf.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Golf.cmt)
odoc_driver_voodoo: [INFO] No files for module: Golf
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/olf.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Olf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/olf.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Olf.cmt)
odoc_driver_voodoo: [INFO] No files for module: Olf
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ptranal.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ptranal.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ptranal.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ptranal.cmt)
odoc_driver_voodoo: [INFO] No files for module: Ptranal
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/setp.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Setp.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/setp.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Setp.cmt)
odoc_driver_voodoo: [INFO] No files for module: Setp
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/steensgaard.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Steensgaard.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/steensgaard.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Steensgaard.cmt)
odoc_driver_voodoo: [INFO] No files for module: Steensgaard
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/uref.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Uref.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/uref.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Uref.cmt)
odoc_driver_voodoo: [INFO] No files for module: Uref
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/sfi.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Sfi.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/sfi.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Sfi.cmt)
odoc_driver_voodoo: [INFO] No files for module: Sfi
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/simplemem.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Simplemem.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/simplemem.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Simplemem.cmt)
odoc_driver_voodoo: [INFO] No files for module: Simplemem
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/simplify.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Simplify.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/simplify.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Simplify.cmt)
odoc_driver_voodoo: [INFO] No files for module: Simplify
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/availexps.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Availexps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/availexps.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Availexps.cmt)
odoc_driver_voodoo: [INFO] No files for module: Availexps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/availexpslv.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Availexpslv.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/availexpslv.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Availexpslv.cmt)
odoc_driver_voodoo: [INFO] No files for module: Availexpslv
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ciltools.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ciltools.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/ciltools.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Ciltools.cmt)
odoc_driver_voodoo: [INFO] No files for module: Ciltools
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/deadcodeelim.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Deadcodeelim.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/deadcodeelim.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Deadcodeelim.cmt)
odoc_driver_voodoo: [INFO] No files for module: Deadcodeelim
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/reachingdefs.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Reachingdefs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/reachingdefs.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Reachingdefs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Reachingdefs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/rmciltmps.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Rmciltmps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/rmciltmps.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Rmciltmps.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rmciltmps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/zrapp.cmti (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Zrapp.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/zrapp.cmt (then prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/Zrapp.cmt)
odoc_driver_voodoo: [INFO] No files for module: Zrapp
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/,
                            prep/universes/0e72fc7d02b2478424a5cf87df88d15c/goblint-cil/1.7.4/lib/cil/

odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 349 precompiled units, 0 other units
odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.blockinggraph/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.blockinggraph
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.callgraph/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.callgraph
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.canonicalize/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.canonicalize
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.ccl/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.ccl
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.cqualann/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.cqualann
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.dataslicing/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.dataslicing
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.epicenter/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.epicenter
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.heapify/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.heapify
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.inliner/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.inliner
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.liveness/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.liveness
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.llvm/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.llvm
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.logcalls/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.logcalls
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.logwrites/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.logwrites
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.oneret/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.oneret
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.partial/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.partial
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.pta/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.pta
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.sfi/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.sfi
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.simplemem/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.simplemem
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.simplify/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.simplify
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/goblint-cil/1.7.4/doc/cil.zrapp/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/goblint-cil/1.7.4/doc/cil.zrapp

=== STDERR ===

2026-06-16 19:47.45: OK: compile goblint-cil.1.7.4 (runc: 0.6s, disk: 92KB)
2026-06-16 19:47.45: Job succeeded