Skip to content

[kani] Prove sized Ref construction and restoration - #3657

Open
joshlf wants to merge 1 commit into
G3ehtgm3rda6i5wi6h6gwkvlmzeh4sn46from
Glkshhyn2hsme53vnmamjpny6o3s637ys
Open

[kani] Prove sized Ref construction and restoration#3657
joshlf wants to merge 1 commit into
G3ehtgm3rda6i5wi6h6gwkvlmzeh4sn46from
Glkshhyn2hsme53vnmamjpny6o3s637ys

[kani] Prove sized Ref construction and restoration

4086010
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Sep 9, 2026 in 8s

✅ 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:

✅ 4086010 Author: @joshlf <jo***f​@google.com>

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

View more details on Google CLA