Skip to content

Commit 2711960

Browse files
thanhnguyen-awsCarolyn Zech
andauthored
Update doc/src/challenges/0021-str-pattern-pt2.md
Co-authored-by: Carolyn Zech <cmzech@amazon.com>
1 parent d34f1cb commit 2711960

1 file changed

Lines changed: 0 additions & 3 deletions

File tree

doc/src/challenges/0021-str-pattern-pt2.md

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -57,9 +57,6 @@ The safety properties we are targeting are:
5757
```
5858
This property should hold for next_back() of `ReverseSearcher` too.
5959

60-
Although this challenge appears similar to Challenge 20 and only requires proving safety for the `StrSearcher` implementation,
61-
it warrants being a separate challenge due to its complexity.
62-
The `StrSearcher` implementation relies on sophisticated algorithms - TwoWay-Search and SIMD-search - making the safety proof significantly more complex.
6360

6461

6562
### Success Criteria

0 commit comments

Comments
 (0)