Skip to content

[pulse] revert reordering disjuncts in summary #3988

[pulse] revert reordering disjuncts in summary

[pulse] revert reordering disjuncts in summary #3988

Annotations

1 error and 5 warnings

Build Infer (macOS-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)

succeeded Oct 10, 2024 in 31m 33s