Skip to content

Commit 5aae69d

Browse files
fix issue link, reward
1 parent d12cb62 commit 5aae69d

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

doc/src/challenges/0025-vecdeque.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,17 @@
11
# Challenge 25: Verify the safety of `VecDeque` functions
22

33
- **Status:** Open
4-
- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
4+
- **Tracking Issue:** [#286](https://github.com/model-checking/verify-rust-std/issues/286)
55
- **Start date:** *2025-03-07*
66
- **End date:** *2025-10-17*
7-
- **Reward:** *?*
7+
- **Reward:** *5000 USD*
88

99
-------------------
1010

1111

1212
## Goal
1313

14-
Verify the safety of [`VecDeque`] functions in (library/alloc/src/collections/vec_deque/mod.rs).
14+
Verify the safety of `VecDeque` functions in (library/alloc/src/collections/vec_deque/mod.rs).
1515

1616

1717
### Success Criteria

0 commit comments

Comments
 (0)