Skip to content
Back to pull request #1869

Avoid Cil.constFold in Apron invariant generation #4173

Sign in to view logs

Avoid Cil.constFold in Apron invariant generation

Avoid Cil.constFold in Apron invariant generation #4173

api-build (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)

api-build (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
succeeded Dec 8, 2025 in 4m 20s