fix(BV): Do not build unnormalized values in zero_extend · OCamlPro/alt-ergo@3cb8cd5

Triggered via pull request August 30, 2024 10:18

synchronize #1226

Status Success

Total duration 6m 32s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	1.16 MB
sphinx_doc Expired	3.25 MB