Skip to content

Remove warn_and_top_on_zero from BaseInvariant for division by zero #4429

Remove warn_and_top_on_zero from BaseInvariant for division by zero

Remove warn_and_top_on_zero from BaseInvariant for division by zero #4429

Annotations

1 warning

coverage (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)

succeeded May 5, 2026 in 9m 34s