Skip to content

[kani] Prove conditional transmute restoration - #3653

Open
joshlf wants to merge 1 commit into
Gzi6kdmiqx3hi24gccqw5f6pebmv47idcfrom
Gyiyzmayequ5ugyjdxzkhyjwnp6pggabj
Open

[kani] Prove conditional transmute restoration#3653
joshlf wants to merge 1 commit into
Gzi6kdmiqx3hi24gccqw5f6pebmv47idcfrom
Gyiyzmayequ5ugyjdxzkhyjwnp6pggabj

[kani] Prove conditional transmute restoration

fd3b420
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar