Skip to content
Back to pull request #1587

Congruence bug in subtraction: Fix testcase such that it still catche… #12778

Sign in to view logs

Congruence bug in subtraction: Fix testcase such that it still catche…

Congruence bug in subtraction: Fix testcase such that it still catche… #12778

Annotations

1 error

regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)

regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
failed Feb 13, 2025 in 21m 24s