vstd: copy_from_slice and extend_from_slice specs

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Open hayley-leblanc opened 1 month ago

hayley-leblanc commented 1 month ago

This PR adds specifications for the slice method copy_from_slice and the vec method extend_from_slice.