Skip to content

Support generic inline proofs and closed method coverage - #3741

Closed
joshlf wants to merge 1 commit into
Gzdelmzn5y42ab3htat7lqrwovbusi5shfrom
Ggyxdemsrutwypf7tui4otq6shrm2ivah
Closed

Support generic inline proofs and closed method coverage#3741
joshlf wants to merge 1 commit into
Gzdelmzn5y42ab3htat7lqrwovbusi5shfrom
Ggyxdemsrutwypf7tui4otq6shrm2ivah

Support generic inline proofs and closed method coverage

b84003e
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Oct 2, 2026 in 7s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

✅ b84003e Author: @joshlf <h***o​@joshlf.com>

(Only the first commit for a unique contributor is listed.)

View more details on Google CLA