Add link to challenge 2

jaisnan · Jun 12, 2024 · 30f53d9 · 30f53d9
1 parent 948891f
commit 30f53d9
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md
@@ -12,5 +12,4 @@
 ---
 
 # Challenges
-- [Coming soon](./todo.md)
 - [Memory safety of core intrinsics](./intrinsics-memory.md)
diff --git a/doc/src/intrinsics-memory.md b/doc/src/intrinsics-memory.md
@@ -1,7 +1,7 @@
 # Challenge 2: Verify the memory safery of core intrinsics using raw pointers
 
 - **Status:** Open
-- **Tracking Issue:** *Link to issue*
+- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/16)
 - **Start date:** *24/06/12*
 - **End date:** *24/12/10*