From 77a8df34bea42833d637596e3664e8c63a2245ef Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Mon, 10 Jun 2024 11:51:38 -0700 Subject: [PATCH] Apply suggestions from code review --- doc/src/template.md | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/doc/src/template.md b/doc/src/template.md index 2aba31054705d..539bdb410f090 100644 --- a/doc/src/template.md +++ b/doc/src/template.md @@ -1,7 +1,7 @@ # Challenge XXXX[^challenge_id]: Challenge Title - **Status:** *One of the following: [Open | Resolved | Expired]* - - **Solution:** *Option field to point to the PR that solved this challenge.* +- **Solution:** *Option field to point to the PR that solved this challenge.* - **Tracking Issue:** *Link to issue* - **Start date:** *YY/MM/DD* - **End date:** *YY/MM/DD* @@ -9,13 +9,6 @@ ------------------- -Status: [Open | Resolved | Expired]: -Tracking issue: -Start date: -Due date: -Author(s): - - ## Goal *Describe the goal of this challenge with 1-2 sentences.* @@ -30,7 +23,7 @@ Author(s): ### Assumptions -*Mention any assumption that users may make. Example, "assuming the usage of Stack Borrow".* +*Mention any assumption that users may make. Example, "assuming the usage of Stacked Borrows".* ### Success Criteria* @@ -61,6 +54,6 @@ All proofs must automatically ensure the absence of the following undefined beha *List of UBs* Note: All solutions to verification challenges need to satisfy the criteria established in the [challenge book](general-rules.md) -in addition to the ones listed below +in addition to the ones listed above [^challenge_id]: The number of the challenge sorted by publication date. \ No newline at end of file