Segmentation fault in hash for polyhedra

[McTsts]

Hello, when trying to use the Abstract1.hash function with the polyhedra domain in the ocaml interface I'm encountering a segmentation fault. The function works as expected with apron's polyhedra domain. It also works with elina's octagon domain, only the polyhedra domains seems to cause the segmentation fault.

Here's a simple example that causes the segmentation fault:

open Apron

let () =
    let manager = Elina_poly.manager_alloc_loose () in
    let env = Environment.make [||] [||] in
    let abs_val = Abstract1.top manager env in
    let hash = Abstract1.hash manager abs_val in

    Format.printf "Hash value: %n\n" hash