Skip to content

Commit

Permalink
Update doc/src/general-rules.md
Browse files Browse the repository at this point in the history
Co-authored-by: Carolyn Zech <[email protected]>
  • Loading branch information
tautschnig and carolynzech authored Dec 12, 2024
1 parent 24a627f commit e65322e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/general-rules.md
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ Reviews of solutions towards challenges should consider at least the following a
1. Does the pull request implement a solution that respects/meets the success
criteria of the challenge?
2. Do the contracts and harnesses incorporate the safety conditions stated in
the documentation (from comments in the code and Rust book)? Note that we
the documentation (from comments in the code and the [standard library documentation](https://doc.rust-lang.org/std/index.html))? Note that we
currently focus on safety verification. Pre- and post-conditions towards
functional correctness are acceptable as long as they do not negatively
impact verification of safety, such as over-constraining input values.
Expand Down

0 comments on commit e65322e

Please sign in to comment.