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

Commits

  1. Commits on Sep 9, 2026