HB.graph bug?

[affeldt-aist]

I have observed that HB.graph commands fail with HB 1.10.0 while the same commands succeed with HB 1.9.1.

[gares]

There are a few HB.graph in the test suite, so I guess the failure needs a special context.
Can you help me reproduce it?

[affeldt-aist]

I will try to reproduce it asap, for the time being I share my opam list [1].
This is the state after the downgrade to HB 1.9.1 but, as far as I remember, it was essentially a matter a recompilation so dependencies should be mostly unchanged: this maybe already indicates a potential problem.

--
[1]

# Packages matching: installed
# Name                       # Installed    # Synopsis
atd                          2.16.0         Parser for the ATD data format description language
atdgen                       2.15.0         Generates efficient JSON serializers, deserializers and validators
atdgen-runtime               2.16.0         Runtime library for code generated by atdgen
atdts                        2.16.0         TypeScript code generation for ATD APIs
base                         v0.17.3        Full standard library replacement for OCaml
base-bigarray                base
base-domains                 base
base-nnp                     base           Naked pointers prohibited in the OCaml heap
base-threads                 base
base-unix                    base
biniou                       1.2.2          Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
camlp-streams                5.0.1          The Stream and Genlex libraries for use with Camlp4 and Camlp5
cmdliner                     1.3.0          Declarative definition of command line interfaces for OCaml
conf-g++                     1.0            Virtual package relying on the g++ compiler (for C++)
conf-gmp                     5              Virtual package relying on a GMP lib system installation
conf-pkg-config              4              Check if pkg-config is installed and create an opam switch local pkgconfig folder
coq                          9.0.0          Compatibility metapackage for Coq after the Rocq renaming
coq-bignums                  9.0.0+rocq9.0  Compatibility wrapper for rocq-bignums
coq-coquelicot               3.4.4          A Coq formalization of real analysis compatible with the standard library
coq-core                     9.0.0          Compatibility binaries for Coq after the Rocq renaming
coq-elpi                     2.6.0          Compatibility metapackage for Elpi extension language after the Rocq renaming
coq-equations                1.3.1+9.0      Compatibility package, see rocq-equations
coq-flocq                    4.2.1          A formalization of floating-point arithmetic for the Coq system
coq-hierarchy-builder        1.9.1          Compatibility package for rocq-hierarchy-builder
coq-infotheo                 0.9.5          Discrete probabilities and information theory for Coq
coq-interval                 4.11.3         A Coq tactic for proving bounds on real-valued expressions automatically
coq-mathcomp-algebra         2.4.0          Compatibility package for rocq-mathcomp-algebra
coq-mathcomp-algebra-tactics 1.2.6          Ring, field, lra, nra, and psatz tactics for Mathematical Components
coq-mathcomp-analysis        1.12.0         An analysis library for mathematical components
coq-mathcomp-bigenough       1.0.2          A small library to do epsilon - N reasoning
coq-mathcomp-classical       1.12.0         A library for classical logic for mathematical components
coq-mathcomp-field           2.4.0          Compatibility package for rocq-mathcomp-field
coq-mathcomp-fingroup        2.4.0          Compatibility package for rocq-mathcomp-fingroup
coq-mathcomp-finmap          2.2.1          Compatibility package for rocq-mathcomp-finmap
coq-mathcomp-real-closed     2.0.3          Mathematical Components Library on real closed fields
coq-mathcomp-reals           1.12.0         A library for real numbers for mathematical components
coq-mathcomp-reals-stdlib    1.12.0         A library to link real numbers from mathematical components and Stdlib
coq-mathcomp-solvable        2.4.0          Compatibility package for rocq-mathcomp-solvable
coq-mathcomp-ssreflect       2.4.0          Compatibility package for rocq-mathcomp-ssreflect
coq-mathcomp-zify            1.5.0+2.0+8.16 Micromega tactics for Mathematical Components
coq-paramcoq                 1.1.3+rocq9.0  Plugin for generating parametricity statements to perform refinement proofs
coq-stdlib                   9.0.0          Compatibility metapackage for Coq Stdlib library after the Rocq renaming
coqide-server                9.0.0          The Rocq Prover, XML protocol server
cppo                         1.8.0          Code preprocessor like cpp for OCaml
csexp                        1.5.2          Parsing and printing of S-expressions in Canonical form
dune                         3.19.1         Fast, portable, and opinionated build system
dune-configurator            3.19.1         Helper library for gathering system configuration
dune-glob                    3.19.1         Glob string matching language supported by dune
dune-private-libs            3.19.1         Private libraries of Dune
dyn                          3.19.1         Dynamic type
easy-format                  1.3.4          High-level and functional interface to the Format module of the OCaml standard library
elpi                         2.0.7          ELPI - Embeddable λProlog Interpreter
menhir                       20240715       An LR(1) parser generator
menhirCST                    20240715       Runtime support library for parsers generated by Menhir
menhirLib                    20240715       Runtime support library for parsers generated by Menhir
menhirSdk                    20240715       Compile-time library for auxiliary tools related to Menhir
ocaml                        5.2.1          The OCaml compiler (virtual package)
ocaml-base-compiler          5.2.1          Official release 5.2.1
ocaml-compiler-libs          v0.17.0        OCaml compiler libraries repackaged
ocaml-config                 3              OCaml Switch Configuration
ocaml-options-vanilla        1              Ensure that OCaml is compiled with no special options enabled
ocaml_intrinsics_kernel      v0.17.1        Intrinsics
ocamlfind                    1.9.8          A library manager for OCaml
ordering                     3.19.1         Element ordering
pp                           2.0.0          Pretty-printing library
ppx_derivers                 1.2.1          Shared [@@deriving] plugin registry
ppx_deriving                 6.0.3          Type-driven code generation for OCaml
ppx_optcomp                  v0.17.0        Optional compilation for OCaml
ppxlib                       0.35.0         Standard infrastructure for ppx rewriters
re                           1.13.2         RE is a regular expression library for OCaml
rocq-bignums                 9.0.0+rocq9.0  Bignums, the Rocq library of arbitrarily large numbers
rocq-core                    9.0.0          The Rocq Prover with its prelude
rocq-elpi                    2.6.0          Elpi extension language for Coq
rocq-equations               1.3.1+9.0      A function definition package for Rocq
rocq-hierarchy-builder       1.9.1          High level commands to declare and evolve a hierarchy based on packed classes
rocq-mathcomp-algebra        2.4.0          Mathematical Components Library on Algebra
rocq-mathcomp-field          2.4.0          Mathematical Components Library on Fields
rocq-mathcomp-fingroup       2.4.0          Mathematical Components Library on finite groups
rocq-mathcomp-finmap         2.2.1          Finite sets, finite maps, finitely supported functions
rocq-mathcomp-solvable       2.4.0          Mathematical Components Library on finite groups (II)
rocq-mathcomp-ssreflect      2.4.0          Small Scale Reflection
rocq-prover                  9.0.0          The Rocq Prover with Stdlib
rocq-runtime                 9.0.0          The Rocq Prover -- Core Binaries and Tools
rocq-stdlib                  9.0.0          The Rocq Proof Assistant -- Standard Library
seq                          base           Compatibility package for OCaml's standard iterator type starting from 4.07.
sexplib0                     v0.17.0        Library containing the definition of S-expressions and some base converters
stdio                        v0.17.0        Standard IO library for OCaml
stdlib-shims                 0.3.0          Backport some of the new stdlib features to older compiler
stdune                       3.19.1         Dune's unstable standard library
yojson                       2.2.2          Yojson is an optimized parsing and printing library for the JSON format
zarith                       1.14           Implements arithmetic and logical operations over arbitrary-precision integers