GnSight 2f3bc37cd2 [PredicateInfo] Update comments for PredicateAssume (NFC) (#139269) ...

Previously, PredicateAssume was modified to materialize after the assume
statement rather than before it (See 353fa44). Update relevant comments
to match this.

2025-05-24 22:22:43 +02:00

35 KiB

Raw Blame History

View Raw