Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
  • Loading branch information
celinval authored Jun 10, 2024
1 parent 392b20a commit 77a8df3
Showing 1 changed file with 3 additions and 10 deletions.
13 changes: 3 additions & 10 deletions doc/src/template.md
Original file line number Diff line number Diff line change
@@ -1,21 +1,14 @@
# 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*

-------------------


Status: [Open | Resolved | Expired]:
Tracking issue:
Start date:
Due date:
Author(s):


## Goal

*Describe the goal of this challenge with 1-2 sentences.*
Expand All @@ -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*

Expand Down Expand Up @@ -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.

0 comments on commit 77a8df3

Please sign in to comment.