diff --git a/src/6.5-concurrency.md b/src/6.5-concurrency.md index c36146f..6c7170d 100644 --- a/src/6.5-concurrency.md +++ b/src/6.5-concurrency.md @@ -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) @@ -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 ```