Skip to content

Commit

Permalink
Update 6.5-concurrency.md
Browse files Browse the repository at this point in the history
  • Loading branch information
hxuhack authored Jan 6, 2025
1 parent 7636006 commit dfa523a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/6.5-concurrency.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@

Rust claims it has the feature of "Fearless Concurrency". However, it is still hard to prevent concurrency bugs in practice. This module is designed to detect potential cocurrency bugs.

Specifically, RAP now focus on these types of concurrency bugs:
Specifically, RAPx now focus on these types of concurrency bugs:

- Lifetime-related bug on locks, i.e. unexpected double-lock or unexpected unlock
- (To be added)
Expand All @@ -17,6 +17,6 @@ Specifically, RAP now focus on these types of concurrency bugs:
To detect concurrency bugs, use the command below in the same directory as cargo.toml

```
cargo rap -conc
cargo rapx -conc
```

0 comments on commit dfa523a

Please sign in to comment.