Skip to content

Commit

Permalink
Update doc/src/challenges/0008-smallsort
Browse files Browse the repository at this point in the history
  • Loading branch information
tautschnig authored Aug 20, 2024
1 parent 0c16dd7 commit cc8096a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/challenges/0008-smallsort
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ Write contracts for the following public functions that show that they actually
The memory safety and the contracts of the above listed functions must be verified
for all possible slices with arbitrary valid length.

Note that most of the function listed above calls functions that contain loops.
Note that most of the functions listed above call functions that contain loops.
Function contracts and loop contracts of those callee functions may be required.

### List of UBs
Expand Down

0 comments on commit cc8096a

Please sign in to comment.