Skip to content
Back to pull request #212

Proofs for Vec::swap_remove, Option::as_slice, and VecDeque::swap #1121

Sign in to view logs

Proofs for Vec::swap_remove, Option::as_slice, and VecDeque::swap

Proofs for Vec::swap_remove, Option::as_slice, and VecDeque::swap #1121

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
10m 4s
Verify std library (ubuntu-latest)
3h 0m 33s
Verify std library (macos-latest)
2h 31m 21s
5h 41m 58s