Skip to content

Support method-based conditional library model postconditions - #1677

Merged
msridhar merged 2 commits into
uber:masterfrom
Shankar-v27:feature/library-method-postconditions
Aug 13, 2026
Merged

Support method-based conditional library model postconditions#1677
msridhar merged 2 commits into
uber:masterfrom
Shankar-v27:feature/library-method-postconditions

Merge branch 'master' into feature/library-method-postconditions

5bf2c7d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Test with Error Prone snapshot
succeeded Aug 13, 2026 in 1m 55s